Email Record: Outlines of a Formalist Philosophy of Mathematics / Haskell B. Curry