Dimostrazione matematica
Una dimostrazione matematica è un processo di deduzione che, partendo da premesse assunte come valide (ipotesi) o da proposizioni dimostrate in virtù di queste premesse, determina la necessaria validità di una nuova proposizione in virtù della (sola) correttezza formale del ragionamento.
Descrizione
[modifica | modifica wikitesto]Il termine "dimostrare" deriva dal latino demonstrare, composto dalla radice de- (di valore intensivo) e da monstrare ("mostrare", "far vedere"), da cui il significato di mostrare a tutti quella che viene considerata una verità. In matematica, però, il concetto viene appunto specializzato, e una dimostrazione ha una formulazione molto precisa: per dimostrare un'affermazione (la tesi), occorre partire da una o più affermazioni considerate vere (le ipotesi), usando un insieme ben definito di derivazioni logiche formali. In pratica, la catena di passaggi formali viene spesso in larga parte sottintesa, in modo da ridurre l'estensione della dimostrazione scritta ed evitare di appesantirla con puntualizzazioni considerate evidenti e immediate[1]; tuttavia, in linea teorica, questo processo deduttivo può sempre essere applicato nelle dimostrazioni di natura matematica.
La dimostrazione matematica è generalmente deduttiva; da ipotesi generali si giunge a una tesi particolare. Esiste anche la dimostrazione induttiva; a differenza dell'uso comune del termine, che fa giungere ad una verità generale partendo da elementi particolari, la dimostrazione matematica induttiva deve essere presa come assioma, ad esempio nella formulazione di Peano.
Un'altra caratterizzazione delle dimostrazioni matematiche distingue una dimostrazione diretta, nella quale viene effettivamente dimostrata la tesi, dalla dimostrazione indiretta nella quale la tesi si suppone vera e si deve giungere alla ipotesi tramite passaggi logici o per assurdo, nella quale si suppone che la tesi non sia vera e si giunge a una contraddizione. Questo secondo tipo di dimostrazione, che si appoggia al principio del terzo escluso e sul quale si basano un gran numero di teoremi matematici[2], non è però considerato valido dalla scuola intuizionista fondata da Brouwer.
Tecniche dimostrative
[modifica | modifica wikitesto]- Dimostrazione per assurdo
- Induzione matematica
- Induzione transfinita
- Discesa infinita
- Dimostrazione probabilistica
- Forzatura
Alcune dimostrazioni famose
[modifica | modifica wikitesto]- Argomento diagonale di Cantor
- Teorema dell'infinità dei numeri primi
- Indipendenza dell'ipotesi del continuo
- Ultimo teorema di Fermat
- Congettura di Poincaré
- Teoremi di incompletezza di Gödel
- Teorema di Church-Turing
- Dimostrazione della irrazionalità di e
- Dimostrazione della trascendenza di e
- Dimostrazione della irrazionalità di π
- Indipendenza della teoria assiomatica degli insiemi
Note
[modifica | modifica wikitesto]- ^ Questo può valere specialmente nello svolgimento di operazioni algebriche. Ad esempio, nella risoluzione di un'equazione polinomiale di secondo grado, si usa omettere gli algoritmi adoperati per trovare le radici del polinomio, così come la loro dimostrazione.
- ^ Un esempio fra molti è costituito, in analisi matematica, dalla dimostrazione dell'irrazionalità della radice quadrata di due.
Voci correlate
[modifica | modifica wikitesto]Altri progetti
[modifica | modifica wikitesto]
Wikiquote contiene citazioni sulla dimostrazione matematica
Wikimedia Commons contiene immagini o altri file sulla dimostrazione matematica
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) proof theory, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
- (EN) Eric W. Weisstein, Dimostrazione matematica, su MathWorld, Wolfram Research.
