Angel "Java" Lopez en Blog

Febrero del 2015


Publicado el 28 de Febrero, 2015, 16:58

Anterior Post

Hace tiempo que no escribo del tema, pero hay terminar la demostración. Sea el ideal que conseguimos en los posts anteriores:

El generado por los polinomios:

Que no se podían generar desde:

Repitamos el proceso con el ideal Q-barra. Sus polinomios tienen un coeficiente principal (el coeficiente del término de mayor grado) y el conjunto de TODOS los coeficientes principales es un IDEAL del anillo original X. Como suponemos que X es noetheriano (todos sus ideales tienen base finita), entonces, el ideal de los coeficientes principales es generado finitamente, digamos por

Por cada uno de estos coeficientes, elijamos un polinomio de Q-barra que lo tenga como coeficiente principal:



....

Donde entonces cada Pi es del ideal que encontramos en el anterior post:

Esto es, cada Pi es fruto de la combinación de algunos de los Qj base finita de Q-barra. Hay una cantidad finita m de polinomios Pi, y una cantidad finita entonces de polinomios Qj que generan a los Pi, llamemos a este último conjunto Q2, y formemos el ideal generado por ellos:

Como Q2 tiene cardinalidad finita, hay un grado mayor en sus polinomios elementos. Digamos que el grado mayor es m2. Se puede demostrar, como antes con P, que todos los polinomios del ideal Q-barra de grado mayor o igual a m2, quedan alcanzados por el ideal Q2-barra.

Ahora bien, algo importante. Teníamos el conjunto finito P de polinomios, digamos con un grado mayor m. Ahora tenemos Q2, también finito, con un grado mayor m2. Por la construcción que seguimos para llegar a Q2, desde Q, m2 es MENOR que m. ¿Por qué? Porque todos los Q eran "el resto" del ideal I "dividido" por el ideal generado por P. Entonces, todos los Q tenían grado menor que m, y todos los Q2 SALEN de los elementos de Q. Ergo, m2 es menor que m.

Seguimos en el próximo post.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 26 de Febrero, 2015, 11:12

Hay unos libros excelentes de la editoral española RBA, que acá en Argentina aparecen de vez en cuando publicados en series semanales. Actualmente, el diario La Nación está publicando una serie de biografías, cada sábado, y son verdaderamente aprovechables. Ya aparecieron varios, como Einstein, Newton, Schrödinger, Heisenberg, Planck, Euclides, Pitágoras, Laplace, Copérnico, Feynman, Kepler, Turing, Arquímedes, y más, bien escritos, con detalles matemáticos y científicos, y también con datos del desarrollo histórico y personal del biografado. No es común eso: en general, aparecen biografías para "legos" donde no se tratan los términos técnicos, o biografías técnicas, sin adentrarse en la persona y el grupo que los generó.

Este último sábado apareció la biografía "Godel, los teoremas de la incompletitud", de Gustavo Ernesto Piñeiro (que ya mencioné en otro post). Leo ahí una conocida anécdota de Bertrand Russell, que expongo en mis palabras.

En una conferencia para público general, Russell expuso que si un sistema de axiomas es inconsistente (puede demostrar una afirmación y su contraria) entonces cualquier afirmación es demostrable a partir de ellos (al parecer, en la conferencia Russell se apoyó en la versión semántica de este tema, en vez de usar inconsistencia, afirmó que partiendo de una premisa falsa puede demostrarse cualquier cosa). Inmediatamente Russell fue desafiado por la audiencia a demostrar que si 1=0 entonces Smith (uno de los asistentes del público) era el papa. Russell razonó así: si 1=0, sumemos uno a ambos lados, quedando 2=1. Sean el conjunto de dos elementos Smith y el papa, pero como 2=1, los dos elementos son uno, y Smith es el papa :-)

Desconozco si la anécdota es real o no, no pude confirmarla. La explicación de Russell es para zafar de la pregunta, y se apoya en conceptos semánticos de conjunto, elemento, etc. Piñeiro expone claramente la diferencia entre lo semántico y lo sintáctico, y que consistencia es un en tema sintáctico, casi mecánico, que se apoya en el concepto de cadena de demostración manipulando símbolos con reglas del sistema en cuestipon. Subraya también que la demostración de Godel de su primer teorema fue cuidadosamente urdida para apoyarse en una autoreferencia sintáctica, en lugar de una autoreferencia´semántica, como la que había señalado el propio Russell en 1902 sobre la teoría de conjuntos de Frege.

Tengo entonces pendiente de explicar en un próximo post la afirmación de Russell, pero desde el punto de vista sintáctico, de cómo desde una manipulación de símbolos, y considerando P y no-P como demostrables desde un conjunto de axiomas, y en un sistema donde se admiten las cualidades de la implicación, entonces se puede probar cualquier afirmación Q.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.,com/ajlopez

Publicado el 25 de Febrero, 2015, 16:00

Anterior Post
Siguiente Post

Instagram Co-Founder Mike Krieger"s 8 Principles For Building Products People Want
http://techcrunch.com/2012/11/30/instagram-co-founder-mike-kriegers-8-principles-for-building-products-people-want/

Language Learning Service Verbling Launches Google Hangouts-Powered Classes, Adds Support For 9 New Languages
http://techcrunch.com/2012/11/30/verbling-classes-new-languages/

Google Acquires Shopping Locker Service BufferBox
http://allthingsd.com/20121130/google-acquires-shopping-locker-service-bufferbox/

Recruiting Developers? Create An Awesome Candidate Experience
http://onstartups.com/tabid/3339/bid/92633/Recruiting-Developers-Create-An-Awesome-Candidate-Experience.aspx

Un país emprendedor
http://www.lanacion.com.ar/m1/1531048-un-pais-emprendedor
por Andy Freire
...Hay que tener en cuenta que el ranking Doing Business 2012 del Banco Mundial -que mide qué tan difícil es para un emprendedor abrir y mantener su proyecto a nivel global- ubicó a Chile en la posición 39, a Perú en la 41, a Colombia en la 42 y a la Argentina en el puesto 113...

