spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] . S. topologico costruito mediante opportuni assiomidi separazione. La corrispondente topologia si chiama topologia di Hausdorff.
S. diHilbert. È caso particolare di uno s. di Banach nel quale la norma di un elemento si può derivare dal prodotto ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] e la meta-matematica originata dalla numerazione di Gödel. Il progetto di ricerca diHilbert, e con esso la speranza di costringere la matematica nella camicia di forza del formalismo, fallì. Sistemi diassiomi sufficientemente ricchi da includere l ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] di conglobare tra gli assiomi logici. Ogni sistema formale di questo genere si dice una t. del primo ordine con identità. Tali sono, per es., le t. dei gruppi, quella degli anelli ecc.
Le dimostrazioni effettuate con il calcolo logico diHilbert ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
L'elettronica
Nel secondo decennio del XX sec., il termine 'elettronico' [...] sia un 'sì' sia un 'no' alla domanda se un'istruzione matematica fosse deducibile dagli assiomi).
Nel risolvere il misterioso problema diHilbert verso la metà degli anni Trenta del XX sec., Turing aveva descritto una macchina immaginaria, oggi ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] .N. Whitehead, di J. Łukasiewicz, di D. Hilbert e W. Ackermann, di D. Hilbert e P. Bernays.
Teoria matematica che si costruisce astrattamente fissando alcuni concetti primitivi, e alcune proposizioni a essi inerenti (s. diassiomi o di postulati). I ...
Leggi Tutto
Matematica
Ana Millán Gasca
(XXII, p. 257; App. II, ii, p. 276; III, ii, p. 44; IV, ii, p. 414)
Nella voce matematica pubblicata nel vol. XXII della Enciclopedia Italiana, l'etimologia greca della parola [...] dell'Istituto di matematica dell'Università di Gottinga, sotto la guida di F. Klein e di D. Hilbert, è di completa indipendenza riguardo al 'concreto', rivendicando la possibilità di sviluppare nozioni puramente astratte rette da sistemi diassiomi ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...