Documentos de Académico
Documentos de Profesional
Documentos de Cultura
v=y09PvNRipJs
https://www.youtube.com/watch?v=G0j4sU24Ll8
El terreno de las matemáticas han sido concebidas como uno firme. Es el reino de la
certidumbre, la parte más segura y confiable del entendimiento humano. Por eso fue un
asombro cuando Kurt Gödel impactó al mundo académico al demostrar que la vislumbrada
relación entre matemáticas y verdad es más tenue de lo que sospechábamos. Que la lógica
tiene límites intrínsecos, y que los fundamentos de la matemática no son tan sólidos.
Gödel nació en Moravia, actual República Checa en 1906. Estudiante excelente, se matriculó
en la Universidad de Viena para estudiar física teórica aunque se dejó seducir por las
matemáticas. Eran tiempos convulsos en la Europa de entre guerras, y Viena era un
efervecencia intelectual.
Las matemáticas de comienzos de siglo estaban en crisis. Georg Cantor había mostrado la
existencia de una infinidad de infinitos. Las paradojas de Russel filtraban dudas acerca de la
consistencia del edificio entero. David Hilbert había urgido a sus colegas a darle a las
matemáticas la consistencia deseada: que todas las verdades pudieran deducirse de los
axiomas. No imaginaban los matemáticos la conmoción que estaba por desatarse.
A sus 24 años Gödel publicó un resultado verdaderamente revolucionario que estremeció los
fundamentos de las matemáticas. Sus teoremas de incompletitud demostraban que en toda
teoría formal que contenga a la aritmética, existen afirmaciones cuya veracidad o falsedad no
pueden ser comprobadas usando los axiomas de la teoría. En otras palabras, hay verdades
matemáticas que no pueden ser demostradas en el interior de la teoría.
Por lo tanto es imposible demostrar que todo el sistema es consistente usando los axiomas. El
desiderátum de Hilbert de poner sobre bases firmes a las matemáticas se derrumbaba. El
teorema de incompletitud decía que un sistema no puede ser a la vez consistente y completo.
En 1936 Alan Turing demostró que en una computadora ideal siempre existe un programa que
no puede completarse en un número finito de pasos. Son los procesos no computables.
Si los sistemas formales no podían probar su propia consistencia, la compleja mente de Gödel
menos aún podía probar la suya: es una paradoja que el gran lógico comenzara a dudar de las
verdades de sus propia lógica interna. Vinieron las crisis depresivas y los episodios de paranoia
lo llevaron a ser internado en sanatorios.
Mientras tanto, Europa no escapaba a esa otra locura, la guerra. El ascenso de Hitler al poder
puso a la academia en una difícil situación. Cuando Gödel fue declarado apto para el ejército
emigró a los Estados Unidos con su esposa Adele, una bailarina divorciada, seis años mayor
que él.
Perfeccionista extremo, publicó relativamente poco, pero cada publicación tenía un fuerte
impacto. Einstein y Gödel solían dar largos paseos que tenían un efecto tranquilizador para
Kurt. Einstein comentaría que en ocasiones su trabajo en el Instituto no era tan importante
como el privilegio de conversar con Gödel.
En 1949 obtuvo una solución de las ecuaciones de la gravitación de Einstein que representan
un modelo de universo que admite viajes en el tiempo; con las inevitables paradojas lógicas
que significa alterar el pasado.
Hacia los años setenta las obsesiones y las paranoias se acentuaron. Vivía con el temor de ser
envenenado y se negaba a comer si Adele no probaba antes la comida. Tras una larga
hospitalización de ella, el más grande de los lógicos con la más lógica más absurda, para no
morir envenenado se dejó morir de hambre. De acuerdo con la autopsia, Kurt Gödel pesaba
apenas 32 Kg. cuando falleció en un hospital de Princeton en enero 1978.
El descubrimiento podría abrir una nueva era en los tratamientos de fertilización. Pixabay
Un grupo de científicos creó "estructuras embrionarias" próximas a un embrión en sus inicios,
a partir de células madre de ratón, sin recurrir a la fecundación, según publicó el miércoles la
revista científica Nature.
Los investigadores, que desarrollaron "por primera vez" en laboratorio in vitro estas
estructuras parecidas a embriones naturales en su origen, esperan que este trabajo ayudará a
entender cómo se forma la placenta y cómo el embrión se implanta en la mucosa del útero.
Cuando son transferidas in utero, las esferas celulares, obtenidas a partir de dos tipos de célula
madre de roedor, activan mecanismos de adaptación parecidos a los observados durante la
implantación en la pared uterina.
Aunque estas estructuras embrionarias precoces no evolucionaron hasta el estado de
embriones maduros, sirvieron a los investigadores como modelo de estudio del desarrollo del
embrión en sus inicios, una etapa todavía poco conocida.
"Es la primera vez que los científicos han podido clarificar los mecanismos moleculares de la
implantación (en el útero) y estos resultados podrían ayudar a entender mejor ciertos aspectos
de la infertilidad y a mejorar los resultados de la reproducción asistida", estima el doctor
Dusko Ilic del King’s College London.
El fracaso del desarrollo del embrión sería debido a la ausencia de un tercer tipo de células
"que tiene un papel esencial en la estructuración del embrión (...) y que está mal producido
por las células madre embrionarias", precisa otro especialista, el profesor Robin Lovell-Badge,
según el Science Media Centre (SMC).
Obtener resultados comparables con células humanas "sigue siendo un gran desafío" para los
investigadores que querrían crear embriones humanos de esta manera, según el doctor Harry
Leith del MRC London Institute of Medical Sciences.
http://www.elmundo.es/comunidad-
valenciana/castellon/2017/07/18/596e569b46163f62678b45c0.html
https://drive.google.com/file/d/1NUYzlyGzCustnr_a_5tEqtf-lgU6Mg9T/view?ts=5af2201a