Stories by measurablefunc

Fireside Chat IWAI 2025: Profs. Gary Marcus and Karl Friston [video]

Introduction: Truthmaker Semantics: What, What For, and How?

Modern perspectives in proof theory (2023)

Almost all orbits of the Collatz map attain almost bounded values (2022)

Lectures on Mathematics (1893)

Geometric formulation of quantum mechanics (2015)

Unexpectedly high concentrations of forever chemicals found in dead sea otters

Why Does the Universe Exist? (1991) [pdf]

The Seifert–Van Kampen Theorem in Homotopy Type Theory (2016) [pdf]

Polynomial rings in several variables [pdf]

Deep Field: The Impossible Magnitude of Our Universe

The Geometry of Schemes [pdf]

Somatic hypermutation articles from across Nature Portfolio

Rising heat kills one person a minute worldwide, major report reveals

Homotopy type theory: the logic of space (2017)

Ends and Means (1934) [pdf]

It Is Trump's Casino Economy Now. You'll Probably Lose

What is life? (1944) [pdf]

Physics and Engineering of orbital data centers

2025 Moss Landing Vistra Power Plant Fire

1
2
3
4