Made up gives me the distinct feeling that we're in subjectivity territory and when was the last time, any two people agreed on that score. Math is, whatever it is, at least not all up here, in our heads. — TheMadFool
There's that subjective/objective confusion again. it's not all either subjective or objective, and never the twain. Is Chess "in your head"? — Banno
? Try to think in terms of collective subjectivity, perhaps inter-subjectivity or mass hallucination if you like.Maths is made up. — Banno
collective subjectivity — TheMadFool
inter-subjectivity — TheMadFool
hallucination — TheMadFool
But if it is subjective, it's private
— Banno
That is precisely what made up means. — TheMadFool
And it seems Sokal needed to pretend that "metatheorems" are not part of the game of mathematics to protect mathematics proper from what he thought of as monsters. Seems overkill. — Banno
Really? I don't think so. — Banno
So, could the liar paradox cause a bridge to collapse? — Banno
The real harm will not come in unless there is an application, in which a bridge may fall down or something of that sort [] You cannot be confident about applying your calculus until you know that there are no hidden contradictions in it. — Turing
Metatheorems in mathematical logic, such as Gödel's theorem or independence theorems in set theory, have a logical status that is slightly different from that of conventional mathematical theorems.”
But you said that what is made up is subjective. Is Lord of the Rings subjective? What does that mean?
I think it pretty clear that equating made up and subjective is a long stretch.
But moreover, it is this sort of contortion that leads me to ignore the subjective/objective distinction - it causes far more issues than it solves. — Banno
As is obvious, our conversation has stalled, fallen at the first hurdle as it were. — TheMadFool
Yep — Banno
W is missing the point. A line is a distance. Two points apart entails a distance, therefore a line. — Caldwell
I think it pretty clear that equating made up and subjective is a long stretch. — Banno
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.