assiòma

Dizionario delle Scienze Fisiche (1996)

assioma


assiòma [Der. del lat. axíoma -atis, dal gr. axíoma -atos, da áxios "degno"] [ALG] [FAF] Principio certo per immediata evidenza e costituente la base per l'ulteriore ricerca. Nella matematica, è in genere sinon. di postulato, da cui tuttavia si distingue, spec. nella logica matematica, quando gli a. di un sistema formale indicano le proprietà che costituiscono una definizione implicita degli enti e delle relazioni cui si riferiscono, a prescindere quindi dalla loro evidenza, dal momento che non hanno la pretesa di essere verità assolutamente valide. ◆ [MCC] A. A (ingl. Axiom-A): a. che qualifica una classe di sistemi dinamici: v. sistemi dinamici: V 296 d. ◆ [FAF] A. logici e specifici: v. logica: III 486 b. ◆ [FAF] Schemi d'a.: v. logica: III 484 a.

Vedi anche
lògica matemàtica 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 essere considerate formalmente come oggetti grafici combinabili tra loro (sintassi) o in relazione ... dimostrazione filosofia Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato. ● La nozione di dimostrazione venne introdotta da Aristotele che la definì come quella forma speciale di sillogismo che deduce una conclusione da principi primi e veri, distinta ... metamatematica 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 metamatematica, o teoria della dimostrazione (Beweistheorie), è la scienza, creata da D. Hilbert intorno al 1919, avente per oggetto intere teorie ... David Hilbert Hilbert ‹hìlbërt›, David. - Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con A. Hurwitz, già professore, e con H. Minkowski, suo condiscepolo. Dal 1895 al ...
Categorie
Altri risultati per assiòma
  • assioma
    Enciclopedia della Matematica (2013)
    assioma proposizione che si assume come vera e a partire dalla quale, tramite una catena di deduzioni, si dimostrano altre proposizioni dette teoremi. Mentre fino al xviii secolo gli assiomi erano considerati verità matematiche evidenti per sé stesse, che si accettavano senza dimostrazione, in seguito ...
  • assioma
    Dizionario di filosofia (2009)
    Dal lat. tardo axioma, gr. ἀξίωµα der. di ἄξιος «degno di valore». In generale designa una proposizione il cui ruolo conoscitivo è quello di un principio evidente di per sé e mediante il quale possono essere derivate (cioè fondate e giustificate) altre proposizioni. L’impiego del termine nella letteratura ...
  • assioma
    Enciclopedia on line
    Filosofia Principio certo per immediata evidenza e costituente la base per l’ulteriore ricerca. Kant, nella Critica della ragion pura, chiama a. dell’intuizione alcuni giudizi a priori, di evidenza immediata, che risultano dall’intuizione pura del tempo e dello spazio. Nell’ambito della critica dei ...
  • ASSIOMA
    Enciclopedia Italiana (1930)
    Termine usato dai pitagorici per designare i principî delle matematiche o in genere delle scienze dimostrative. "Proposizioni immediate che occorre necessariamente conoscere per apprendere qualche cosa" li definisce Aristotele in Anal. Post., I, 2 (9), e soggiunge: "ché vi sono proposizioni di tal natura ...
Vocabolario
assiòma
assioma assiòma s. m. [dal lat. tardo axioma -ătis, gr. ἀξίωμα -ατος der. di ἄξιος «degno»] (pl. -i). – Nel linguaggio com., verità o principio che si ammette senza discussione, evidente di per sé. In filosofia, principio certo per immediata...
rimpiazzaménto
rimpiazzamento rimpiazzaménto s. m. [der. di rimpiazzare]. – Forma ormai non com. per rimpiazzo, ma specifica nelle locuz. della logica matematica assioma di r., assioma introdotto da A. A. Fraenkel, intorno al 1922, per eliminare alcuni...