236
let 'er rip (lemmy.world)
you are viewing a single comment's thread
view the rest of the comments
[-] HexesofVexes@lemmy.world 4 points 10 months ago

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 10 months ago

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 2 points 10 months ago

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

this post was submitted on 19 Jan 2024
236 points (92.8% liked)

Bikini Bottom Twitter

3540 readers
10 users here now

Are ya ready kids?!

founded 1 year ago
MODERATORS