#
I know that there are some serious problems concerning the idea that mathematics is grounded on logic. But computers can perform mathematical operations, and computers use logic, so I think that at least for practical purposes we can use logic to support mathematics. Am I right? My second question is this: can we infer that 2+2=4 from the principle of non-contradiction? Thank you!

Read another response by Peter Smith

Read another response about Mathematics