Techcofounder
http://techcofounder.com/
an online directory of passionate developers interested in launching a new startup.

Startup Grind 2013
http://startupgrind.com/2013/
Come to Silicon Vally for Startup Grind 2013, a worldwide community event bringing together entrepreneurs and founders from every continent across the globe

BombaCamp
http://bombacamp.com/
Campus de emprendedores

How Artificial Intelligence Can Change Higher Education
http://www.smithsonianmag.com/people-places/How-Artificial-Intelligence-Can-Change-Higher-Education-180015811.html

Wamda and Endeavor Partner to Support Entrepreneurs Globally
http://www.wamda.com/2012/11/wamda-and-endeavor-partner-to-support-entrepreneurs-in-the-arab-world

The Aha! Moments That Made Paul Graham's Y Combinator Possible
http://www.fastcompany.com/3002810/aha-moments-made-paul-grahams-y-combinator-possible
When it comes to funding startups, Y Combinator is an incubation machine. And behind it all are founder Paul Graham's unique insights about what constitutes true innovation.

How to Scale Your Start-up
http://www.inc.com/karl-and-bill/how-to-scale-your-start-up.html
You've identified a problem worth solving and created a viable product that meets customers' needs, but how do you accelerate growth with limited resources?

Social Analytics Heats Up: Socialbakers Raises $6M From Index And Earlybird To Expand Its Big Brand-Focused Monitoring Service
http://techcrunch.com/2012/11/19/social-analytics-heats-up-socialbakers-raises-6m-from-index-and-earlybird-to-expand-its-big-brand-focused-monitoring-service/

THE BUBBLE IS OVER: E-Commerce Startup Valuations Are Imploding
http://www.businessinsider.com/e-commerce-startup-valuations-implode-2012-11

iPad Self-Publishing App Tactilize Raises $1 Million
http://techcrunch.com/2012/11/16/ipad-self-publishing-app-tactilize-raises-1-million/

Always Prepped Grabs $650K From True Ventures, Former Blackboard EVP To Launch A Mint.com For Education
http://techcrunch.com/2012/11/15/always-prepped-grabs-650k-from-true-ventures-former-blackboard-evp-to-launch-a-mint-com-for-education/
Always Prepped, a new education startup that recently launched in beta, is on a mission to help create this new era of data-driven classrooms and help improve student performance.

8 Winning Strategies From The Top Entrepreneurs in America
http://www.forbes.com/sites/ericwagner/2012/11/15/8-winning-strategies-from-the-top-entrepreneurs-in-america/

Here Are The Best Startup Pitches We've Ever Seen
http://www.businessinsider.com/the-best-startup-pitches-of-all-time-2012-11

10 Shockingly Terrible Startup Pitches
http://www.businessinsider.com/worst-startup-pitches-2012-11

Ravikant: AngelList is Craigslist for entrepreneurs
http://pandodaily.com/2012/11/15/ravikant-angellist-is-craigslist-for-entrepreneurs/

VCs Take Heed: Entrepreneurs Offer Some Tips
http://blogs.wsj.com/venturecapital/2012/11/15/vcs-take-heed-entrepreneurs-offer-some-tips/

Zynga's CEO Almost Broke Down In Tears Over Company's Downfall
http://www.businessinsider.com/zynga-ceo-mark-pincus-near-tears-2012-11

Startup Weekend Bogota
http://mediastre.am/swbogota/

Mis Enlaces
http://delicious.com/ajlopez/entrepreneur

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Por ajlopez, en: Emprender

Publicado el 24 de Febrero, 2015, 13:04

En el post de ayer escribí sobre las series de Fourier, mencionando que ese desarrollo había influido en muchos temas, incluso en el desarrollo de la teoría de conjuntos de Cantor. En estos días, me encuentro leyendo el excelente libro "Godel, los teoremas de la incompletitud", de Gustavo Ernesto Piñeiro (apareció en la serie de libros española, distribuida acá en Argentina por el diario La Nación, cada sábado). Y leo, la página 25, sobre "El infinito de Cantor" una breve historia:

Cuando un matemático investiga, su objetivo es siempre la resolución de un problema específico. Incluso hoy en día, si se le pregunta a un matemático en qué tema está trabajando, su respuesta seguramente consistirá en el enunciado del problema que está intentando resolver. Para entender el problema que estudiaba Cantor en 1870 [en la universidad alemana de Halle] debemos hablar brevemente de las series de Fourier.

A principios del siglo XIX el matemático francés Joseph Fourier desarrolló un método que le permitía descomponer cualquier onda periódica en una sumatoria de ondas elementales específicas (todas las cuales resultan de modificar la amplitud, la frecuencia o la fase de una onda inicial única). Fourier utilizó este método con gran éxito para estudiar fenómenos ondulatorios como la propagación del calor o la vibración de una cuerda. Como estas sumatorias normalmente involucran una cantidad infinita (en potencia) de ondas, y en matemáticas a una sumatoria infinita se le suele llamar una "serie", a este método se le dio el nombre de "series de Fourier". Actualmente sigue siendo una herramienta esencial en muchas ramas de las matemáticas, así como de la física y de la ingeniería.

Y acá viene la relación con el infinito de Cantor:

En la década de 1860, también en Halle, el matemático alemán Eduard Hene trabajaba en el problema de determinar si la descomposición de una onda periódica en una sumatoria de ondas elementales es siempre única

La pregunta sobre la unicidad de una cierta descomposición es muy común en matemáticas ....

Recordemos el tema de la factorización única del anillo de enteros en factores primos (QUE NO SE DA en todos los anillos)

