this post was submitted on 19 Jan 2024
236 points (92.8% liked)
Bikini Bottom Twitter
4154 readers
264 users here now
Ahoy, me buckos! Welcome to Bikini Bottom Twitter! Your digital reef for the latest salty gossip and treasure tales! And while you're at it, be sure to drop by the Krusty Krab for a delicious Krabby Patty so I can get yer mon- err I mean, 'cause they're the best treat under the sea!
Rule 1 - This is Bikini Bottom Twitter, all posts should be Spongebob related in "(Old-School) Twitter-like" form
Rule 2 - Political posts, as long as it follows rule 1, will be permitted, so long as you behave yourselves.
Bikini Bottom Municipal Code §33-07: Anti-Tankie Ordinance Residents are prohibited from circulating tankie ideology or other authoritarian propaganda on Bikini Bottom Twitter. Offenders will be permanently banned from BPT by the BBPD faster than Plankton is ejected from The Krusty Krab.
Rule 3 - Please no reposts within the last couple days, at least
Rule 4 - All posts should be at least above a "Squirdward-krusty-krab-shift" level of effort
Rule 5 - Be chill, be a Patrick not a squidward.
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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!