2 events with tag "formalization"
1889
ID: 365
Giuseppe Peano publishes 'Arithmetices principia, nova methodo exposita', presenting the Peano axioms for natural numbers
ID: 365
1897
ID: 384
Peano begins 'Formulario Mathematico' project, attempting to formalize all of mathematics in symbolic notation
ID: 384