Machine Logic

At the junction of computation, logic and mathematics

Tag: Paul Erdős

Probabilistic reasoning and formal proof (21 Aug 2024)
Formalising Ramsey theory, II (15 Jun 2022)
Wetzel's problem and the continuum hypothesis (27 Apr 2022)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS