Bewijzen

Het domino-principe
Het domino-principe (volledige inductie) is een krachtige techniek waarmee je allerlei wiskunditge uitspraken kunt bewijzen.
 
Metamath Home Page
Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. This site has a collection of web pages generated from those proofs and lets you see mathematics developed formally from first principles with absolute rigor. Hopefully it will amuse you, amaze you, and possibly enlighten you in its own special way.
 
Overzicht van verschillende soorten bewijzen
Veel mensen denken dat wiskunde bedrijven in feite slechts neerkomt op een spel met ingewikkelde definities en stellingen en het bewijzen van die stellingen. De vraag is of dat wel zo is... maar wat zijn eigenlijk definities en wat zijn stellingen?
 

©2001-2010 WisFaq