ipotesi di Riemann
Matteo Longo
Congettura sulla distribuzione degli zeri nella funzione zeta di Riemann. La funzione zeta di Riemann ζ(s) è la serie L di Dirichlet associata al carattere di Dirichlet [...] per la serie L(χ,s) associata a opportuni caratteri di Dirichlet χ modulo m è legata al calcolo dei numeri primi minori di un dato numero reale positivo x e che siano congruenti a zero modulo m.
→ Fondamentidellamatematica e teoria algoritmica ...
Leggi Tutto
numero
Per numeri (ἀριϑμόι) i Greci intendono esclusivamente i n. naturali (interi positivi), ossia i n. che rispondono alla domanda: «quanti?». Per i pitagorici i n. non possiedono un’esistenza fuori [...] fra gli oggetti che cadono sotto F e quelli che cadono sotto G. Nell’ambito della riflessione filosofica sui fondamentidellamatematica, il n. ha ricevuto caratterizzazioni ulteriori; particolarmente rilevante la caratterizzazione del n. come segno ...
Leggi Tutto
Neumann-Bernays-Godel, teoria di
Neumann-Bernays-Gödel, teoria di o teoria NBG, sistema di assiomi per la teoria degli insiemi che si affianca a un’altra sistemazione assiomatica, la teoria di → Zermelo-Fraenkel [...] autoreferenzialità, quale per esempio l’antinomia di Russell, che diede origine alla crisi dei fondamentidellamatematica all’inizio del Novecento (→ fondamenti, crisi dei). Formalmente, la teoria NBG adotta gli stessi termini primitivi e le stesse ...
Leggi Tutto
coerenza
coerenza in logica, termine (sinonimo di non contraddittorietà e di consistenza), che indica la proprietà di un sistema assiomatico in cui non è possibile derivare contraddizioni: un sistema [...] è coerente, la sua coerenza non è dimostrabile nell’ambito della teoria stessa; questo risultato è di centrale importanza nella cosiddetta crisi dei fondamentidellamatematica perché ha storicamente cancellato la possibilità di basare la validità ...
Leggi Tutto
bit
Mauro Cappelli
Contrazione della locuzione inglese binary digit, rappresenta l’unità di misura del contenuto di informazione di un dato o di un messaggio. Il termine bit viene impiegato con significati [...] modo la teoria dell’informazione si arricchisce delle proprietà della meccanica quantistica con la possibilità di sviluppare applicazioni computazionali molto innovative, tuttora in fase di studio.
→ Fondamentidellamatematica e teoria algoritmica ...
Leggi Tutto
Ramsey, Frank Plumpton
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Insegnò nell’univ. di Cambridge. Fondamentale la sua analisi critica dei Principia mathematica di Russell e Whitehead che [...] sono stati raccolti in The foundations of mathemat-ics and other logical essays (1931; trad. it. I fondamentidellamatematica e altri scritti di logica); Foundations: essays in philosophy, logic, mathematics and economics (1978), riedizione con ...
Leggi Tutto
Bernays
Bernays Paul Isaac (Londra 1888 - Zurigo 1977) logico e matematico svizzero. Diede importanti contributi ai fondamenti logici dellamatematica e alla teoria assiomatica degli insiemi. Vittima [...] dopo la seconda guerra mondiale, divenne professore. Fu coautore con Hilbert dei monumentali Grundlagen der Matematik (Fondamentidellamatematica, 1934-39). Tra le sue opere più importanti è la Axiomatic set theory (Teoria assiomatica degli insiemi ...
Leggi Tutto
Bolzano
Bolzano Bernhard (Praga 1781 - 1848) matematico e filosofo boemo. Fu sacerdote e insegnò scienza della religione all’università di Praga, ma il suo nome è legato agli studi sui fondamentidella [...] Bolzano fu uno dei primi a cogliere l’importanza dell’applicazione dello strumento della dimostrazione in ambiti fondamentali dellamatematica usualmente trattati in termini intuitivi (→ Bolzano-Weierstrass, teorema di). Nell’opera Wissenschaftlehre ...
Leggi Tutto
Schroder
Schröder Ernst (Mannheim, Baden-Württemberg, 1841 - Karlsruhe, Baden-Württemberg, 1902) logico e matematico tedesco. Le sue ricerche si orientarono verso la teoria delle equazioni a variabili [...] ma i suoi interessi e contributi preminenti si collocano nel campo dei fondamentidellamatematica (dove fu tra i primi a riconoscere il valore dell’opera di G. Cantor) e della logica, di cui pose in secondo piano le motivazioni filosofiche rispetto ...
Leggi Tutto
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] e le relative proprietà strutturali. Per l’indirizzo ideato da Hilbert (➔ formalismo), il fine ultimo della m. è di chiarire i fondamentidellamatematica, in modo da metterla al riparo dai paradossi; il suo metodo specifico consiste, innanzitutto ...
Leggi Tutto
matematica
matemàtica (ant. e raro mattemàtica) s. f. [dal lat. mathematĭca (sottint. ars), gr. μαϑηματική (sottint. τέχνη); v. matematico]. – 1. a. Originariamente, la scienza razionale dei numeri (aritmetica, intesa come scienza della quantità...
fondamento
fondaménto s. m. [dal lat. fundamentum, der. di fundare «fondare»] (pl. -i, e in senso proprio più spesso le fondaménta, femm.). – 1. Ciascuna delle strutture murarie su cui si costruisce e su cui poggia un edificio; è termine oggi...