Pagina iniziale | Navigazione |
Google

Kurt Gödel

Kurt Gödel (28 Aprile, 1906 - 14 Gennaio, 1978) fu un matematico e logico che nacque a Brno (oggi nella Repubblica Ceca) sotto l'Impero Austro-Ungarico e divenne cittadino austriaco a 23 anni e, in seguito, cittadino degli USA a 42. Gödel ritenuto il pi grande logico del XX secolo e uno dei tre pi grandi logici di tutti i tempi, assieme agli altri componenti di un ipotetico triumvirato composto da Aristotele e Frege.

Godel ha pubblicato il suo pi famoso risultato nel 1931 all'età di 25 anni, epoca in cui lavorava presso l'Università di Vienna in Austria. Tale lavoro il famoso teorema di incompletezza che da lui prende il nome, secondo il quale ogni sistema assiomatico auto-consistente in grado di descrivere l'aritmetica dei numeri interi ammette proposizioni logiche sugli interi che non possono essere dimostrate n confutate a partire dagli assiomi.

Fu anche autore di un celebre lavoro sull'ipotesi del continuo, che dimostra che essa non può essere refutata dagli assiomi della teoria degli insiemi accettata, assumendo che tali assiomi siano consistenti. Tale ipotesi venne poi ampliata da Paul Cohen, che ne dimostrò l'indipendenza.

Un altro risultato, di cui spesso si parla a sproposito, la dimostrazione nel 1970 dell'esistenza di un Dio, inteso come ente che assomma tutte le qualità positive di un dato insieme. Tale teorema deriva dal concetto di ultrafiltro, e ben poco ha a che vedere con la teologia: vedere ad esempio questo articolo (in inglese).

Table of contents
1 Pubblicazioni Salienti
2 Link Esterni

Pubblicazioni Salienti

Letture su Gödel

  • Douglas Hofstadter, Gödel, Escher, Bach, Un'eterna ghirlanda brillante, Adelphi (ISBN 88-459-0755-4)
  • John L. Casti, Werner DePauli, Godel, L’eccentrica vita di un genio, Raffaello Cortina (ISBN 8870787117)
  • E. Nagel & J.R. Newman, La prova di Gödel (ISBN 88-339-0309-5)
  • P. Pasolini, Il teorema di Gödel di fronte alla logica, alla cibernetica e all'assoluto - Rivista Nuova Umanità n. 1, Ed. Città Nuova, Roma
  • Italo Aimonetto - Il fondamento del teorema di Gödel: da Peano a Frege e Russell - Rivista "Filosofia" - Torino

Link Esterni


GNU Fdl - it.Wikipedia.org




Google | 

Enciclopedia |  La Divina Commedia di Dante |  Mappa | : 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 |