Events Tagged: "formal system"

Leibniz's mature work on characteristica universalis and calculus ratiocinator, envisioning mechanical reasoning

Giuseppe Peano publishes 'Arithmetices principia, nova methodo exposita', presenting Peano axioms for natural numbers