Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
|||
Riga 1:
=== La deduzione naturale ===
Gerhard Gentzen ha notato che il sistema assiomatico di Hilbert è molto lontano
Risalire agli assiomi o partire dagli assiomi non è semplice e spesso è molto poco intuitivo, in fondo l' unico esempio significativo di teoria assiomatica che ci è giunta da tempi lontani è la geometria di Euclide.
|