Da Euclide a Gödel

“Le teorie matematiche non parlano di niente, così come le proposizioni della logica formale, perché le loro frasi non sono frasi ma schemi formali di frasi.”
Gabriele Lolli

“La scoperta della logica formale è una delle più grandi scoperte relative alle capacità cognitive umane.”
Gabriele Lolli

“Le nozioni comuni sono verità autoevidenti.”
Gabriele Lolli

“L’aritmetica non prende avvio dalla definizione del numero.”
Gabriele Lolli

“Le scienze dimostrative partono da principi che devono essere indimostrabili.”
Gabriele Lolli