Índice Alfabético:    A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

Biografía de Kurt Gödel

Brünn, actual Austria, 1906-Princeton, EE UU, 1978

Lógico y matemático estadounidense de origen austriaco. En 1930 entró a formar parte del cuerpo docente de la Universidad de Viena. Por su condición de judío se vio obligado a abandonar la ciudad durante la ocupación alemana de Austria y a emigrar a Estados Unidos, donde pasó a ocupar una plaza de profesor en el Instituto de Estudios Avanzados de Princeton, institución que ya había visitado con anterioridad.

En 1931 publicó el artículo «Sobre proposiciones formalmente indecidibles del Principia Mathematica y sistemas relacionados», en el que propuso sus dos teoremas de la iocompletitud, el primero de los cuales establece que ninguna teoría finitamente axiomatizable y capaz de derivar los postulados de Peano (esto es, abarcar un nivel mínimo de complejidad) es a la vez consistente y completa.

En otras palabras, si se intenta elaborar una teoría fundacional de las matemáticas que establezca los axiomas y las reglas de inferencia asociadas a los mismos, de modo que sea posible estipular con precisión qué es y qué no es un axioma, la teoría resultante será bien insuficiente (no permitirá derivar los postulados de Peano), incompleta (existirá al menos una proposición matemáticamente válida que no será derivable de la teoría) o inconsistente.

El segundo teorema de la incompletitud, corolario del primero, afirma que si una teoría es finitamente axiomatizable, consistente y capaz de derivar los postulados de Peano, entonces dicha teoría no puede probar su propia consistencia. Mediante la demostración de las imperfecciones del sistema axiomático como herramienta, heredada de los antiguos griegos, para la elaboración de teorías complejas, completas y consistentes, la obra de Gödel echó definitivamente por tierra las empresas formalistas (Hilbert) y logicistas (Russell y Whitehead) y, en definitiva, más de un siglo de intentos de desarrollar una fundamentación de las matemáticas basada en dichos instrumentos

Quizas tambien te interece: Maurice Godelier

(Cambrai, 1934) Antropólogo francés. Director y profesor del CNRS, estudió a los baruya de Nueva Guinea, sobre quienes escribió un estudio (1982). Es autor también de Horizontes, trayectos marxistas en antropología (1973) y de Antropología y economía (1974). En 1998 publicó Transformations of Kinship y, en 1999, Enigma of the gift

Otras Biografías Relacionadas


Biografía de Maurice Godelier
Biografía de Emmy Noether
Biografía de Arthur Michael Ramsey
Biografía de Edward Witten
Biografía de Frank Plumpton Ramsey




































Publicidad

Red NetSaber

   - NetSaber.com
   - Frases y Citas