Skip to main content
MathOverflow
Eliezer Yudkowsky's user avatar
Eliezer Yudkowsky's user avatar
Eliezer Yudkowsky's user avatar
Eliezer Yudkowsky
  • Member for 10 years, 11 months
  • Last seen more than 8 years ago
Profile Activity
Stats
573
reputation
15k
reached
1
answer
2
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.
5
silver badges
10
bronze badges
Top tags
View all tags
0
Score
3
Posts
100
Posts %
0
Score
2
Posts
67
Posts %
0
Score
2
Posts
67
Posts %
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
38
Why do stacked quantifiers in PA correspond to ordinals up to $\epsilon_0$?
Aug 8, 2013
8
Models of PRA/EFA with induction on $X$ but not $\omega^X$
Jun 2, 2014
5
What are some proofs of Godel's Theorem which are *essentially different* from the original proof?
Oct 5, 2013
Top network posts
View all network posts
107
Does the Interdict of Merlin appear in original Harry Potter canon?
26
What practical proofs work in intuitionistic but not minimal logic?