Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] e inizialmente studiate con particolare attenzione alla nozione di implicazione stretta (cioè necessaria). Dopo che KurtGödel ebbe mostrato l'insostenibilità dell'interpretazione dell'implicazione stretta in termini di deducibilità formale, solo ...
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 [...] man mano affievolendosi nel tempo; da una parte in vista di risultati negativi come il teorema di indecidibilità di KurtGödel, che sembravano vanificare il programma nelle sue forme più estreme, dall'altra per i sempre più frequenti contatti con ...
Leggi Tutto
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] o risplendenti o, ancora, la non dimostrabilità in AP di enunciati che, diversamente da quelli utilizzati da KurtGödel nel suo teorema d'indecidibilità, non siano semplici traduzioni aritmetiche di proprietà metamatematiche. Prototipo di questi ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] materia, iniziando con un pregevole pezzo d'antiquariato: il primo teorema di incompletezza, enunciato e dimostrato da KurtGödel nel 1931.
Fissiamo la nostra teoria assiomatica formale come sopra descritto e chiediamoci se la proposizione 'questa ...
Leggi Tutto
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...