Kleene Stephen Cole

Gödel, Kurt Gödel ‹ġö´ödël›, Kurt. - Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) denominato Wiener Kreis. Dopo il 1938 emigrò negli USA, di cui prese la ... Turing, Alan Mathison Turing ‹ti̯ùriṅ›, Alan Mathison. - Matematico e logico matematico britannico (Londra 1912 - Manchester 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un metodo da lui indicato per dare un significato preciso al concetto intuitivo ... Cantor, Georg Cantor ‹kà-›, Georg. - Matematico tedesco (Pietroburgo 1845 - Halle 1918); prof. all'univ. di Halle dal 1872 al 1905. È stato uno dei matematici più acuti del sec. 19º, le cui idee, spesso contrastate all'inizio, hanno rivoluzionato concezioni tradizionali della matematica e della logica. Il Cantor, ... lògica matemàtica lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ...