Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] la combinatoria. Anche prima della costruzione dei computer, questioni di carattere teorico hanno portato a risultati importanti. Kurt Gödel nel 1931 dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi di ...
Leggi Tutto
insieme
insième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] : III 212 d e meccanica statistica: III 729 e. ◆ I. cilindrico: v. diffusione, teoria della: II 168 b. qz I. creativo: v. Gödel, teorema di: III 57 d. ◆ I. dei tempi: v. sistemi, teoria dei: V 316 d. ◆ I. denso: v. spazio topologico: V 468 ...
Leggi Tutto
aritmetica
aritmètica [Der. del lat arithmetìca, dal gr. arithmós "numero"]. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri interi; il termine, per la prima volta usato [...] a un dato campo d'integrità, ecc. A proposito delle difficoltà che si incontrano nella definizione formale dell'a. v. Gödel, teorema di: III 53 c. ◆ [INF] A. a virgola mobile: nell'informatica e nei sistemi di codificazione numerica, metodo di ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] non quella dei predicati, mentre quella che analizza pure la quantificazione dei predicati è detta l. del secondo ordine: v. Gödel, teorema di: III 54 e. ◆ [FAF] L. enunciativa: lo stesso che l. proposizionale (v. oltre). ◆ [ALG] [FAF] L. formale, o ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] una formula di T sia un teorema di T. Una prima soluzione di questo problema è espressa dal teorema di completezza semantica di Gödel: ‘una formula di una teoria elementare T è un teorema se e solo se è valida in T′, o, equivalentemente, ‘una teoria ...
Leggi Tutto
Hilbert, David
Hilbert ⟨hìlbërt⟩ David [STF] (Königsberg 1862 - Gottinga 1943) Prof. di matematica nell'univ. di Gottinga (1895); socio straniero dei Lincei (1903). ◆ Azione di H.-Einstein: v. gravità [...] da essa ogni ricorso all’“evidenza intuitiva” nelle dimostrazioni. ◆ Programma di H.: il sistema dei postulati di H. (v. sopra): v. Gödel, teorema di: III 53 d. ◆ Sottospazio di H.: data una base B di uno spazio di H., è lo spazio vettoriale generato ...
Leggi Tutto
sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] dal suo linguaggio simbolico, dal suo apparato deduttivo e dai teoremi derivabili in essa, senza alcun riferimento esterno: v. Gödel, teorema di: III 53 f. ◆ [OTT] S. fotometrico: s. di grandezze fotometriche: v. misurazioni ottiche: IV 40 c. ◆ [ASF ...
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...