... Heine se preguntaba si existiría un vínculo similar entre una onda periódica y sus ondas elementales. ¿Sería única esa descomposición, así como es única la descomposición en primos? En la década de 1860, Heine logró demostrar que para ciertos tipos de ondas periódicas (por ejemplo, para aquellas que no tienen "saltos" o discontinuidades), la descomposición en ondas elementales es realmente única. Sin embargo, no había encontrado una demostración general que abarcara todas las situaciones posibles. Entre otras cosas, no había podido demostrar la unicidad en el caso d que en cada período la onda tuviera una cantidad infinita (en potencia) de salto. De modo que cuando Cantor llegó a Halle en 1870, Heine le propuso que trabajar en esta pregunta: ¿es siepre única la descomposición de una onda periódica, aun cuando la cantidad de saltos e cada período pudiera crecer indefinidamente?

Y eso es lo que hizo que Cantor creara la teoría de conjuntos.

Cantor se abocó a estudiar el problema y en 1871 obtuvo una primera respuesta: la descomposición de una onda periódica es única, aun cuando la cantidad de saltos o discontinuidades crezca ilimitadamente, siempre y cuando esos saltos estén distribuidos de una determinada manera. Es decir, para que se garantizara la unicidad, la forma en que los saltos iban apareciendo debía cumplir ciertas condiciones específicas. Pero encontró algunas dificultades a la hora de expresar esos requisitos de una manera concreta, exacta y elegante. Seguramente tenía una intuición muy precisa de cuáles eran las particularidades que quería enunciar, pero se le espcaba el modo de transmitirla en palabras claras y precisas.

Para poder expresar esas condiciones de forma adecuada, Cantor creó los fundamentos de la teoría de conjuntos, separando los infinitos en distintas clases, que había infinitos "más grandes" que otros, y donde se cumplía (como ya había señalado Galileo) que el todo no es mayor que las partes.

Y todo esto, a partir de un problema de las series de Fourier :-)

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 23 de Febrero, 2015, 8:07

Siguiente Post

Uno de los temas de matemáticas que uno se encuentra a cada momento en muchas aplicaciones físicas (calor, ondas, cuántica) es el de las series de Fourier. Comienzo hoy una serie de posts para exponer lo principal de las ideas subyacentes a este tema, y tratar de entender mejor su trascendencia y relaciones con otros instrumentos matemáticos. También tienen su importancia en matemática pura. Pero históricamente, están relacionadas con Fourier, matemático francés que expuso la teoría a principios del siglo XIX.

Veamos, a los matemáticos les gusta expresar una función, digamos de una variable x (real o compleja):

Como una función que se pueda expresar de alguna forma, como:

Pronto se vió (desde la época del surgimiento del análisis moderno) que hay funciones que no pueden expresarse simplemente, y hay que recurrir a desarrollos en serie infinita de potencias de x, de la forma general:

Una nota: el concepto moderno de función (a cada x le corresponde un valor y, sin necesidad de expresarlo con una fórmula) sólo surgió en la segunda mitad del siglo XIX (pero eso es otra historia).
Lo que encontró Fourier que muchas funciones, incluso algunas no expresables por serie de potencias de x, se podían expresar como una serie:

Donde las fn son funciones trigonométricas seno, coseno, que vamos a examinar. Es concreto:

Y no sólo encontró esto, sino que además descubrió la forma de conseguir los coeficientes an, bn, de ese desarrollo en serie, de una forma notable, que abrió nuevas ideas en matemáticas. Voy a proponer una analogía. ¿Vieron cuando un quiere determinar las coordenadas de un punto en un espacio n dimensional? Se apela a ejes coordenados (ortogonales y no) y la coordenada del punto con respecto a un eje, es la distancia al origen de la "sombra del punto sobre ese eje"? Bueno, algo así encontró Fourier: una expresión para expresar "la sombra" de una función cualquiera (con algunas condiciones) con respecto a una serie infinita de "ejes", expresados por funciones trigonométricas. Vamos a ver que para la expresión de Fourier de los coeficientes, es fundamental que esos "ejes"/funciones sean "ortogonales" entre sí. Pero no quiero adelantarme. Igual me parece interesante expresar esta analogía porque fue fruto de otros desarrollos. Incluso algunos temas de convergencia y de las condiciones de las funciones expresables en Series de Fourier dieron lugar a la moderna teoría de conjuntos.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 19 de Febrero, 2015, 11:05

Comparto nuevamente por acá la actividad del Café Filosófico de Buenos Aires. Para más información, lugar, horarios, modalidad, costos, ver:

http://www.filosofiaparalavida.com.ar/

Lo comparto como vino (sin acentos):

Durante la primera hora de exposicion teorica analizaremos situaciones en las que ciertos pensamientos inutiles nos alejan de nuestros propositos de vida y brindaremos metodos practicos que cuentan con evidencia cientifica destinados a cambiar las emociones y las conductas con las que nos perjudicamos a
nosotros mismos. Que es lo que hace que las personas se comporten de una forma que las lleva a frustrar sus propios objetivos? Los analisis y las estrategias que abordaremos son el resultado de la dilatada experiencia del Dr Albert Ellis y el Dr Robert Harper, y han sido respaldados por centenares de estudios e investigaciones cientificas. Albert Ellis es Doctor en Filosofia y uno de los psicologos de mayor prestigio mundial por ser uno de los dos creadores de la Terapia Cognitiva. Harper tambien es Doctor en Filosofia y se especializa en psicologia, antropologia y sociologia. Compartiremos sus ideas sobre
como es posible llevar a cabo un profundo autoanalisis de nuestros pensamientos y emociones.

Que podemos hacer para dejar de fustigarnos a nosotros mismos con creencias irracionales y fortalecer nuestras emociones positivas? Estrategias para disipar la ansiedad. Como librarse de emociones autodestructivas como la ira, la depresion, la culpabilidad o la ansiedad. Como librarse de los pensamientos que suelen generar ansiedad a la hora de hablar en publico? Como superar las influencias
del pasado.Es racional racionalizar? Que entendemos por racional? Por que cada persona entiende algo diferente por el termino racional. De que manera el pensamiento racional puede compatibilizar con una emocionalidad intensa?

