Dimostrazione matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Annullate le modifiche di 130.25.218.159 (discussione), riportata alla versione precedente di Veneziano |
m Bot: Aggiungo template {{interprogetto}} (FAQ) |
||
Riga 11:
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<ref>Un esempio fra molti è costituito, in [[analisi matematica]], dalla dimostrazione dell'[[numero irrazionale#Irrazionalità della radice quadrata di 2|irrazionalità della radice quadrata di due]].</ref>, non è però considerato valido dalla scuola intuizionista fondata da [[Luitzen Brouwer|Brouwer]].
== Tecniche dimostrative ==
Riga 35:
== Note ==
<references/>
== Altri progetti ==
{{interprogetto}}
{{Portale|matematica}}
[[Categoria:Dimostrazioni matematiche| ]]
[[Categoria:Logica matematica]]
{{Link VdQ|sk}}
{{Link AdQ|cs}}
{{Link AdQ|eo}}
| |||