|
|
Goedel
La Incompletezza dell’Aritmetica
I protagonisti della Logica Contemporanea sono 4 sebbene 3 siano i punti che vengono sviluppati.
Post e Wittgestein sviluppano rispettivamente la completezza della Logica Proposizionale e le tabelle di Verità.
Successivamente si inserì il grande Goedel con la teoria della Completezza della Logica Predicativa e con la teoria dell’Incompletezza dell’Aritmetica.
Infine Turing che con la sua famosa Macchina di Turing, il primo computer, realizzò il sogno di Leibniz ed introdusse la teoria della Decidibilità