Compartiremos los jugosos y, en algunos casos, desopilantes ejemplos que da Albert Ellis para ilustrar la posibilidad de librarse de pensamientos inutiles. Los pensamientos negativos que destruyen y los que ayudan a sobrevivir.De que forma Shakeaspeare comenta el pensamiento de Epicteto. La propuesta de reflexion esta basada en el presupuesto de que se vivira de manera mas satisfactoria, creativa y con menos malestar si se revisan algunos de nuestros pensamientos. Que habitos favorecen la generacion de pensamientos inutiles? De que manera los pensamientos pueden agravar un dolor fisico. Es racional el ser humano? Hacemos maravillas con nuestras mentes, somos racionales, pero tambien tenemos una fuerte tendencia a comportarnos de la forma mas ridicula, llena de prejuicios: somos por naturaleza sugestionables y supersticiosos, fanaticos y manifiestamente estupidos, incluso cuando sabemos que nos estamos comportando de forma saboteadora y que seriamos mas felices actuando de otro modo. Los efectos de la busqueda de perfeccion. Por que David Bourland, especialista en semantica (disciplina que estudia el significado de las palabras), dice que cada vez que uno usa alguna forma del verbo "sera" esta en cierto sentido hablando de forma incorrecta. Cuales son los pensamientos mas frecuentes que estan implicitos en las emociones negativas persistentes? Librarse de pensamientos inutiles e irracionales no se opone a una existencia apasionada sino a una emotividad abrumadoramente negativa que sabotea nuestros propios objetivos. Estrategias para librarse de pensamientos inutiles. La riqueza fundamental de esta charla residira en la aplicacion de las estrategias para librarse de pensamientos inutiles a diversos casos concretos que plantea Albert Ellis en sus trabajos, de modo de ver fundamentalmente como funcionan estas tecnicas en la practica.

Normalmente vemos las cosas que vemos y escuchamos las que escuchamos, sin distorsionarlas demasiado. Lo que nos lleva a diversos errores de percepcion es el proceso normal de rellenar los vacios. Hacemos esto de un modo rutinario, suponiendo, infiriendo, adivinando, proyectando, especulando, deduciendo, extrapolando, conjeturando, haciendo hipotesis y leyendo entrelineas. Es un privilegio de nuestro intelecto humano el de ver mas alla de lo que alcanzan a percibir nuestros organos sensoriales. Algunas personas fracasan con mas frecuencia de la habitual en esta empresa. Elevan a nivel de certeza sus mas descabelladas conjeturas y sus mas infundadas suposiciones sobre lo que ven y escuchan. Cuando se les pide un relato objetivo de los acontecimientos, sustituyen esta descripcion por sus valores morales y opiniones personales. Guiados por sus sospechas,atribuyen a los demas intenciones poco hostiles sin evidencia, y no tienen inconveniente en acusar a grupos enteros, incluso raciales o sexuales.

Bueno, como otras veces, gran cantidad de temas a explorar, con cita de los autores que tratan esos temas.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Por ajlopez, en: Filosofía

Publicado el 17 de Febrero, 2015, 17:53

Siguiente Post

Es tiempo de iniciar esta serie de post, visitando el último teorema de Fermat, su historia matemática, los caminos que se exploraron para su solución, hasta llegar a su demostración final. Este teorema fue planteado por Pierre de Fermat, al leer un problema de Diofanto en su Aritmetica, traducida por Bachet de Meziriac. El problema de Diofanto era:

Divide un cuadrado dado en otros dos cuadrados

Diofanto daba una solución ilustrativa, no general. En realidad, pedía números racionales, no necesariamente enteros. Para la solución general, ver el post Ternas Pitagóricas. Citando el artículo de D"Alembert en la Enciclopedia de 1750:

El método de Diofanto consistía en reducir la situación a una ecuación en una incógnita mediante una serie de transformaciones

Fermat anotó en esa copia del libro de Diofanto:

Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et generaliter nullam in infinitum ultra quadratum potestatem in duos eiusdem nominis fas est dividere cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet

Traducido como

Descomponer un cubo en otros dos cubos, una cuarta potencia, y en general una potencia arbitraria en dos potencias del mismo grado arriba del segundo, es una cosa imposible y ciertamente he encontrado una prueba admirable. Este estrecho margen no puede contenerla

Esta es la afirmación que se convirtió en el Ultimo Teorema de Fermat. Sólo sabemos de él gracias a esta nota en el margen del libro, publicada por una reedición del hijo mayor de Fermat, Clement Samuel, publicada en 1670, luego de la muerte de Fermat. No parece encontrarse en ninguna de sus numerosas cartas con colegas, ni tampoco se encontró traza, pista de la supuesta "prueba admirable" de la que habla. Lo que sí se ha encontrado el desafío para n=3 y n=4, enviado a Mersenne, Pascal y John Wallis. Tal vez tenía una prueba para n=4, basada en el descenso infinito. Hoy, dado el nivel de nuevas matemáticas que insumió la prueba final de Wiles a fines del siglo pasado, casi podemos estar seguros que esa "prueba admirable" estaba equivocada. Varios intentos a lo largo de siglos, han puesto de manifiesto que es improbable que Fermat tuviera una prueba real, y lo más plausible es que se hubiera dejado llevar por su entusiasmo, aportando una prueba con fallas.

En lenguaje moderno, podemos poner, que para n > 2, la ecuación:

Cumpliendo con

No tiene solución

Principal fuente consultada. El excelente libro: "Invitation to the Mathematics of Fermat-Wiles", de Yves Hellegouarch.

Ver también http://en.wikipedia.org/wiki/Fermat%27s_Last_Theorem

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 16 de Febrero, 2015, 12:30

