FOM: Re: First-order logic -- a query
mthayer at ix.netcom.com
Thu Jan 15 11:37:46 EST 1998
Joe Shipman asks the question:
>Kanovei reminds us that set theory is the "official" foundation for
>mathematical *objects* and "classical mathematical logic" is the foundation
>mathematical *reasoning*. But what exactly is "classical mathematical
>So why would one use higher-order logic instead of Z or ZF or ZFC?
While we are at it, may I ask why use of Z or ZF or ZFC instead of NF, NFU,
NFC or the Church systems?
While Joe's question goes to Kaonvei's point about mathematical *reasoning*,
mine is more related to his point about mathematical *objects*.
Name: Michael Thayer
Institution: T & S Software Associates
Research interests: Foundations of computation and performance of algorithms
More information about the FOM