|
gptkb:Bertini's_smoothness_theorem
|
generic hyperplane section is smooth
|
|
gptkb:weak_Nullstellensatz
|
maximal ideals in polynomial rings over algebraically closed fields correspond to points
|
|
gptkb:Quantum_measurement_problem
|
Role of observer in physics
|
|
gptkb:Matiyasevich–Robinson–Davis–Putnam_theorem
|
no algorithm exists to determine whether arbitrary Diophantine equations have integer solutions
|
|
gptkb:Law_of_conservation_of_mass-energy
|
total mass and energy in a closed system is constant
|
|
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_abelian_varieties_over_finite_extensions
|
finiteness of the Tate–Shafarevich group under certain conditions
|
|
gptkb:Obey_Schwarz_Lemma
|
rigidity of holomorphic maps
|
|
gptkb:Multiverse
|
Determinism
|
|
gptkb:Zermelo-Fraenkel_set_theory_with_the_Axiom_of_Choice_and_the_Continuum_Hypothesis
|
the cardinality of the continuum is aleph-one
|
|
gptkb:Turing-Church_thesis
|
limits of computation
|
|
gptkb:CPT_symmetry
|
CPT invariance
|
|
gptkb:The_Workshop_of_the_World
|
global industrial dominance
|
|
gptkb:Ryser's_conjecture
|
Ryser's conjecture for r=2 is König's theorem
|
|
gptkb:Griffiths_inequalities
|
positivity of correlations
|
|
gptkb:Hausdorff_maximal_principle
|
gptkb:Zorn's_lemma
|
|
gptkb:Normative_relativism
|
Moral judgments depend on cultural context
|
|
gptkb:The_Land_of_Opportunity
|
economic opportunity
|
|
gptkb:Freedman's_theorem
|
gptkb:topological_Poincaré_conjecture_in_dimension_4
|
|
gptkb:finite_Ramsey_theorem
|
existence of Ramsey numbers
|
|
gptkb:The_moving_lemma_for_higher_Chow_groups
|
homotopy invariance of higher Chow groups
|