Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nuova pagina: === La deduzione naturale === Gerhard Gentzen ha notato che il sistema assiomatico di Hilbert è molto lontano da modo di ragionare che applicano i matematici nella loro attività quo... |
mNessun oggetto della modifica |
||
Riga 6:
Gentzen ha cercato un sistema di dimostrazione che fosse semplice ed intuitivo, arrivando alla "deduzione naturale", un sistema di dimostrazione senza assiomi e con 7 regole.
{{avanzamento|25%}}
[[Categoria:Logica|Deduzione naturale]]
| |||