I agree that math is a domain in which absolute truth applies. (Modulo maybe stuff like the independence of the continuum hypothesis, but let’s ignore that.)
-
-
(I’m not sure if this tweet is the completion of a train of thought, or if you are still going?) I don’t follow (thus far). I’ve said that math is a domain of absolute truth. It’s a thing we do have, not an ideal we approximate.
-
Only if you have a computer and even then you can't calculate the 100th Busy Beaver number or the leading digit of Graham's Number. It's easy to state slightly harder math questions that leave us with only guessing heuristics and no way to just Apply The Defintion of A Number.
-
Right. But isn’t your point that even if we can’t implement it, decision theory is Correct? I’m agreeing that it is Correct in the sense that it’s math and math is absolutely true (or not at all).
-
I'm genuinely not sure what you mean by Correct in a sense that DT could be inCorrect. DT is valid math, and it also has another key property that might not be what you mean by Correctness; it's math that governs all the tools in a certain toolbox and helps us make better tools.
-
Well, I was capitalizing it to convey that it appears to me that it has some special status for you. I don’t exactly understand what you think the specialness is.
End of conversation
New conversation -
-
-
What if solving the problems of abstract knowledge just ends up as another tool use scenario one level up, though?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.