Anterior Post
Siguiente Post

Ganadores Startupweekend Buenos Aires
http://buenosaires.startupweekend.org/2012/11/12/ganadores-swba2012/

Buenos Aires Día del Emprendedor
http://ar.wayra.org/es/noticia/dia-del-emprendedor

Forget apps and useless startups: These four African girls have created a pee-powered generator
http://thenextweb.com/shareables/2012/11/07/forget-apps-and-other-useless-startups-these-four-african-girls-have-created-a-pee-powered-generator/

10 Free Tools for Running a Business
http://www.inc.com/ss/10-free-business-apps

Buenos Aires celebra el Día del Emprendedor
http://www.emprendedoresnews.com/emprendedores/buenos-aires-celebra-el-dia-del-emprendedor.html

Meet Ben And Hermione Way, The Sibling Entrepreneurs Starring In Bravo's 'Start-Ups: Silicon Valley'
http://www.businessinsider.com/bravo-start-ups--silicon-valley-ben-way-hermione-way-2012-11

Startups learn a painful lesson: The "Dropbox effect" is a myth
http://venturebeat.com/2012/11/06/enterprise-myth/

Is it Time for You to Earn or to Learn?
http://www.bothsidesofthetable.com/2009/11/04/is-it-time-for-you-to-earn-or-to-learn/

Why we can't solve big problems
http://www.technologyreview.com/featuredstory/429690/why-we-cant-solve-big-problems/

9 Strategies to Gamify Your Startup
http://mashable.com/2012/11/02/startup-gamification/

Buenos Aires, día del emprendedor 2012
http://www.diadelemprendedor.buenosaires.gob.ar/areas/produccion/subs_produccion/dep/?menu_id=31782

Impactec: subí tu idea y ganate una beca para Singularity University
http://spanish.bilinkis.com/2012/11/impactec-subi-tu-idea-y-ganate-una-beca-para-singularity-university/

Emergence Capital Partners
http://www.emcap.com/

Kleiner Perkins On The Past, Present And Future
http://techcrunch.com/2012/10/13/kleiner-perkins-on-the-past-present-and-future/

What If A Legendary Harvard Professor Mentored You?
http://www.fastcompany.com/3002097/what-if-legendary-harvard-professor-mentored-you

The lure of Chilecon Valley
http://www.economist.com/node/21564589
As America shuts out immigrant entrepreneurs, Chile welcomes them

METODOLOGÍA CANVAS, UNA FORMA DE AGREGAR VALOR A SUS IDEAS DE NEGOCIOS
http://www.innovacion.gob.cl/reportaje/metodologia-canvas-la-nueva-forma-de-agregar-valor/

Facebook Quietly Rolled Out A New Feature That Could Revive Zynga And Other Facebook Games
http://www.businessinsider.com/facebook-in-game-subscriptions-2012-8

Amazon Needs To Buy Zynga
http://www.businessinsider.com/amazon-zynga-merger-2012-10

Videoconferencias en línea para zonas con pocos recursos
http://www.technologyreview.es/tr35argentinayuruguay/profile.aspx?trid=1333
Worhmhole IT

The Danger of Celebritizing Entrepreneurship
http://blogs.hbr.org/cs/2012/10/the_danger_of_celebritizing_en.html

STARTUP WEEKEND 2012 RECAP
http://www.carolineleemisdesign.com/startup-weekend-2012-recap/

Adding Value -- By Getting Out of the Business
http://www.inc.com/john-warrillow/adding-value-by-getting-out-of-the-business.html
No one will pay big bucks for your company if they don't believe it can run without you. Here's how to show it can.

Google for Entrepreneurs
http://www.google.com/entrepreneurs/
You have an idea. Make it happen.

Lean Startup Machine
http://us5.campaign-archive1.com/?u=29717236808fa0abc5fe40390&id=f3da6939d4

¿Dónde se aprende a emprender?
http://spanish.bilinkis.com/2012/01/donde-se-aprende-a-emprender/

Mis Enlaces
http://delicious.com/ajlopez/entrepreneur

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Por ajlopez, en: Emprender

Publicado el 15 de Febrero, 2015, 19:00

Anterior Post
Siguiente Post

Ya mencionamos que, experimentalmente, una magnitud f puede tener valores discretos o continuos (o discretos en un rango, y continuos en otros, puede darse el caso mixto). Sigamos estudiando el caso discreto. En física cuántica sólo conocemos la probabilidad de que dado un estado físico, la magnitud f tenga el valor fn. A los físicos les gusta igual manejar un valor para la magnitud f, el llamado valor medio:

 Lo expresamos con una f con una raya horizontal encima. Vemos que cada valor posible discreto fn está ponderado por su probabilidad. Cada estado cuántico tendrá un valor medio de cada magnitud f. En vez del valor absoluto al cuadrado de cada an, podemos recordar lo equivalente:

Recordemos que los coeficientes an, vienen de expresar el estado completo como suma de los estados n

Nos gustaría poder expresar al valor medio f, no con los coeficientes, sino con la propia función de estado. Para eso, los físicos descubrieron un concepto matemático útil, el operador. Un operador es una función que recibe como "entrada" una función (en lugar de recibir un valor numérico), y devuelve una función como resultado. Por ejemplo, la derivada puede considerarse un operador. Los operadores los vamos a indicar con un "sombrero" encima de su letra. Entonces, los físicos DEFINEN un operador f, como el operador que hace que la expresión de la derecha, en la siguiente fórmula, DE EL VALOR MEDIO de f:

La expresión bajo la integral tiene la función de estado conjugada Y LA FUNCION DE ESTADO LUEGO de aplicarle el operador f. El operador f se DEFINE (y es un tema de matemáticas demostrar la existencia y unicidad) como el operador que hace que esta integral RESULTE ENTREGANDO el valor medio. Es decir, debería dar los mismos valores que nuestra expresión del valor medio solamente usando los coeficientes an, sin las función de estado.

