Kurt Friedrich Gödel (Brno, 28 aprile 1906 – Princeton, 14 gennaio 1978) è stato un matematico, logico e filosofo austriaco naturalizzato statunitense, noto soprattutto per i suoi lavori sull’incompletezza delle teorie matematiche. Ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele e Gottlob Frege, le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo. Gödel pubblicò il suo più famoso risultato nel 1931 a venticinque anni …

Continua a leggere

Molti matematici ritengono che la bellezza sia un requisito fondamentale che un concetto o un teorema debba possedere affinché possa avere degna cittadinanza nella matematica. Ad esempio, G. H. Hardy nella sua “Apologia di un matematico” (1940) collega la bellezza di un teorema alla sua serietà, cioè “alla significatività delle idee matematiche che esso riesce …

Continua a leggere