Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] campo di ricerche, la teoria della d., elaborata da D. Hilbert e K. Gödel, che studia le capacità dimostrative dei sistemi formali, teoria che, dopo il fallimento del suo originale obiettivo, quello cioè di una fondazione razionale definitiva ...
Leggi Tutto
dimostrazione (demonstrazione)
Bruna Cordati Martinelli
Vocabolo caratteristico del linguaggio prosastico; lo si trova infatti una sola volta nella Commedia, mentre è abbastanza frequente nel Convivio. [...] III XV 2, IV II 17, XVIII 4. In II XIII 29 l'edizione Busnelli-Vandelli e quella del '21 hanno per le sue [dimostrazioni], il testo Simonelli reca per le sue [ancelle].
Nella Commedia il termine è presente in Pd XXIV 96, sempre nel senso tecnico già ...
Leggi Tutto
. Consiste in uno spiegamento di forze navali, effettuato per ordine di uno o più stati, in segno di avvertimento o di minaccia, nelle acque territoriali di un altro stato, con il quale si trova in pendenza [...] con una dichiarazione di guerra. In mancanza di norme giuridiche che disciplinino la rappresaglia in genere e la dimostrazione navale in specie, nello svolgimento dell'azione militare si applicano le norme internazionali di diritto bellico.
I casi ...
Leggi Tutto
induzione, dimostrazione per
induzione, dimostrazione per particolare metodo di → dimostrazione utilizzato per dimostrare proprietà che dipendono da un numero naturale. Una tale dimostrazione fa uso [...] del principio di induzione matematica (→ induzione matematica, principio di) ...
Leggi Tutto
assurdo, dimostrazione per
Tipo di argomentazione (detta anche dimostrazione indiretta) per cui, presupposta vera la tesi opposta a quella che si vuol dimostrare, si fa vedere come ne derivino conseguenze [...] e la sua negazione, posta a base dell’argomentazione, viga una rigorosa antitesi di contraddittorietà, escludente ogni terzo termine. La dimostrazione per a. è d’uso frequente in matematica in connessione a problemi che vanno al di là dell’intuizione ...
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 [...] nel prefisso; nel nostro esempio AHsarà
[2] ∃x, ∃z R(x,f(x),z,g(x,z)).
Il teorema di Herbrand ci dice che A è dimostrabile in LK se e solo se esistono un n≥1 e degli esempi A1,….,An della matrice di AH per cui A1 … Anè tautologia. Il teorema di ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...