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 [...] che si incontrano nella definizione formale dell'a. v. Gödel, teoremadi: III 53 c. ◆ [INF] A. a virgola mobile: nell'informatica e nei sistemi di codificazione numerica, metodo di rappresentazione dei numeri interi e frazionari partic. utile nel ...
Leggi Tutto
Peano Giuseppe
Peano Giuseppe [STF] (Cuneo 1858 - Torino 1932) Prof. di analisi infinitesimale nell'univ. di Torino (1890). ◆ [ALG] Aritmetica di P.: una costruzione assiomatica dell'aritmetica: v. Gödel, [...] teoremadi: III 54 b. ◆ [ALG] Curva di P.: ideata da P. per dimostrare errate certe idee sulle curve, in partic. che esse siano identicamente enti continui a una dimensione; è costituita da una spezzata di segmenti identici che, al limite, ricopre ...
Leggi Tutto
Dedekind Julius Wilhelm Richard
Dedekind 〈déedëkint〉 Julius Wilhelm Richard [STF] (Brunswick 1831- ivi 1916) Matematico, insegnò nel politecnico di Zurigo (1862), poi in quello di Brunswick (dal 1862); [...] può fondarsi l'aritmetica: v. Gödel, teoremadi: III 54 a. ◆ [ALG] Sezione di D.: qualunque suddivisione dell'insieme Q dei numeri razionali in due sottoinsiemi A e B tali che ogni elemento di A sia minore di ogni elemento di B; se né il sottoinsieme ...
Leggi Tutto
stringa
stringa [Der. dell'ingl. string "cordoncino"] [ELT] [INF] Nella tecnica dei calcolatori elettronici, sequenza finita di caratteri alfanumerici registrata in memoria che rappresenta dati in forma [...] codificata: s. alfabetica, di soli caratteri alfabetici, s. di bit, di numeri binari, ecc. ◆ [ALG] S. casuale: v. Gödel, teoremadi: III 58 a. ◆ [ASF] S. cosmica: v. cosmologia primordiale: I 803 d. ◆ [RGR] S. relativistica: lo stesso che corda ...
Leggi Tutto
Skolem Thoralf Albert
Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teoremadi: III 54 f. ◆ [...] [ALG] [FAF] Teoremidi Löwenheim-S.: v. logica: III 485 e. ...
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, teoremadi: III 53 f. ◆ [OTT] S. fotometrico: s. di grandezze fotometriche: v. misurazioni ottiche: IV 40 c. ◆ [ASF ...
Leggi Tutto
terzo
tèrzo [agg. numerico ordinale Der. del lat. tertius, da tres "tre"] [LSF] Che in una serie numericamente ordinata viene dopo altri due. ◆ T. suono: (a) [ACS] lo stesso che suono di combinazione, [...] falsa, e che quindi è vera la sua contraria A, in quanto una proposizione, e in ciò consiste il principio del t. escluso, o è vera, o è falsa. Il principio del t. escluso è stato confutato dalla logica matematica degli anni '30: v. Gödel, teoremadi. ...
Leggi Tutto
numerativo
numerativo [agg. Der. di numerare (→ numeratore)] [FAF] In un linguaggio, le parole (dette anche, assolut., numerali s.m.) indicanti entità numeriche: v. Gödel, teoremadi: III 55 c; comprendono [...] una azione (per es., termini comp. dei derivati dei lat. bis "due volte", centies "cento volte"). ◆ [ALG] Geometria n.: ramo della geometria algebrica che si propone di determinare a priori, nel caso che esso sia finito, il numero delle soluzioni ...
Leggi Tutto
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] si possono ottenere dalle funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione e induzione: v. complessità di calcolo: I 663 b. ◆ [ALG] Insiemi r.: v. Gödel, teoremadi: III 57 b. ◆ [INF] Paradigma r.: v. algoritmi ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] ., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono prese in esame: v. Gödel, teoremadi: III 55 c. ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
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à...