bewijs uit het ongerijmde.
(Latijn, letterlijk 'het herleiden tot het absurde') bewijs uit het ongerijmde.
Voorbeelden:
Een bewijs uit het ongerijmde, of met de Latijnse term reductio ad absurdum (herleiding tot het absurde), soms ook indirect bewijs genoemd, is een bewijsmethode in de logica en de wiskunde [...]. 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. In de klassieke logica is dit voldoende om te bewijzen dat de stelling waar is.
http://nl.wikipedia.org/wiki/Bewijs_uit_het_ongerijmde, 24 januari 2012
Reductio ad absurdum. Bewijs uit het ongerijmde of ook wel contradictie genoemd. Dit lijkt een drogreden, maar is het in feite niet. Met dit bewijs wordt bewezen dat een stelling niet waar is, door aan te tonen dat men een absurde conclusie kan trekken als het wel waar zou zijn. De stelling van de één wordt zodoende door de ander weerlegd met een absurdisme.
http://www.wimvanteinde.nl/index.php?option=com_content&task=view&id=560&Itemid=37
Homeopaten hebben er niettemin het volste vertrouwen in dat de wetenschappers in de toekomst de werking van het homeopathisch geheugen zullen achterhalen. En ook dat is opmerkelijk, want de geheugentheorie is niet alleen vanuit natuurkundig perspectief weinig plausibel. Ze getuigt namelijk van een logica die zo bizar is dat ze om een reductio ad absurdum smeekt.
http://www.skepp.be/thema/homeopathie_geloof_of_wetenschap.html
Er is zeker evidence voor theorieën over de waarneembare wereld, en er zijn zelfs proofs over genoeg natuurkundige zaken, buiten dat kan je ook dingen over de waarneembare wereld zonder waarnemingen bewijzen via reductiones ad absurdum.
http://forum.ellegirl.nl/showthread.php?567222-Jaloers-op-m-n-borsten/page15, 19 september 2009
Overeenkomstig zijn methodologische classicisme geeft Huygens de voorkeur aan reductiones ad absurdum en decompositieargumenten (beide vormen een truc om de door Huygens gevreesde limietargumenten te vermijden).
https://biblio.ugent.be/input?func=downloadFile&fileOId=491555, 2006
Contradictie wordt ook wel genoemd 'reductio ad absurdum'. Voor 'als-dan' of andere theorema's. Neem aan dat theorema onwaar is - laat zien dat dit tot onware consequenties [...] leidt - dus is theorema waar.
http://willem.engen.nl/filosofie/Wiskundige_bewijsmethoden.html
