I think maths is pure logic, an abstraction of basic truths. Like if you put two things in a bag, and put three more things in there, there are now five things in the bag. I don’t think there are other valid answers. Can you explain what about it makes you think it’s a form of philosophy?
The intuitionists argue that mathematics precedes logic, whereas Hilbert and his followers (their position being Platonism today) argue as you do (mathematics has its roots in logic).
Both branches of mathematics disagree on basic logical principles (for a Platonist “A or Not(A)” is universally true, but for an Intuitionist it is provably false in some instances). This leads to simple properties such as trichotomy on the reals (given any number, it is <0, =0, >0) failing for intuitionism but being valued for the Platonist.
Godel’s incompleteness essentially tells us we can never know which position is “the right one”, as no system can prove it’s own consistency (i.e no system can ensure itself will never lead to a false result).
Both are acknowledged as consistent systems with respect to one another within academic journals. It is very much a matter of philosophy as to which one is accepted as true.
I think maths is pure logic, an abstraction of basic truths. Like if you put two things in a bag, and put three more things in there, there are now five things in the bag. I don’t think there are other valid answers. Can you explain what about it makes you think it’s a form of philosophy?
The intuitionists argue that mathematics precedes logic, whereas Hilbert and his followers (their position being Platonism today) argue as you do (mathematics has its roots in logic).
Both branches of mathematics disagree on basic logical principles (for a Platonist “A or Not(A)” is universally true, but for an Intuitionist it is provably false in some instances). This leads to simple properties such as trichotomy on the reals (given any number, it is <0, =0, >0) failing for intuitionism but being valued for the Platonist.
Godel’s incompleteness essentially tells us we can never know which position is “the right one”, as no system can prove it’s own consistency (i.e no system can ensure itself will never lead to a false result).
Both are acknowledged as consistent systems with respect to one another within academic journals. It is very much a matter of philosophy as to which one is accepted as true.
Huh, I wasn’t aware there are different bases of logic being used for maths. Interesting. That indeed makes it much more of a philosophical question
If you ever get the time, it’s a really interesting field to investigate!