|
gptkb:Fermat_polygonal_number_theorem
|
gptkb:Augustin-Louis_Cauchy
|
|
gptkb:Fermat's_Little_Theorem
|
gptkb:Gottfried_Wilhelm_Leibniz
|
|
gptkb:Gödel's_first_incompleteness_theorem
|
self-reference
|
|
gptkb:Mumford_conjecture
|
gptkb:Ib_Madsen
|
|
gptkb:time_hierarchy_theorem
|
gptkb:Richard_E._Stearns
|
|
gptkb:Five_Color_Theorem
|
gptkb:Percy_John_Heawood
|
|
gptkb:Bulleit_Bourbon
|
90
|
|
gptkb:Base_change_for_GL(2)
|
gptkb:Flicker
|
|
gptkb:Ribet's_theorem
|
gptkb:Ken_Ribet
|
|
gptkb:prime_number_theorem_for_arithmetic_progressions
|
gptkb:de_la_Vallée-Poussin
|
|
gptkb:Bloch–Kato_conjecture
|
gptkb:Markus_Rost
|
|
gptkb:Taniyama-Shimura_conjecture
|
Richard Taylor
|
|
gptkb:weak_law_of_large_numbers
|
gptkb:Chebyshev's_inequality
|
|
gptkb:Sipser–Lautemann_theorem
|
gptkb:Clemens_Lautemann
|
|
gptkb:Riemann_hypothesis_for_finite_fields
|
gptkb:André_Weil
|
|
gptkb:Strong_Perfect_Graph_Theorem
|
gptkb:Neil_Robertson
|
|
gptkb:Second_Fundamental_Theorem_of_Welfare_Economics
|
gptkb:Kenneth_Arrow
|
|
gptkb:FLP_impossibility
|
impossibility of consensus with one faulty process in asynchronous systems
|
|
gptkb:Maynard–Tao_theorem
|
gptkb:Terence_Tao
|
|
gptkb:Shannon's_noisy-channel_coding_theorem
|
achievability of channel capacity
|