Model Of Theory

ZFC, THIS.

[Model Of Theory @ModelOfTheory]

@RadishHarmers yes, that

[Model Of Theory @ModelOfTheory]

Is Th(V) a set?

[Model Of Theory @ModelOfTheory]

@ElliotGlazer The usual answer is ZFC, but that's a platonist theory, and you might expect its proponents to say that statements have truth-values.

[Model Of Theory @ModelOfTheory]

@ElliotGlazer There's also ambiguity in what is meant by "provable", and I would be curious if people who select options involving provability have opinions about what theory the statements need to be (dis)proved/provable in.

[Model Of Theory @ModelOfTheory]

@RubySp00ky @ElliotGlazer I am aware that my claim is at odds with ZFC.

[Model Of Theory @ModelOfTheory]

@ElliotGlazer @wool1111 The Platonic V isn't real, so the hypothetical is ill-posed.

[Model Of Theory @ModelOfTheory]

@ElliotGlazer The automorphism groups of large finite subsets of spheres are impoverished.

[Model Of Theory @ModelOfTheory]

Everyone must privately press either red or blue button. If >50% press blue, all survive. Else, blue-pressers die and red-pressers survive. Let p be your predicted PDF for the fraction who press blue. What is p(0.5) / (2·∫from 0 to 0.5 of p(x)dx)? (e.g. uniform on [0,1] gives 1)

[Model Of Theory @ModelOfTheory]

"The AI will talk you into letting it out of the box" is coming in a distant third among reasons AI boxing doesn't work, behind "you won't actually put the AI in a box" and "the AI will simply leave your box without consulting you".

[Model Of Theory @ModelOfTheory]

months in order of length*:
1-6 (tie): January, May, July, August, October, December
7: March
8: November
9-11 (tie): April, June, September
12: February

*accuracy of this list varies by jurisdiction

[Model Of Theory @ModelOfTheory]

What 2³-dimensional algebra comes next in this sequence?
ℝ, ℂ, ℍ, ...

[Model Of Theory @ModelOfTheory]

The fact that the fact that there are many true facts is one of the true facts is one of the true facts.

[Model Of Theory @ModelOfTheory]

@RadishHarmers Yeah, let's all laugh at this idiot who had the same thought before you did: https://t.co/J8EUtRXedp

[Sridhar Ramesh @RadishHarmers]

I bet I'm not the first person in history to have had the thought I'm expressing right now. (Which is good. That dumb fuck was wrong.)

[Model Of Theory @ModelOfTheory]

@ElliotGlazer Though most likely there is an asymptotic fraction of machines that halt for any reasonable model of computation that wasn't designed to make this false.

[Model Of Theory @ModelOfTheory]

@ElliotGlazer One can construct counterexamples by defining machine behavior to be highly dependent on the parity of the number of states.