Skip to main content
Qfwfq's user avatar
Qfwfq's user avatar
Qfwfq's user avatar
Qfwfq
  • Member for 14 years, 9 months
  • Last seen this week
awarded
asked
Loading…
awarded
awarded
awarded
awarded
awarded
comment
What's "geometric algebra"?
I think the space freely generated by the union should be replaced by a more mundane direct sum
awarded
awarded
awarded
awarded
revised
Loading…
comment
comment
Why do people say Gödel's sentence is true when it is true in some models but false in others?
@Timothy Chow: Oh, I thought those comments of mine were deleted/moved by you... I didn't take any action to delete them (that I'm aware of!) but something might have gone wrong when I used the mobile app. No problem. I'll delete stuff here that no longer makes sense, and I'll use the chat for potential future comments.
comment
Why do people say Gödel's sentence is true when it is true in some models but false in others?
@user76284: I doubt my perplexity about Platonism has anything to do with technical aspects of syntax. But I won't continue the discussion inside this MO question: it was already lengthy (and perhaps a bit off topic for the site) and parts of it have been moved to chat by Timothy Chow.
comment
Why do people say Gödel's sentence is true when it is true in some models but false in others?
@Timothy Chow: I see you didn't move to chat some of your replies to me. For readability sake, I think it'd be better if you moved to chat the whole thing (meaning: my comments inside this question and anybody's replies to me).
comment
Why do people say Gödel's sentence is true when it is true in some models but false in others?
@user76284: Ok, as for any other sentence $\varphi$ in the language of PA, the natural language assertion "Con(ZFC) is true" translates formally to: "$\mathbb{N}\models$Con(ZFC)", which is a sentence of ZFC (assuming ZFC is our metatheory here). We will also never get a ZFC proof of that sentence. Which is in line with the fact that we don't know whether ZFC is consistent. --- But why would your example be in tension with anti-Platonism? I think I might be missing your point.
comment
Is there a periodic table for knots?
@Ryan Budney: just out of curiosity, is the ordering of knots by volume discrete or can accumulation points occur?
awarded