🌀 Logic & Paradoxes - scribe · Scour

Ablation and the Meno: Tools for Empirical Metamathematics ∑Math

All Rationality is Bounded 🧮Game Theory

philsci-archive.pitt.edu·11h

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·15h

The Mutable Value Semantics (MVS): A Non-Superficial Study 🦀Rust

federicobruzzone.github.io·5h·Hacker News

Animated Logical Graphs • 1 🔄Category Theory

stream.syscoi.com·12h

Why Math’s Final Axiom Proved So Controversial ∑Math

quantamagazine.org·1d·Hacker News

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

literaryreview.co.uk·3h

On This Day in Math 📐Mathematics

pballew.blogspot.com·22h·Blogger

withFixedLegRule (3) Linux Manual Page 🔢Type Theory

systutorials.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·14h·Hacker News

Foundational Texts: Forks and Branches 🔭Greg Egan

dansinker.com·1d

A computer scientist beat textbook binary search by more than 2x 🧑‍💻Computer Science

boingboing.net·4h

Country of Kaleidoscopes in a Datacenter 📝Note-Taking

unessays.substack.com·13h·Substack

Crash Course on Notation in Programming Language Theory 🔢Type Theory

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

"Rat Run" Sudoku Series by Marty Sears 🔢Recreational Math

logic-masters.de·1d·Hacker News

Log in to enable infinite scrolling