Skip to main content
MathOverflow
Eliezer Yudkowsky's user avatar
Eliezer Yudkowsky's user avatar
Eliezer Yudkowsky's user avatar
Eliezer Yudkowsky
  • Member for 11 years, 1 month
  • Last seen more than 11 years ago
Profile Activity
Stats
573
reputation
0
reached
0
answers
0
questions
Communities
View all
About

I am a Research Fellow at the Machine Intelligence Research Institute, in search of a reflectively consistent decision theory for self-modifying AI. See e.g. http://intelligence.org/files/TilingAgents.pdf

I'm also the author of Harry Potter and the Methods of Rationality. Yeah, I'm that guy.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

Top network posts
View all network posts
107
Does the Interdict of Merlin appear in original Harry Potter canon?
38
Why do stacked quantifiers in PA correspond to ordinals up to $\epsilon_0$?
26
What practical proofs work in intuitionistic but not minimal logic?
8
Models of PRA/EFA with induction on $X$ but not $\omega^X$
5
What are some proofs of Godel's Theorem which are *essentially different* from the original proof?