Revisión del 12:59 13 feb 2018 editar Jotacandelario (discusión · contribs.) 139 ediciones m →‎Obra en Viena: Corrección de error en fecha. Etiqueta: Edición visual ← Ir a diferencia anterior		Revisión del 03:37 14 feb 2018 editar deshacer Eddieberrios0 (discusión · contribs.) 2 ediciones m Cambio de la y copulativa en e Etiqueta: Edición visual Ir a siguiente diferencia →
Línea 57: === Visitas a los Estados Unidos === En [[1933]], Gödel viajó por primera vez a los [[Estados Unidos]] donde conoció a [[Albert Einstein]], con quien estrechó lazos de amistad. Presentó una conferencia en la reunión anual de la [[Sociedad Norteamericana de Matemáticas]]. En el transcurso de ese año, Gödel también desarrolló ideas sobre la computabilidad y la [[función recursiva]], ye impartió una conferencia sobre dichas funciones y sobre el concepto de verdad. Posteriormente, este trabajo se desarrolló en la [[teoría de los números]], empleando la numeración de Gödel. En [[1934]], Gödel impartió una serie de conferencias en el [[Instituto de Estudios Avanzados de Princeton\|Instituto de Estudios Avanzados]] (IEA) en [[Princeton (Nueva Jersey)\|Princeton]], titulada ''Sobre las proposiciones indecidibles de los sistemas matemáticos formales''. [[Stephen Kleene]], quien acababa de finalizar su doctorado en Princeton, tomó notas de esta conferencia, que se publicaron posteriormente.

Diferencia entre revisiones de «Kurt Gödel»