Kurt Gödel

Búsquedas relacionadas con Kurt Gödel: Albert Einstein

Gödel, Kurt

 
(1906-78) Lógico y matemático checo. Autor de numerosos teoremas de consistencia, completitud y decibilidad de ciertas teorías matemáticas.
Ejemplos ?
H. Hardy, Kurt Gödel, Alan Turing y Srinivasa Ramanujan. El libro, a pesar de tratar sobre matemática, no se aleja nunca del género literario, y fundamentalmente, más que describir problemas y conceptos, lo que hace es dar una perspectiva de la vida que lleva cada matemático consigo, en relación al universo en que está inmerso.
En su tesis doctoral, Kurt Gödel (1929) demostró el teorema de completitud de Gödel, que establece una correspondencia entre la sintaxis y la semántica de la lógica de primer orden.
En una charla que dio varios años más tarde en la Universidad de Washington, Feynman bromeó: "Es genial estar de vuelta en la única universidad que había tenido el buen sentido de despedirme." Después de la guerra, Feynman rechazó una oferta del Instituto de Estudios Avanzados de Princeton, Nueva Jersey, a pesar de la presencia de profesores distinguidos como Albert Einstein, Kurt Gödel y John von Neumann.
El origen de los modelos abstractos de computación se encuadra en los años '30 (antes de que existieran los ordenadores modernos), en el trabajo de los lógicos Alonzo Church, Kurt Gödel, Stephen Kleene, Emil Leon Post, Haskell Curry y Alan Turing.
Algunos de estos modelos formales fueron propuestos por precursores como Alonzo Church (cálculo Lambda), Kurt Gödel (funciones recursivas) y Alan Turing (máquina de Turing).
Moritz Schlick Rudolf Carnap Otto Neurath Herbert Feigl Philipp Frank Friedrich Waismann Hans Hahn Hans Reichenbach Kurt Gödel Alfred Tarski A.
Una presentación maravillosa (legible, extensiva) sobre la Demostración de Gödel, con comentarios. John Dawson, Jr Logical Dilemmas, The Life and Work of Kurt Gödel, AK Peters, Wellesley, Mass., 1997.
Penn State, catalogador de los artículos de Gödel para el Institute for Advanced Study de Princeton, y co-editor de los Trabajos Reunidos de Gödel (Collected Works) Rebecca Goldstein, Incompleteness: The Proof and Paradox of Kurt Gödel, Atlas Books, W.
Procedimiento igual nos llevará a demostrar la no existencia de conjunto conjugado(conjunto de los elementos no pertenecientes al conjunto) dado un conjunto cualquiera, ya que de ser así existiría su unión, por el axioma de la unión, y esta sería igual a V. Kurt Gödel probó que la consistencia lógica de los axiomas de ZFC es indemostrable.
Del trabajo de Kurt Gödel y Paul Cohen se deduce que el axioma de elección es lógicamente independiente de los otros axiomas de la teoría axiomática de conjuntos.
También desarrolló junto a sus discípulos las álgebras cilíndricas, que son a la lógica de primer orden lo que el álgebra booleana a la lógica proposicional. Junto con Aristóteles, Gottlob Frege y Kurt Gödel, Tarski es considerado uno de los lógicos más grandes de todos los tiempos.
El origen de los modelos abstractos de computación se encuadra en los años '30 (antes de que existieran los ordenadores modernos), para el trabajo de los lógicos Alonzo Church, Kurt Gödel, Stephen Kleene, Emil Leon Post, y Alan Turing.