HeyJaredtailcalled
The global knowledge game; attempts to get at the deeper, more universal truths
- Indexed issues, last 90 days
- 1
- Latest publication
- Jul 9, 2026
- Audience
- Checking…
- Earliest in this view
- Jul 9, 2026
Latest issues
What is the computational substance of the axiom of choice? (opens the original)
Read excerpt
I feel like online discussions of the axiom of choice either get impenetrably technical, or uselessly vague. Through realizability semantics, I’ve gotten an intuition for the axiom of choice that I want to share in elementary terms (without getting all the way into the effective topos). I will take a somewhat eccentric approach to it, showing the everyday utility of the axiom of choice, as well as the implications from a constructive rather than a classical point of view.Thanks for reading! Sub
Publishing over time
Last 90 days. Choose a month to open its work.
Recurring subjects
Named in the text we hold. One piece can cover several.
Audience
No verified audience measurement yet.
About this data
Counts cover the work we have indexed. Tone needs enough text and a confident classification. Excerpts and episode notes are not full articles or transcripts.
Identity or attribution wrong? Suggest a correction.