You're viewing a single thread.
Wait, I thought everything in math is rigorously and unambiguously defined?
There's a hole at the bottom of math.
There’s a frog on the log on the hole on the bottom of math. There’s a frog on the log on the hole on the bottom of math. A frog. A frog. There’s a frog on the log on the hole on the bottom of math.
Rigorously, yes. Unambiguously, no. Plenty of words (like continuity) can mean different things in different contexts. The important thing isn’t the word, it’s that the word has a clear definition within the context of a proof. Obviously you want to be able to communicate ideas clearly and so a convention of symbols and terms have been established over time, but conventions can change over time too.
Platonism Vs Intuitionism would like a word.
Yes, and like any science it gets revisited and contested periodically.