Portaal:Latijn/Rechtsmidden
Uitgelicht bewerken
Reductio ad absurdum, Latijn, letterlijk: reduceren tot in het absurde, gangbaar: bewijs uit het ongerijmde, ook indirect bewijs genoemd, is een bewijsmethode in de logica en de wiskunde. Deze bewijsmethode wordt bijvoorbeeld toegepast wanneer een direct bewijs niet mogelijk is. De geldigheid van de methode berust op het axioma dat een stelling alleen waar of onwaar kan zijn: tertium non datur, dat wil zeggen: er is geen derde mogelijkheid. De werkwijze is als volgt: men neemt aan dat de stelling niet waar is, en laat zien dat die aanname tot een tegenspraak of een onware bewering leidt. Dit is in de klassieke logica voldoende om te bewijzen dat de stelling waar is, maar in de wiskundefilosofische school van het intuïtionisme wordt een dergelijk bewijs niet geaccepteerd.
Reductio ad absurdum wordt vaak gebruikt om te bewijzen dat er geen getallen of andere objecten met een bepaalde eigenschap bestaan: men neemt aan dat een dergelijk object wel bestaat en leidt daaruit een onwaarheid af.
- Voorbeelden
- Bewijs, dat er oneindig veel priemgetallen zijn
- Diagonaalbewijs van Cantor
- Bewijs dat wortel 2 irrationaal is
Woord van de maand bewerken
| woord | aanvullend gegeven | vertaling |
|---|---|---|
| opus | operis onz. |
werk |
Ga terug naar Portaal:Latijn