LESSWRONG
LW

sebmathguy
200170
Message
Dialogue
Subscribe

Posts

Sorted by New

Wikitag Contributions

Comments

Sorted by
Newest
No wikitag contributions to display.
Model of unlosing agents
sebmathguy11y10

There's actually no need to settle for finite truncations of a decision agent. The unlosing decision function (on lotteries) can be defined in first-order logic, and your proof that there are finite approximations of a decision function is sufficient to use the compactness theorem to produce a full model.

[This comment is no longer endorsed by its author]Reply
Open Thread, April 27-May 4, 2014
sebmathguy11y30

I've just made an enrollment deposit at the University of Illinois at Urbana-Champaign, and I'm wondering if any other rationalists are going, and if so, would they be interested in sharing a dorm?

Reply
Useful Questions Repository
sebmathguy12y00

Your link is messed up.

Reply
The difference between Determinism & Pre-determination
sebmathguy12y00

Perhaps instead of immediately giving up and concluding that it's impossible to reason correctly with MWI, it would be better to take the born rule at face value as a predictor of subjective probability.

Reply
Introducing Familiar, a quantified reasoning assistant (feedback sought!)
sebmathguy12y60

I would immediately download this iff it had a GUI.

Reply
The idiot savant AI isn't an idiot
sebmathguy12y-20

The AI is a program. Running on a processor. With an instruction set. Reading the instructions from memory. These instructions are its programming. There is no room for acausal magic here. When the goals get modified, they are done so by a computer, running code.

Reply
Universal Law
sebmathguy12y120

Consider indicating that your post contains spoilers.

Reply
Harry Potter and the Methods of Rationality discussion thread, part 19, chapter 88-89
sebmathguy12y20

Got it. I was previously having difficulty making that belief pay rent.

Reply
Harry Potter and the Methods of Rationality discussion thread, part 19, chapter 88-89
sebmathguy12y-20

I've also heard that for soldiers, seeing one more death or injury can be the tipping point into PTSD.

Am I missing something, or does this follow trivially from PTSD being binary and the set of possible body counts being the natural numbers?

Reply
An attempt at a short no-prerequisite test for programming inclination
sebmathguy12y20

I'm a new user with -1 karma who therefore can't vote, so I'll combat censorship bias like this:

Moderate programmer, correct

Yes

Reply
Load More
No posts to display.