🔢 Philosophy of Math - tannerseidman · Scour

The man who ruined mathematics ∞Gödel

newscientist.com·5h

Wet Sidewalks and Odd Numbers λLambda Calculus

philcrissman.net·2d·Lobsters

Runtime Enforcement for Operationalizing Ethics in Autonomous Systems λLambda Calculus

arxiv.org·3d

THE LOOP IS THE LAB 📋Analog Workflows

interestingengineering.substack.com·23h·Substack

Configurational entropy and Adam-Gibbs relation for quantum liquids 🫙Fermentation

nature.com·1d

Predictor-corrector method based on dynamic mode decomposition for tensor-train nonequilibrium Green's function calculations 🖥️Lisp Machines

link.aps.org·21h

Incremental Lambda Calculus λLambda Calculus

inc-lc.github.io·5h·Hacker News

Phronesis 📚Intellectual History

en.wikipedia.org·6d

Poly-Math – “Something Deeply Hidden” ∞Gödel

everythingisnoise.net·2d

Reflection On Recursion • 2 λLambda Calculus

inquiryintoinquiry.com·23h

Afterthoughs on Banach Tarski and the Miracle of loaves and Fishes ∞Gödel

blog.computationalcomplexity.org·13h·blog.computationalcomplexity.org

Experimental predictions of the $E_8 \times ωE_8$ octonionic unification program : A falsification-oriented catalogue for quantum foundations, particle physics, gravitation, and cosmology λLambda Calculus

arxiv.org·1d

Wetting beyond equilibrium 🫙Fermentation

nature.com

·5h

A Field Guide to Nonstandard Definitions λLambda Calculus

alok.github.io·4d

Replacing zero with a tenth digit (X): a working calculator+implications λLambda Calculus

10calculator.com·19h·Hacker News

more in english 🧠Cognitive Linguistics

rahanoikeutus.bearblog.dev·5h

Double Maths First Thing: Issue 53 ∞Gödel

aperiodical.com·2d

Tree Calculus λLambda Calculus

news.ycombinator.com·15h·Hacker News

The Skeleton and the Soul λLambda Calculus

postcorporate.substack.com·3h·Substack

A Tale of Two Rigours ∞Gödel

lesswrong.com·6d

Loading more...