📐 Mathematical Logic - bassam_exe · Scour

The Constructive $\mu$-calculus: Game Semantics and Non-Wellfounded Proof Systems 🔢Homomorphic Encryption

Gödel, Escher, Bach, Wallace: The "O's, D's and P's" in Infinite Jest 🧠Polymath

chiply.dev·6d·Hacker News

Assessing large language model responses to pediatric depression FAQs: a cross-sectional study on readability, accuracy, and sentiment 🧬Cognitive Science

frontiersin.org·1d

Redesign peer-review rubric with RELAI cycle dimensions and AI collaboration quality · Issue #4 · meleantonio/ludwitt-openclaw ✅Formal Verification

Sadhguru explains how being cheated on can be a blessing in disguise 🎭Steganography

timesofindia.indiatimes.com·2d

The 7 Sages of Ancient Greece and Their Quotes of Wisdom 🧠Polymath

thecollector.com·6d

Neuro-psychologist seeking advice on studying logic 📊Mathematics

leiterreports.com·14h

Animated Logical Graphs • 1 ✅Formal Verification

stream.syscoi.com·11h

All Rationality is Bounded 🎯Game Theory

philsci-archive.pitt.edu·10h

Explore 30,000+ Olympiad Math Problems 📊Mathematics

mathnet.mit.edu·50m

Numbers No Machine Can Reach 📊Mathematics

darkomulej.substack.com·7h·Substack

Why Math’s Final Axiom Proved So Controversial 📊Mathematics

quantamagazine.org·1d·Hacker News

📊 Patterns Everywhere: Math, Statistics, and the World Around Us 📊Mathematics

news.kapiolani.hawaii.edu·19h

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda ✅Formal Verification

Wakil Ahmad Hakimi, The Impossibility of an Actually Infinite Future: Grounding, Traversal, and Temporal Structure 🌐Complex Systems

philarchive.org·14h·Hacker News

The monstrous number sequences that break the rules of mathematics 📊Mathematics

newscientist.com·6d·Hacker News

Building an RL Theorem-Proving Workflow on Modal ✅Formal Verification

Issue 522 🔢Homomorphic Encryption

haskellweekly.news·18h

an education in argument 🤔Philosophy

modernagejournal.com

·2d

What Can We Gain by Losing Infinity? 📊Mathematics

longreads.com·8h

Log in to enable infinite scrolling