undecidability – TANAAKK

undecidablity, incomputability, intractabilityの濃度の違い

by TANAAKK
in higher-order logic, incomputability, possibility / impossibility, 01-Mathematics, category theory, undecidability, tractability
on 2026年4月12日 13:27 （UTC+9）

0

ゲーデルの不可能性定理や、チューリングのhalting problemは当時undecidablityに関する定理だと思われていたが、NP completeなどの体系がクック、レビンらにより定理化されるにつれて、その決定…
Read more

Equivalenceの階層体系｜≣,≡,=,≅,≃,≈, ≠,⊣の違い

by TANAAKK
in 01-Mathematics, invariants, infinitude, undecidability, truncation / purge / reduction, definition, Telelogical Finity Bypassing, geodesic, inexhaustible, infinitesimal, continuum hypothesis, omnipresent, transfinite, finitization
on 2026年3月28日 14:04 （UTC+9）

0

伝統的なEqualityはより等号の条件を緩和した一般的なEquivalenceの部分集合である。 Homotopical Equality≠Classical Mathematical Equalityであるので、この…
Read more

Teleological Finity Bypassing

0

Teleological Finity Bypassing とは、特定の**「目的（Telos）」を最終的な「同一性（Identity）」としてInvariants化し、そこに至るまでの膨大な「有限のステップ（Finit…
Read more

TANAAKK

New York, Tokyo, Shanghai, Hongkong, Singapore, London, Vietnam, Cayman, BVI

©2013-2026 TANAAKK