Blia.it

Enciclopedia

Gödel, Kurt (Brno 1906-Princeton 1978) Matematico e filosofo cecoslovacco naturalizzato americano. Fu membro del Circolo di Vienna. I suoi studi sono fondamentali in logica dal punto di vista metodologico. Sua è la dimostrazione della completezza semantica, proprietà secondo la quale in un sistema formale per ogni formula, che sia conseguenza logica di un insieme di formule espresse nel linguaggio del sistema formale, esiste una dimostrazione sintattica. Parimenti noto è il suo teorema dell'incompletezza. 
Teorema dell'incompletezza di Gödel 
Teorema enunciato nel 1931 che dimostra come nei sistemi formali vengano spesso fornite proposizioni impossibili da dimostrare o da derivare nel sistema stesso, pur essendo vere.