ENTITY Graham's number

Graham's number

PulseAugur coverage of Graham's number — every cluster mentioning Graham's number across labs, papers, and developer communities, ranked by signal.

Total · 30d

0

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

1 over 90d

TIER MIX · 90D

TOPICS

RECENT · PAGE 1/1 · 1 TOTAL

COMMENTARY · CL_134640 · Jul 9 · 16:53

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 …