|
gptkb:Generalized_Uncertainty_Principle
|
modification of commutation relations
|
|
gptkb:Axiom_of_Determinacy
|
all sets of reals are Lebesgue measurable
|
|
gptkb:Dirichlet's_Theorem
|
Infinitude of primes
|
|
gptkb:homotopy_equivalence
|
homotopy type
|
|
gptkb:block_universe_theory
|
no privileged present moment
|
|
gptkb:Church–Rosser_property
|
uniqueness of normal forms
|
|
gptkb:many-one_reduction
|
if B is decidable, then A is decidable
|
|
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_profinite_groups
|
duality theorems in Galois cohomology
|
|
gptkb:Lichtenbaum-Quillen_conjecture
|
description of algebraic K-groups in terms of étale cohomology
|
|
gptkb:Euler's_theorem_in_thermodynamics
|
U = TS - pV + μN (for internal energy U)
|
|
gptkb:The_Conservation_of_Energy
|
total energy of an isolated system remains constant
|
|
gptkb:Axiom_of_determinacy
|
all sets of reals are Lebesgue measurable
|
|
gptkb:Normative_Uncertainty
|
Moral pluralism
|
|
gptkb:Conservation_of_Angular_Momentum
|
Total Angular Momentum Remains Constant
|
|
gptkb:Measurable_cardinal_axiom
|
existence of a non-principal, κ-additive, 0-1 valued measure on κ
|
|
gptkb:English_as_an_International_Language
|
language teaching
|
|
gptkb:Source_coding_theorem
|
No lossless compression scheme can compress below the source entropy
|
|
gptkb:The_Chinese_Century
|
global power balance
|
|
gptkb:Mazur's_lemma
|
convex sets are weakly closed if and only if they are strongly closed in normed spaces
|
|
gptkb:Zamolodchikov_c-theorem
|
irreversibility of renormalization group flow in 2D
|