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
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] trasformando il suo linguaggio in un linguaggio formale ed esplicitando gli assiomi e le regole logiche per costituire le dimostrazioni, il programma diHilbert richiedeva inevitabilmente uno studio accurato dei linguaggi formali e la formalizzazione ...
Leggi Tutto
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] il calcolo, fissando un insieme di postulati costituito da assiomi e regole di inferenza; applicando queste regole si possono della geometria condotte nei primi anni del Novecento da David Hilbert, Giuseppe Peano e Mario Pieri, per limitarci ai nomi ...
Leggi Tutto
Uno dei rami fondamentali delle scienze matematiche: in senso lato l’a. studia le operazioni, definite in un insieme, che godono di proprietà analoghe a quelle delle ordinarie operazioni dell’aritmetica. [...] Hilbert, E. Steinitz, E. Noether, J.H.M. Wedderburn ecc.) hanno continuato a influenzare tutta la matematica moderna, nel moltiplicarsi di , 1853; H. Hankel, 1867). Dagli assiomi (I-V) discende l’esistenza di uno zero in A (elemento neutro rispetto ...
Leggi Tutto
NUMERO (lat. numerus; gr. άειϑμος)
Federigo ENRIQUES
Giacomo DEVOTO
Riccardo BACHI
Nicola Turchi
Matematica. - Nell'uso comune i numeri vengono adoperati:1. per indicare il posto occupato da un oggetto [...] dimostrazione logica della compatibilità dei suoi assiomi (D. Hilbert).
Per un aspetto, almeno, sacre, i 7 bracci del candelabro, le 7 unzioni d'olio, le 7 coppie di animali puri che entrano nell'arca, ecc. Nella mitologia indù abbiamo i 7 oceani ...
Leggi Tutto
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] lavori di Frege e, ancor più, diHilbert. di definire i concetti primitivi di sistema di Peano mediante nozioni di logica pura e della moderna teoria degli insiemi, quanto di ricondurre deduttivamente tutti gli assiomi peaniani a un'esigua classe di ...
Leggi Tutto
QUANTISTICA, MECCANICA (XXVIII, p. 592; App. II, 11, p. 634; III, 11, p. 531)
Piero Caldirola
Sui limiti di validità dell'attuale meccanica quantistica. - Una delle direzioni di maggior sviluppo della [...] elementari di elevata energia ogni tentativo di sviluppare una struttura formale capace di conciliare gli assiomi della {ϕn} è un qualunque sistema autonormale completo nello spazio diHilbert. La traccia dell'operatore Ô è cioè data dalla somma ...
Leggi Tutto
INFORMATICA
Paolo Ercoli
Alberto Marini
Con il termine informatica, neologismo di origine francese, s'indica attualmente una nuova ed emergente disciplina, la quale si occupa di particolari rappresentazioni [...] d'inferenza che consentono di derivare dagli assiomi le stringhe costituenti i teoremi del sistema stesso; la loro importanza è dovuta alla tendenza risalente alla scuola formalistica di D. Hilbertdi costruire su di essi ogni teoria matematica ...
Leggi Tutto
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] negativa a uno dei problemi posti da D. Hilbert nel congresso di Parigi nel 1900. Sulla struttura degli anelli (non (piani di traslazione), sono state costruite numerose nuove classi di quasicorpi, cioè di anelli nei quali valgono gli assiomi dei ...
Leggi Tutto
assiomatica
assiomatica o teoria del metodo assiomatico o del metodo deduttivo, l’insieme delle questioni concernenti la metodologia delle teorie definite attraverso assiomi. Si è soliti distinguere [...] I fondamenti della geometria (1899) di D. Hilbert, si ebbe il primo compiuto esempio di applicazione della metodologia assiomatica formale. Secondo questo approccio, la funzione degli assiomi non è quella di stabilire asserzioni che fanno riferimento ...
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...