Alberi: definizioni e dimostrazioni induttive.
Due esempi di inferenze per assurdo. Numeri ineffabili e diadi effabili.
Derivazioni
Note introduttive
da Elements of Intuitionism di M.Dummett
Nozioni preliminari
da Elements of Intuitionism di M.Dummett
Logica del primo ordine
Esempi di formalizzazioni
Da Introduction to Logic di L.T.F.Gamut, 1991
I teoremi di Goedel
Induzione
Logica minimale, intuizionista e classica
Modelli e valutazioni
Deduzione naturale
Da Mathematical Logic di W.V.O Quine, 1958
Il mondo di Tarski I
Il mondo di Tarski II
Tautologie e formule valide notevoli
Tavole semantiche
Tavole di Beth
Teorema di deduzione
La logica dell'infinito (H.Poincaré)
Il concetto di infinito in matematica (G.Gentzen) di
Da Intuitionism. An Introduction, 1966 (A.Heyting)
Lemma di Koenig
Lemma di Zorn
Calcolo di sequenti
(PAGINA IN COSTRUZIONE)