Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance
A very short book note
logicmatters.net·1d
Coping with Complexity
slott56.github.io·23h
AI learns math reasoning by playing Snake and Tetris-like games rather than using math datasets
the-decoder.com·39m
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·1d
Amplitudes 2025 This Week
4gravitons.com·1d
A Compendium of Subset Search Problems and Reductions relating to the Parsimonious Property
arxiv.org·5d
Loading...Loading more...