Ahora, para que todo esto sea compatible con el principio de superposición de estados, los físicos piden que el operador sea línea, es decir, espera que cumpla:

Y que cumpla:

Este es uno de los principios del formulismo matemático cuántico: a cada manginud física le corresponde un operador lineal.

Recordemos que una función de estado puede ser la que corresponda al estado fn. En ese caso, esperamos que:

Para que esto ocurra basta que el operador lineal cumpla, para cada función de estado n, con:

Es decir, que aplicado el operador al estado n (de esos estados "básicos" que tenemos asociados a los valores posibles fn), nos devuelva LA MISMA función de estado, multiplicada POR UN NUMERO, el valor de la magnitud fn.

Estas funciones base se llaman funciones propias, y los valores fn son los valores propios. Son las soluciones a la expresión:

Donde el f de la izquierda es un operador (ver el "sombrero") y el f de la derecha es una constante a determinar.

Bueno, bastante por hoy, aparecieron conceptos nuevos, que espero quede claro su aplicación en los próximos posts. Por ejemplo, ¿se podrá descubrir el operador funcional asociado a la energía, al momento, a la posición? ¿qué expresión concreta tienen? También hay que investigar que el mismo operador puede cambiar de expresión al cambiar las coordenadas que usamos en la función de estado, debiendo igual representar LA MISMA magnitud física.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Por ajlopez, en: Ciencia

Publicado el 14 de Febrero, 2015, 19:43

Ya escribí varias veces sobre David Hilbert, en:

David Hilbert, Enlaces y Recursos
Métodos de Física Matemática, Courant, Hilbert, Prefacio de Courant
David Hilbert, según Jean Dieudonné
Los problemas de Hilbert
Imágenes y símbolos, según Hilbert
David Hilbert y su Teoría de Números Algebraicos (1)
Los problemas de Hilbert (1)

La semana pasada encuentro este texto de Richard Courant, comentando cómo Hilbert se comportó como catedrático en Gotinga:

Si leemos las antiguas crónicas, un catedrático de Gotinga era un semidiós muy consciente de su rango, el de catedrático y también lo era, en particular, la esposa del catedrático.

No sólo en Gotinga, sino en otros lugares de estudio de la Alemania de entonces. Tengo que comentar en algún post, como consiguió Max Planck acercarse a Helmholzt, que era "inalcanzable" para sus alumnos. Hoy, ese "alejamiento" está prácticamente olvidado en muchos ámbitos: las matemáticas son cada vez más colaborativas, y donde los jóvenes son la nueva sangre que trae ideas novedosas a ámbitos ya visitados

La llegada de Hilbert a Gotinga resultó muy molesta. Algunas de las esposas de los catedráticos de más edad se reunieron y dijeron: "¿Te has enterado de este nuevo matemático que ha llegado? Está alterando toda la situación. Se ve que la otra fue visto en un restaurante jugando al billar con algunos de los "Privat dozent" [El Privat dozent ocupaba un rango más bajo que el de profesor ayudante actual, puesto que la universidad no le pagaba nada; solamente recibía el dinero que se le permitía cobrar directamente a sus alumnos en pago de sus clases.] Se consideraba totalmente inaudito que un catedrático se rebajara a entablar amistad personal con personas más jóvenes. Sin embargo, Hilbert rompió esa tradición, lo que significó un enrome paso adelante hacia la creación de la vida científica; los jóvenes estudiantes le visitaban en su casa y tomaban el té o cenaban con él.  Frau Hilbert preparaba grandes y copiosas cenas para los profesores ayudantes, estudiantes y otros. Hilbert salía con sus estudiantes, y con quien quisiera acompañarle, a realizar largas excursiones en los bosques durante las cuales se hablaba de matemáticas, de politíca y de economía.

Hilbert también recibía visitas en su jardín, donde trabajaba todo el tiempo que podía, y entre tarea y tarea de jardinería, o pequeñas tareas caseras, acudía a una larga pizarra que tal vez medía más de seis metros de largo, y que estaba cubierta para poder recorrer toda su longitud incluso bajo la lluvia, en la que trabajaba en sus matemáticas en sus descansos entre los arreglos de los parterres de flores. Uno podía pasar todo el día observándolo.

... Era un profesor único y estimulante... teníamos la suerte de poder observarle forcejeando contra problemas matemáticos, en "ocasiones muy sencillos", y ver cómo encontraba la solución, y eso estimulaba más que una clase magistral perfectamente ejecutada. Lo más impresionante era la gran variedad, el amplio espectro de sus intereses... Era un matemático muy concreto e intuitivo que inventó un principio y lo aplicó de forma muy escrupulosa, a saber, si quieres resolver un problema, retira primero del problema todo lo que no es esencial. Simplifícalo, especialízalo tanto como puedas, sin sacrificar su núcleo. Así, el problema se hace sencillo, tan sencillo como puede sea posible sin que pierda su garra, y entonces lo resuelves. La generalización es una trivialidad a la que no se debe prestar demasiada atención. Este principio de Hiilbert demostró ser extremadamente útil para él y también para otros que aprendieron de él; por desgracia, ha sido olvidado.

Tengo que el libro de ambos, Hilbert y Courant, el famoso Métodos de Física Matemática, que tanto influyó en los físicos de principios del siglo pasado. También tengo pendiente leer las biografías de ambos, escritas por Constance Reid.

Encuentro el texto de arriba, en el excelente libro Matemáticas, una historia de amor y odio. Una cita más corta de Courant sobre Hilbert, la había publicado en David Hilbert, por Richard Courant.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 12 de Febrero, 2015, 14:53

Vuelvo a compartir el tema que se va a tratar esta semana en el Café Filosófico de Buenos Aires. Más datos sobre ubicación, costo, actividades y horarios, en:

http://www.filosofiaparalavida.com.ar/

Lo comparto como vino (sin acentos):

