FOM: advanced logic of Shipman
kanovei at wminf2.math.uni-wuppertal.de
Thu Oct 1 12:28:23 EDT 1998
<then all mathematics can be seen as "advanced logic" and logicism is a complete
Mathematics is "advanced logic" perhaps only if you understand
"logic" as a description of basic rules of mathematical
thought which (the rules) were first (historically) determined
by *counting pebbles*, so to speak.
Simillarly: USA home politics is "advanced constitution of USA".
More information about the FOM