And if mathematics isn't logic (Gödel, etc) then what is it?
Name:
Anonymous2009-01-24 18:02
Gödel showed that certain kinds of mathematics cannot be logical in a mathematical sense. Mathematicians don't use mathematical logic to do their work. Maybe to justify things later, but actually doing math does not rely on such things.