Alternative names (4)
statedAs • statedBy • statedFor • statedThatRandom triples
| Subject | Object |
|---|---|
| gptkb:Green–Tao_theorem | gptkb:Ben_Green |
| gptkb:Large_Numbers_Hypothesis | gptkb:Nature_(journal) |
| gptkb:recursion_theorem | gptkb:Kleene,_1938 |
| gptkb:Euler's_equation_(complex_analysis) | e^{ix} = \cos x + i \sin x |
| gptkb:Littlewood's_three_principles | Littlewood's book 'Lectures on the Theory of Functions' |
| gptkb:the_Zeroth_Law_of_Robotics | A robot may not harm humanity, or, by inaction, allow humanity to come to harm. |
| gptkb:axiom_of_pairing | gptkb:Zermelo_set_theory |
| gptkb:Lindelöf_hypothesis | for any ε > 0, ζ(1/2 + it) = O(t^ε) as t → ∞ |
| gptkb:Erdős–Mordell_inequality | 1935 |
| gptkb:Yau's_conjecture | 1982 |
| gptkb:Zero_Law_of_Robotics | A robot may not harm humanity, or, by inaction, allow humanity to come to harm. |
| gptkb:Jensen's_inequality | f(E[X]) ≤ E[f(X)] for convex f |
| gptkb:Rice's_law | gptkb:Rice's_1953_paper |
| gptkb:Cauchy's_mean_value_theorem | Real analysis |
| gptkb:Zariski–Grothendieck_purity_theorem | gptkb:SGA_2 |
| gptkb:Nilpotence_theorem | gptkb:Michael_J._Hopkins |
| gptkb:Harrington's_Principle | Descriptive set theory |
| gptkb:Taniyama-Shimura-Vermutung | 1955 |
| gptkb:Axiom_of_Countable_Choice | Every countable family of non-empty sets has a choice function. |
| gptkb:Campbell's_Law | The more any quantitative social indicator is used for social decision-making, the more subject it will be to corruption pressures and the more apt it will be to distort and corrupt the social processes it is intended to monitor. |