this post was submitted on 19 Jan 2024
233 points (92.7% liked)

Bikini Bottom Twitter

3538 readers
3 users here now

Are ya ready kids?!

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] HexesofVexes@lemmy.world 4 points 9 months ago (1 children)

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.

[–] meekah@lemmy.world 2 points 9 months ago (1 children)

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

[–] HexesofVexes@lemmy.world 3 points 9 months ago

If you ever get the time, it's a really interesting field to investigate!