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, ancora, la non dimostrabilità in AP di enunciati che, diversamente da quelli utilizzati da Kurt Gödel nel suo teorema d'indecidibilità, non siano semplici traduzioni aritmetiche di proprietà metamatematiche. Prototipo di questi risultati ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] metodi effettivi.
Logica, combinatoria e K-teoria
Vogliamo soltanto accennare al fatto che le idee di Kurt Gödel (1906-1978) sull'indecidibilità hanno trovato una controparte algebrica con una risposta negativa al cosiddetto problema della ...
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à...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...