Discutiamo, nella forma di qualche nota in margine, alcuni passi cruciali, notoriamente controversi, di due importanti lavori di Thoralf Skolem (1922; 1928), rilevanti per spiegare la sua mancata dimostrazione della completezza semantica della logica predicativa e di altri risultati metateorici, malgrado le fondamentali invenzioni matematiche che in essi si trovano.
Note su Skolem
Bellotti, Luca
2021-01-01
Abstract
Discutiamo, nella forma di qualche nota in margine, alcuni passi cruciali, notoriamente controversi, di due importanti lavori di Thoralf Skolem (1922; 1928), rilevanti per spiegare la sua mancata dimostrazione della completezza semantica della logica predicativa e di altri risultati metateorici, malgrado le fondamentali invenzioni matematiche che in essi si trovano.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
skolem_pub.pdf
non disponibili
Tipologia:
Versione finale editoriale
Licenza:
NON PUBBLICO - accesso privato/ristretto
Dimensione
1.5 MB
Formato
Adobe PDF
|
1.5 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
