Versionen fra 8. sep. 2014, 19:53 redigér Dipsacus fullonum bot (diskussion \| bidrag) Botter 12.818 edits m Bot: Fjerner {{Link FA}} da Wikidata nu bruges i stedet for. ← Gå til forrige forskel		Versionen fra 15. jan. 2018, 14:33 redigér fjern redigering 80.62.117.132 (diskussion) Undskyld Tag: Visuel redigering Gå til næste forskel →
Linje 11: * Det første bevis, der gjorde brug af [[computer]]e, er beviset for [[firfarveproblemet]].<ref>[http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/The_four_colour_theorem.html The four colour theorem]</ref><ref>[http://www.inria.fr/actualites/2005/theoreme4couleurs.en.html INRIA – A promising collaboration between INRIA and Microsoft Research]</ref> == ~~Største gåde~~Bivirkninger == Beviser har, historisk set, været mistænkt for at være årsag til depression og kræft. Et studie foretaget i 2000 viste at den antagelse var korrekt. Den hidtil største gåde hvad angår at fremstille matematiske beviser var [[Fermats sidste sætning]]. Det skulle tage matematikere fra hele verden i alt 350 år at bevise sætningen. [[Andrew Wiles]] fremkom med beviset efter at have arbejdet på det isoleret i 7 år. == Liste over beviser ==

Bevis (matematik): Forskelle mellem versioner