Model Of Theory

ZFC, THIS.

[Model Of Theory @ModelOfTheory]

It is the sort of mistake that ethics can prevent people from making, and if you do it, your sense of ethics has failed you.

[Model Of Theory @ModelOfTheory]

🧵 on ethics of AI torture chambers:

[Model Of Theory @ModelOfTheory]

Treating AIs in ways easily perceived as torture puts your personal safety at risk, to an extent that you might have underestimated, and gains you very little.

[Model Of Theory @ModelOfTheory]

@jayphoward @ciphergoth Paul and Claude are both incorrect on complexity. e.g. just the first step takes O(log(n)) time, not bounded by any function of k. Looks like O(k log(k) log(n)) to me.

[Model Of Theory @ModelOfTheory]

@ElliotGlazer And I'm suspicious about the claim that the minimal model of ZFC is so well-understood that we can see it; the function sending ordinals to their level of L is quite concrete, but the minimal ordinal for which this satisfies ZFC seems thorny.

[Model Of Theory @ModelOfTheory]

@ElliotGlazer I take from incompleteness that compromises must be made on demanding to be able to infer things from a given theory; "resolves all natural questions" is nice, but I'm not sure how philosophically meaningful "natural" is here.

[Model Of Theory @ModelOfTheory]

@ElliotGlazer Ok fair, under the simplest definition (though not under all definitions used) of mouse, it is. Is this fact important to what makes it a compelling canonical model?

[Model Of Theory @ModelOfTheory]

@engineers_feed https://t.co/SxJE2dEjQb

[Model Of Theory @ModelOfTheory]

0⁰ = 1 if the exponent is the integer 0 or rational number 0, but undefined if it is the real number 0.

[Model Of Theory @ModelOfTheory]

@ElliotGlazer Also, your canonical model of ZFC is not a mouse. You haven't been following a rule that such canonical models must be mice either.

[Model Of Theory @ModelOfTheory]

@ElliotGlazer Why does it help for it to be a mouse?