
Re: Is logic part of mathematics  or is mathematics part of logic?
Posted:
Jul 4, 2013 9:12 AM


G S Chandy says: >I refer to some ideas in the excellent article "Three Crises in Math..." to which you had pointed me: (In my own words), << 'Logicism', 'Intuitionism' and 'Formalism' all tried  AND FAILED  to provide a firm foundation for math >> To the best of my understanding the needed firm foundation has not developed since 1979 when the article was published.
I think if you look at logicism (and teh others), and the *failure* of it, it helps shed light on the relationship between math and logic, which is what you originally asked about.
If, on the other hand, you are looking for "firm foundation", why not study ZFC? But that's not how you started this thread.
Cheers, Joe N

