🔢 Philosophy of Math - tannerseidman · Scour

Hoffmann, Limits of Mathematics

logicmatters.net·2d

Think Like a Mathematician

chalkdustmagazine.com·14h

Differential Logic • Discussion 17

inquiryintoinquiry.com·6h

λLambda Calculus

Speculative realism

en.wikipedia.org·2d

Double Maths First Thing: Issue 50

aperiodical.com·14h

Probability theory revisit, and proofs

quinns.bearblog.dev·23h

λLambda Calculus

Discover Math in Art

denisegaskins.com·10h

📜Manuscript Illumination

Offline Exploration-Aware Fine-Tuning for Long-Chain Mathematical Reasoning

arxiv.org·19h

λLambda Calculus

On This Day in Math

pballew.blogspot.com·18h·

Discuss: Blogger

dev.to·1h·

Discuss: DEV

Using calculus to do number theory

hidden-phenomena.com·5h

λLambda Calculus

From Torsors to Topoi: An Introduction with a View Toward $\Sigma$-Protocols in Cryptography

arxiv.org·19h

λLambda Calculus

In search of falsehood – using Opus 4.6 to prove False

tristan.st·4h·

Discuss: Hacker News

λLambda Calculus

When Logic Became a Graphic Novel

blog.elmerdata.ai·4d

An Formal Translational Layer Connecting All Faiths

churchofcoherence.org·2d·

Discuss: Hacker News

λLambda Calculus

Poems: Math limericks

scientificamerican.com

·1d

Math in the AI Era

3quarksdaily.com·1d·

Discuss: Hacker News

🖥️Lisp Machines

Less-relevant results

The mathematics of inequality

tomforth.co.uk·1d

λLambda Calculus

Logic Colloquium, University of Vienna - Sealing the universe: How far can inner model theory reach?

dmg.tuwien.ac.at·2d

λLambda Calculus

Ontology, Part IV

jessicatalisman.substack.com

·22h·

Discuss: Substack

🕸️Ontology

Loading more...