Stories by gone35

Call with Current Continuation (2018)

Odd Perfect Numbers Are Unlikely

The completeness of molecular biology (1984) [pdf]

A Proof That There's No Constructive Proof of the Intermediate Value Theorem

Doomsday [video]

Theorems with hard proofs that have dramatically improved over time

Causality and the Kramers-Kronig Relations

Kramers–Kronig Relations

Propagation Networks (2009) [pdf]

Apple Direct Wireless Link

The Recursive Enumerability of Fixed-Point Combinators [pdf]

The Hoyle State (2021)

Dirac Large Numbers Hypothesis

Ninth of the Ninth

Engine thrust incidents spur safety alert over biocides (2020)

4-input 2-output Boolean circuits (2020)

Integer Partitions Detect the Primes

First fault rupture ever filmed [video]

Getting Started with Dafny: A Guide

The Algebra of an Infinite Grid of Resistors

1 2 3 4 5 6 7 8 9 10