Sul sito web di Terence Tao, celebre matematico australiano, compare l’indovinello che riportiamo nei prossimi paragrafi in una versione edulcorata. Su un’isola lontana abita una tribù dai costumi particolari. [...] logica del prim’ordine, tramite uno schema di assiomi (assiomi di induzione), che assieme ad altri formano la cosiddetta Aritmetica di Peano, e si può anche ottenere come un enunciato della teoria degli insiemi di Zermelo-Fraenkel, come conseguenza ... Leggi Tutto

La storia della metafisica occidentale, al di là di tutte le differenze specifiche proprie di autori, periodi e contesti culturali diversi, ha sempre avuto, dall’antichità all’epoca moderna, una caratteristica [...] aver insegnato lungamente sia a Cambridge che a Londra, ed essersi occupato, oltre che del progetto di fondare l’aritmetica su basi logiche, anche di fisica delle particelle, egli venne chiamato a Harvard come professore di filosofia. Per Whitehead ... Leggi Tutto