Tyrrell_McAllister comments on What makes us think _any_ of our terminal values aren't based on a misunderstanding of reality? - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (89)
Löwenheim–Skolem zombie: Makes statements that are word-for-word identical to the ones that you make about uncountable sets, and for the same causal reasons (namely, because you both implement the inference rules of ZF in the same way), but its statements aren't about actually uncountable sets, because it lives in a countable model of ZF.