verita
verità s. f. [lat. vērĭtas -atis, der. di verus «vero»]. – 1. Carattere di ciò che è vero, conformità o coerenza a principî dati o a una realtà obiettiva: dubitare della v. di una notizia; non [...] per fede (non oggetto quindi di dimostrazione razionale): tale posizione ha reso storicamente possibile, dal sec. 13° fino a tutto il Rinascimento, la contemporanea accettazione delleteorie di Aristotele e delle verità rivelate. b. In matematica e ...
Leggi Tutto
dialettica
dialèttica s. f. [dal gr. διαλεκτική (τέχνη), lat. dialectĭca o dialectĭce (v. dialettico)]. – 1. Arte del dialogare, del discutere, come tecnica e abilità di presentare gli argomenti adatti [...] antico, è in genere l’arte dialogica, come metodo di dimostrazione mediante brevi domande e risposte (adoperato da Socrate in contrapp , d. trascendentale o «logica dell’apparenza» è la teoria degli errori naturali dello spirito umano, che si illude ...
Leggi Tutto
rumore
rumóre (ant. o letter. romóre) s. m. [lat. rumor -ōris]. – 1. a. Qualsiasi perturbazione sonora che, emergendo dal silenzio (o anche da altri suoni), dia luogo a una sensazione acustica: il mondo [...] gli era, E Polifemo farne gran romori (Petrarca); tumulto, rivolta, dimostrazione sediziosa: quando il romore contro al re si levò nella terra misura sintetica della rumorosità dell’apparecchio. d. In teoria e tecnica delle comunicazioni, qualsiasi ...
Leggi Tutto
metodo
mètodo s. m. [dal lat. methŏdus f., gr. μέϑοδος f., «ricerca, indagine, investigazione», e anche «il modo della ricerca», comp. di μετα- che include qui l’idea del perseguire, del tener dietro, [...] procede da assiomi e definizioni alla costruzione e dimostrazione di teoremi, cui possono far seguito varî corollarî; della velocità della luce, ecc.). Esistono inoltre metodi applicabili a una classe definita di questioni: per es., nella teoria dei ...
Leggi Tutto
evemerismo
s. m. – La dottrina razionalistica dello scrittore greco Evemero (4°-3° sec. a.C.), secondo la quale gli dèi non sarebbero altro che potenti sovrani o eroi del passato, che erano riusciti, [...] ; combattuta dagli antichi greci e poco diffusa nel mondo romano, la dottrina fu accolta invece dagli apologisti cristiani come dimostrazionedella falsità del politeismo, e ha tuttora non poca fortuna come teoria esplicativa nella moderna storia ...
Leggi Tutto
concorso2
concórso2 s. m. [dal lat. concursus -us, der. di concurrĕre «concorrere»]. – 1. a. Il concorrere di gente a uno stesso luogo, affluenza: ci fu un gran c. di popolo; il convegno s’è inaugurato [...] o elementi: c. di cause; c. di fenomeni; provò la sua teoria col c. di molti argomenti. In diritto, c. di azioni, l’ solo comune, ecc.; c. per titoli, quando la dimostrazionedella capacità del candidato si basa su elementi precostituiti (certificati ...
Leggi Tutto
ragione
ragióne s. f. [lat. ratio -onis (der. di ratus, part. pass. di reri «fissare, stabilire»), col sign. originario di «conto, conteggio»]. – 1. a. La facoltà di pensare, mettendo in rapporto i concetti [...] della r.; smarrire, perdere, riacquistare l’uso della r., o, semplicem., la r.; essere nell’età della r., avere superato l’infanzia (anche ironicam., a chi dimostra , nella teoria e nella prassi politica per designare l’interesse dello stato ( ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della matematica. In quanto tale, ha avuto sin...
dimostrazione, teoria della
dimostrazione, teoria della branca della logica fondata da D. Hilbert che ha come oggetto di studio le capacità dimostrative dei sistemi formali. Caduto, a causa delle scoperta di K. Gödel, l’originario obiettivo...