EL TEMA Y CONTENIDO SERÁ UN ESTRENO:

 FORMAS DEL AMOR: SUS BASES BIOLOGICAS Y FILOSOFICAS

NEUROCIENCIA Y AMOR (A partir de los ultimos trabajos científicos sobre el tema, en dialogo con la tradicion filosofica sobre el amor de Platon, Aristoteles, Schopenhauer y otros filosofos)

Que nos hacer sentir atraccion por una persona y no por otras? Por que nos enamoramos? ¿Qué procesos se desarrollan en el cerebro durante el enamoramiento? ¿Es un fenomeno centralmente biologico o cultural? Que influencias no conscientes operan en la eleccion de pareja? Tres formas del amor: la lujuria, el amor romantico y el apego. Su análisis neurocientifico y su analisis filosofico a la luz de los conceptos griegos de eros, agape y philia. Como operan mediante tres circuitos cerebrales distintos. Que cambios fisiologicos se generan en el enamoramiento y en las buenas relaciones duraderas? Los resultados de un estudio realizado por la maxima experta en neurociencia y amor, Helen Fisher, en la pagina web de citas mas grande del mundo. La musica, la compulsion a las compras y el cortejo: su relacion con el amor. Se reseñara tambien el articulo "Sexo, citas y amor: diferencias entre hombres y mujeres", escrito por Roxana Kreimer para un libro que saldra en abril en Estados Unidos ("Women in Philosophical Counseling: The Anima of Thought in Action", Lexington Books, April 15, 2015, "Mujeres en la practica filosofica: el pensamiento en accion"). El articulo parte de la base de que hombres y mujeres no tienen usualmente las mismas prioridades cuando buscan sexo casual o formar una pareja. La investigacion cientifica ha brindado valiosas evidencias sobre los factores irracionales que influyen en la eleccion de pareja. Los resultados son fascinantes y sorprendentes. La filosofia puede jugar un papel importante en la reflexion sobre estas influencias biologicas no conscientes, por un lado volviéndolas conscientes, y por el otro, sugiriendo de que manera el amor puede ser comprendido como un arte, algo que aprendemos y perfeccionamos, y no solo como el resultado de lo que "nos ocurre".

Los siete principios para hacer que la pareja funcione, a partir de los estudios empiricos de John Gottman (hemos dedicado un Café Filosofico entero a este autor, ahora enumeraremos los principios brevemente en virtud de que son el resultado de años de investigación en el unico laboratorio del mundo en el que las parejas concurren para ser estudiadas en sus interacciones cotidianas). Habra chistes sobre el amor y el enamoramiento como prolegomeno para el banquete y la presentacion musical.

Termina con:

Por que estudiar filosofia? Porque la filosofia es un proceso que cultiva habilidades cruciales para que sean fructiferas la educacion, la carrera, la ciudadania, las relaciones y el crecimiento personal. Estas habilidades incluyen la capacidad para razonar criticamente, resolver problemas con creatividad, comprender lo que se lee y lo que se oye, analizar los principios abstractos y aplicarlos a cuestiones concretas, expresarse con claridad y eficacia, apreciar puntos de vista diferentes a los propios, entablar un dialogo constructivo y darse cuenta que la opinion personal nunca es la ultima palabra sobre un tema, clarificar los presupuestos de las opiniones y estar preparado para cambiarlos a la luz de la evidencia. La buena vida es la que guia la razón e inspira el amor. (Bertrand Russell)

"Hay una sola pregunta filosófica valiosa: ¿cómo hemos de vivir?
(Sócrates)

Me gusta que en un ambiente filosófico se hable de neurociencias (en otros ambientes filosóficos, semejante actitud sería tildada de "cientificista", "reduccionista" y demás). Como siempre, hay que tener cuidado en sacar conclusiones muy amplias en el estado actual de la neurociencia.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Por ajlopez, en: Filosofía

Publicado el 10 de Febrero, 2015, 15:22

Anterior Post
Siguient Post

Hay tantos temas interesantes para investigar. En estos días estoy volviendo a leer sobre geometría algebraica. En los de enlaces de hoy, hay otros tópicos, como la densidad de secuencias de números (ver Schnirelmann abajo), y temas de teoría de números como la suma de cuadrados. En estos días, se nos fue René Lavan, veamos el tema de las matemáticas de la mezcla de cartas. Y siempre aparece la teoría de grupos.

Depth- and Breadth-First Search | Math ∩ Programming
http://jeremykun.com/2013/01/22/depth-and-breadth-first-search/

Why there is no Hitchhiker"s Guide to Mathematics for Programmers | Math ∩ Programming
http://jeremykun.com/2013/02/08/why-there-is-no-hitchhikers-guide-to-mathematics-for-programmers/

The Mathematics of Perfect Shuffles
http://www-stat.stanford.edu/~cgates/PERSI/papers/83_05_shuffles.pdf

M13 | The n-Category Café
http://golem.ph.utexas.edu/category/2013/02/m13.html

Presentations and Representations in Foundations | The n-Category Café
http://golem.ph.utexas.edu/category/2013/02/presentations_and_representati.html

(Vídeo) Explicando con música la aritmética modular - Gaussianos
http://gaussianos.com/video-explicando-con-musica-la-aritmetica-modular

Encontrado un error en el trabajo de Carl Cowen y Eva Gallardo sobre el problema del subespacio invariante - Gaussianos
http://gaussianos.com/encontrado-un-error-en-el-trabajo-de-carl-cowen-y-eva-gallardo-sobre-el-problema-del-subespacio-invariante

La sorprendente criba de la parábola - Gaussianos
http://gaussianos.com/la-sorprendente-criba-de-la-parabola/

The Aperiodical | Talk: Computability of Bass-Serre structures in the Grzegorczyk hierarchy
http://aperiodical.com/2013/02/talk-computability-of-bass-serre-structures-in-the-grzegorczyk-hierarchy/

