LOGICA MATEMATICA Aldo Marruccelli Alberto Pasquinelli (XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999). Princìpi di logica matematica. È opportuno premettere all'articolo che dà notizia dei progressi [...] del 1931. Mentre G. Kreisel e D. Prawitz hanno affrontato senza incertezze il compito di E. Yates), Amsterdam 1971 (con contributi di G. Kreisel, G. E. Sacks, H. Hermes, D. Gabbay, E. Specker); A. A. Fraenkel, Y. Bar-Hillel, A. Levy, Foundations of ... Leggi Tutto

LOGICA E INFORMATICA Carlo Cellucci I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] generale per le l. non-classiche. Un metodo alternativo a quello di risoluzione è il metodo dei tableaux introdotto da D. Prawitz (1960) sviluppando un metodo precedente di E. Beth (1955). Esso si applica a insiemi di formule qualsiasi e ha naturali ... Leggi Tutto

Dimostrazione, teoria della Jean-Yves Girard La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] Dj[t1,…,tp] siano conseguenze di Γ′. b) Una formula atomica D è conseguenza di Γ se e solo se la si può dimostrare da Klaus F. Jørgensen, Dordrecht, Kluwer Academic, 2000. Prawitz 1965: Prawitz, Dag, Natural deduction, Stockholm, Almqvist & ... Leggi Tutto