Ed, (01)
EB>While logic is the foundation for all of mathematics (02)
Is it really? (03)
I was taught, some time ago, that after Russell and Whitehead's failure,
people were a little less optimistic about these kinds of claims. I have
heard since some (maybe cynical) logicians say that they see mathematical
logic as a branch of mathematics.
I recall one saying that mathematical logic tended to focus on FOL as one
could prove interesting results, but if you wanted to formalise any
interesting mathematics, you needed to go higher order, but this was less
tractable. (04)
Maybe I missed something. (05)
Chris (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|