logica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» in un ambiente protostoico, pur conservando λογικός per tutta la grecità il [...] A.I. Malcev, R.M. Robinson); la teoria degli insiemi (E. Zermelo, A. Fraenkel, Bernays, J. Von Neumann, Gödel, T.A. Skolem, P.J. Cohen, A. Mostowski, P. Lévy); la teoria della ricorsività (S. Kleene, Church, Turing, E. Post); l’algebra universale (L ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] la ripresa delle ricerche sull'assiomatizzazione della teoria degli insiemi da parte di Abraham Fraenkel (1891-1965) e Thoralf Skolem (1887-1963).
Le critiche di Poincaré non avevano "toccato il cuore della questione, che sta molto più in profondità ...
Leggi Tutto