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