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
. 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
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] . Collocandosi in una posizione intermedia fra l'intuizionismo e il formalismo hilbertiano, Weyl riconosce un ruolo essenziale al metodo assiomatico, ma ritiene che gli assiomidi una teoria siano giudizi che "vengono riconosciuti come veri per ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] pubblicazioni fino al 1931. Lo scopo ultimo diHilbert era quello di giustificare l'uso dei concetti e dei metodi cantoriani nella matematica fornendo una dimostrazione della coerenza di un sistema diassiomi per la teoria degli insiemi, secondo lo ...
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: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] la teoria della misura, la teoria degli spazi diHilbert, l'integrale di Radon e la geometria affine. Dopo il 1974 Il sistema appare molto debole per via della mancanza diassiomidi esistenza per insiemi e funzioni.
Nel 1929 Glivenko, in ...
Leggi Tutto
aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] infiniti ‘assiomidi induzione’ di cui sopra con un numero finito di altri assiomi ottenendo una teoria con gli stessi identici teoremi. Un’importante conseguenza di questo fatto è la completezza della teoria nel senso diHilbert-Gödel, dimostrata ...
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
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] teoria della verità per L’ dai cui assiomi è deducibile per ciascun enunciato E di L un’equivalenza metalinguistica ‘E è logica.
Mentre la teoria della dimostrazione fondata da D. Hilbert studia le dimostrazioni come oggetti formali senza badare al ...
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...