Machine Logic
At the junction of computation, logic and mathematics
Tag: Proofs from THE BOOK
Wetzel's problem and the continuum hypothesis
(27 Apr 2022)
A classical proof: exponentials are irrational
(16 Feb 2022)