When1: 1951
Who: Haskell Curry [Curry, Haskell]
What: mathematician
Where: England
works\ Outlines of a Formalist Philosophy of Mathematics [1951]
Detail: He lived 1900 to 1982. Mathematics branches become more formal over time, until they are deductive systems. Mathematics is about deductive systems.
Mathematical Sciences>Mathematics>History>Axiomatic Theory
3-Mathematics-History-Axiomatic Theory
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224