FOM: Remark on characterization of FOM
Kanovei
kanovei at wminf2.math.uni-wuppertal.de
Thu Jan 15 04:51:28 EST 1998
>Date: Wed, 14 Jan 1998 13:46:35 +0000
>To: fom at math.psu.edu
>From: "Moshe' Machover" <moshe.machover at kcl.ac.uk>
>what distiguishes FOM from PhOM is that the
>former approaches this subject matter *in mathematical fashion*.
FOM is by (the first coming in mind) definition
just that on which mathematics in general is founded
(at the moment, set theory as the foundational system
for objects of mathematics,
and classical mathematical logic as the foundational
system for mathematical reasoning,
plus multitude of heresy, of course).
PhOM is philosophical analysis of mathematics (its subject,
development, history, whatever).
I would say the most of posting in this list is
definitely PhOM in this sense.
Vladimir Kanovei
More information about the FOM
mailing list