Machine Logic
At the junction of computation, logic and mathematics
Tag: Paul Erdős
Formalising Ramsey theory, II
(15 Jun 2022)
Wetzel's problem and the continuum hypothesis
(27 Apr 2022)