⇱ Correttezza, completezza, decidibilità – Approfondimento: Kurt Gödel
 Kurt Friedrich Gödel (Brno, 28 aprile 1906 – Princeton, 14 gennaio 1978) 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. |
|
|
AFORISMI E FRASI CELEBRI The more I think about language, the more it amazes me that people ever understand each other at all. Ninety percent of contemporary philosophers see their principal task as that of beating religion out of men’s heads. … We are far from being able to provide scientific basis for the theological world view. |