Matematični dokaz: Razlika med redakcijama
Izbrisana vsebina Dodana vsebina
ods. Link FA/GA |
m m/dp/pnp |
||
Vrstica 38:
=== Teorija grafov ===
* dokaz [[izrek petih barv|izreka petih barv]] ([[Percy John Heawood]]
* dokaz [[izrek štirih barv|izreka štirih barv]] ([[Kenneth Appel]], [[Wolfgang Haken]]
=== Teorija množic ===
* dokaz [[Gödlova izreka o nepopolnosti|izreka o nepopolnosti]] ([[Kurt Gödel]]
=== Teorija števil ===
* dokaz o številu [[praštevilo|praštevil]], ([[Evklid]]
* dokaz [[Fermatov mali izrek|Fermatovega malega izreka]], ([[Gottfried Wilhelm Leibniz]]
* dokaz [[Lagrangeev izrek štirih kvadratov|izreka štirih kvadratov]] ([[Bachetova domneva|Bachetove domneve]]) ([[Joseph-Louis de Lagrange]]
* dokaz [[transcendentno število|transcendentnosti]] [[Liouvillovo število|Liouvillovih števil]] ([[Joseph Liouville]]
* [[dokaz Bertrandove domneve|dokaz]] [[Bertrandova domneva|Bertrandove domneve]] (izrek Čebišova), ([[Pafnuti Lvovič Čebišov]]
* dokaz [[transcendentno število|transcendentnosti]] števila [[
* dokaz o številu [[transcendentno število|transcendentnih števil]], ([[Georg Ferdinand Cantor]]
* [[Cantorjev diagonalni dokaz]], ([[Georg Ferdinand Cantor]]
* dokaz [[transcendentno število|transcendentnosti]] števila [[pi|''π'']], ([[Ferdinand von Lindemann]]
* dokaz [[praštevilski izrek|praštevilskega izreka]] ([[Charles-Jean de la Vallée Poussin]], [[Jacques Salomon Hadamard]]
* dokaz, da [[pi|''π'']] ni [[Liouvillovo število]] ([[Kurt Mahler]]
* dokaz [[Fermatov veliki izrek|Fermatovega velikega izreka]] ([[Andrew Wiles]]
* dokaz [[Tanijama–Šimurov izrek|Tanijama-Šimurove domneve]] (Breuil, Conrad, Diamond in [[Richard Taylor (matematik)|Richard Taylor]]
* dokaz [[Catalanova domneva|Catalanove domneve]] ([[Preda Mihăilescu]]
== Glej tudi ==
|