ENTITY
axiom of choice
axiom of choice
PulseAugur coverage of axiom of choice — every cluster mentioning axiom of choice across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
2 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
Axiom of Choice: Computational Substance and Constructive Proofs Explored
This post explores the computational substance of the axiom of choice, aiming to explain its intuition in elementary terms using realizability semantics. It contrasts constructive and classical viewpoints, illustrating …
-
New research quantifies axiom of choice's geometric impact on AI proof assistants
Researchers have developed a method to measure the geometric impact of the axiom of choice within mathematical proofs using Lean 4. By analyzing over 470,000 declarations in Mathlib, they identified a measurable geometr…