I mean, didn’t Eliezer cover this? You’re not lying if you call numbers groups and groups numbers. If you switch in the middle of a proof, sure, that’s lying, but that seems irrelevant. The definitions pick out what you’re talking about.
When I’m talking about morality, I’m talking about That Thing That Determines What You’re Supposed to Do, You Know, That One.
Mathematical definitions sure aren’t just some social construct. You pick axioms, you derive theorems. If not, you are lying about maths.
(And picking axioms doesn’t matter either, because maths exists independently of physical systems computing them)
I mean, didn’t Eliezer cover this? You’re not lying if you call numbers groups and groups numbers. If you switch in the middle of a proof, sure, that’s lying, but that seems irrelevant. The definitions pick out what you’re talking about.
When I’m talking about morality, I’m talking about That Thing That Determines What You’re Supposed to Do, You Know, That One.
So am I.
You Know, That Part Of Your Brain That Computes That Thing That Determines What You’re Supposed to Do, Given What You Know, You Know, That One.
I don’t even remember the mind set I had when I wrote this, nor what this is all about.
Referring to a part of your brain doesn’t have the right properties when you change between different universes.
That is true, and so we refer to the medium-independet axiomatic definition.
What’s that?
That Thing That Determines What You’re Supposed to Do, Given What You Know, You Know, That One.