🌀 Logic & Paradoxes - scribe · Scour

Ablation and the Meno: Tools for Empirical Metamathematics ∑Math

All Rationality is Bounded 🧮Game Theory

philsci-archive.pitt.edu·12h

Every algorithm is a natural number. Hilbert's hotel has room for all of them 🔢Recreational Math

darkomulej.substack.com·1d·Substack

Study finds high schoolers still can't think fast and correctly at the same timethat skill only fully develops in adulthood 🔢Recreational Math

psypost.org·5d·r/psychology

Axiomism: A Developer's Perspective on the Foundation of Reality 🔢Type Theory

github.com·1d·Hacker News

Neuro-psychologist seeking advice on studying logic ∑Math

leiterreports.com·16h

kid logicus ∑Math

betweentheskyscrapers.bearblog.dev·1h

Animated Logical Graphs • 1 🔄Category Theory

stream.syscoi.com·13h

Why Math’s Final Axiom Proved So Controversial ∑Math

quantamagazine.org·1d·Hacker News

The Escapement Mechanism, Prologue 3 📝Note-Taking

lindsaybison.com·1h

On This Day in Math 📐Mathematics

pballew.blogspot.com·23h·Blogger

'Proverbs By Another Name' Brain Teaser 🔢Recreational Math

braingle.com·4h

Meaning: lost, or muddled by metaphysics? 🔄Category Theory

meaningness.substack.com·2d·Substack

The monstrous number sequences that break the rules of mathematics ∑Math

newscientist.com·6d·Hacker News

Wakil Ahmad Hakimi, The Impossibility of an Actually Infinite Future: Grounding, Traversal, and Temporal Structure 🔢Type Theory

philarchive.org·15h·Hacker News

Wittgenstein finished the Tractatus certain all philosophical problems were solved. Then spent his life disagreeing. 🔢Type Theory

literaryreview.co.uk·4h

Foundational Texts: Forks and Branches 🔭Greg Egan

dansinker.com·1d

The Alice and Bob After Dinner Speech 📡Information Theory

hex.ooo·10h·Hacker News

withFixedLegRule (3) Linux Manual Page 🔢Type Theory

systutorials.com·5h

Crash Course on Notation in Programming Language Theory 🔢Type Theory

siek.blogspot.com·3d·r/programming

Log in to enable infinite scrolling