Outlines of a formalist philosophy of mathematics (Studies in logic and the foundations of mathematics) cover
Outlines of a formalist philosophy of mathematics (Studies in logic and the foundations of mathematics)
by Haskell Brooks Curry
ISBN: 072042206X
Found in 1 comment on Hacker News
View on Amazon
We may earn a commission from purchases made through links on this page.
Not ready yet? Get weekly book picks.
sah · 2010-12-10 · Original thread
Haskell Curry made this argument in his "Outlines of a Formalist Philosophy of Mathematics": http://www.amazon.com/Outlines-Formalist-Philosophy-Mathemat...

His idea is that mathematics is the empirical study of the implications of systems of rules.