The Aperiodical | Collaborative Mathematics: kids (and non-kids) work together on problems over YouTube
http://aperiodical.com/2013/02/collaborative-mathematics/

Fracción polinómica - Gaussianos
http://gaussianos.com/fraccion-polinomica/

Lagrange's four-square theorem - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Lagrange%27s_four-square_theorem

Jacobi's four-square theorem - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Jacobi%27s_four-square_theorem

15 and 290 theorems - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/15_and_290_theorems

Brun sieve - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Brun_sieve

Natural density - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Natural_density

Schnirelmann density - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Schnirelmann_density

FINE ASYMPTOTIC DENSITIES FOR SETS OF NATURAL NUMBERS
http://www.dm.unipi.it/~dinasso/papers/24.pdf

THE ASYMPTOTIC DENSITY OF SEQUENCES
http://www.ams.org/journals/bull/1951-57-06/S0002-9904-1951-09543-9/S0002-9904-1951-09543-9.pdf

Subsets of Products of Positive Density on van der Waerden sets
http://arxiv.org/abs/1301.4297

48th Known Mersenne Prime Discovered
http://www.mersenne.org/various/57885161.htm

Mis Enlaces
https://delicious.com/ajlopez/mathematics

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 2 de Febrero, 2015, 14:11

Tiempo de revisar los resultados de las resoluciones de enero, y plantear las nuevas para este mes de febrero. Este mes pasado hubo menos días libres, y se notó en el resultado:

- Seguir mi serie sobre Ecuaciones Diferenciales [completo] ver post
- Seguir mi serie sobre la Ecuación de Schrödinger [pendiente]
- Seguir mi serie sobre Matemáticas y Física Cuántica [pendiente]
- Seguir mi serie sobre Teoría de Grupos y Partículas Elementales [completo] ver post
- Continuar mi serie sobre Lagrangianos y Hamiltonianos [completo] ver post
- Continuar mi nueva serie Entendiendo a Heisenberg [pendiente]
- Continuar mi serie sobre Hacia la Mecánica Cuántica [pendiente]
- Iniciar serie sobre Series de Fourier [pendiente]
- Iniciar serie sobre El Ultimo Teorema de Fermat [pendiente]
- Continuar mi serie sobre La Hipótesis de Riemann [pendiente]
- Estudiar ecuaciones diferenciales [completo]
- Estudiar matemáticas de física clásica y cuántica [parcial]

En compensación, inicié nuevas series como:

Teoría de Categorías (1)
Particiones (1)
Funciones Aritméticas (1)
Descenso Infinito (2)

También escribir sobre:

Kepler y la gravitación

Bien, lo prometido es deuda, así que este mes me concentro en completar lo que faltó:

- Seguir mi serie sobre la Ecuación de Schrödinger
- Seguir mi serie sobre Matemáticas y Física Cuántica
- Continuar mi nueva serie Entendiendo a Heisenberg
- Continuar mi serie sobre Hacia la Mecánica Cuántica
- Iniciar serie sobre Series de Fourier
- Iniciar serie sobre El Ultimo Teorema de Fermat
- Continuar mi serie sobre La Hipótesis de Riemann

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 1 de Febrero, 2015, 18:32

Anterior Post
Siguiente Post

Ya estuvimos viendo rotaciones alrededor de un eje (en tres dimensiones), podemos ahora escribir:

A la izquierda tenemos multiplicar. A la derecha, tenemos sumar. Esto nos recuerda a lo que tenemos en exponenciación:

Aunque hay que tener cuidado: en la primera expresión de arriba, estamos multiplicando matrices, y en la segunda expresión, estamos operando con números, como exp(x) y el propio x.

Recordemos que

Eso es una rotación FINITA de ángulo dado theta, alrededor del eje z. ¿Cómo podemos expresar una rotación INFINITESIMAL, que sirva de base "generadora" para todas las rotaciones de ese eje?

Si calculamos la derivada por theta, en el valor 0, quedar:

Entonces, podemos usar esa derivada como el primer factor en su expresión en serie. Como aproximación podemos escribir:

Donde en segundo término de la derecha llega a ser la derivada encontrada multiplicada por delta theta, el incremente infinitesimal del ángulo  (hay que justificar el uso de i, la raíz de -1 imaginaria). Debería ser para eso:

Una rotación finita puede componerse (en principio) de sucesivas rotaciones infinitesimales (digo en principio, para mostrarlo formalmente hacia dónde vamos; dos rotaciones infinitesimales, si realmente son INFINITESIMALES, solo dan una rotación infinitesimal):

Tomando:

Para N rotaciones, si tomamos N tendiendo a infinito, queda:

En el desarrollo de arriba, operamos formalmente, PORQUE NO HAY DEFINICION DIRECTA de e elevado a matrices. Solamente porque Mz es una matriz que CONMUTA CONSIGO MISMA (como todas las matrices), podemos hacer esa ANALOGIA con respecto a la exponencial: lo que conocemos, es la exponencial de un número real, lo de arriba es "algo de magia" para expresar la exponencial de una matriz.

Con todo lo plausible que es la igualdad de arriba, hay que probar que:

Sea igual a lo que da el desarrollo infinito de la exponenciación:

Este desarrollo se expande a:

Las dos primeras matrices son la matriz desdoblada. Las potencias PARES de Mz son igual a la segunda matriz (con dos unos y un cero en la diagonal), y las potencias IMPARES de Mz son iguales a Mz.

Queda, reagrupando, y resolviendo los signos de i potencia:

Los dos desarrollos de potencias de theta son los desarrollos de coseno y seno en serie, queda:

Quedando al fin:

Como se quería probar.

En próximo post, revisaremos que condiciones cumple Mz, mencionaremos la expresión de Mx, Mz (que se pueden deducir como las de Mz), y veremos si Rz(theta) es unitaria.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez


Por ajlopez, en: Ciencia