Skip to main content
MathOverflow
Christopher King's user avatar
Christopher King's user avatar
Christopher King's user avatar
Christopher King
  • Member for 9 years, 11 months
  • Last seen this week
Profile Activity
Stats
6,353
reputation
81k
reached
24
answers
74
questions
Communities
View all
Badges
View all badges
1
gold badge
32
silver badges
60
bronze badges
Top tags
View all tags
41
Score
48
Posts
49
Posts %
36
Score
23
Posts
23
Posts %
14
Score
29
Posts
30
Posts %
9
Score
14
Posts
14
Posts %
6
Score
8
Posts
8
Posts %
6
Score
8
Posts
8
Posts %
Top posts
View all questions and answers
question
78
Mathematical conjectures on which applications depend
Jan 18, 2018
question
35
Who wins two player sudoku?
Apr 14, 2018
question
33
Is there a position in infinite Go for which the life of a particular stone has transfinite game value?
May 5, 2018
question
27
Can you have a type theory where there is type of all types?
Sep 4, 2017
question
21
Who wins the Rubik's cube game?
Apr 21, 2018
question
20
Smallest tile to tessellate the hyperbolic plane
Jan 25, 2018
question
18
What's the earliest result (outside of logic) that cannot be proven constructively?
Feb 22
answer
17
Exponentials of truth values
May 29
question
17
What is known about the relationship between Fermat's last theorem and Peano Arithmetic?
Feb 15, 2018
question
17
Would an oracle for Rayo's function let you compute a model of $(V, \in)$?
Jan 20, 2018
Top Meta posts
2
0
30
How can a nonacademic with research level questions know which questions are research level?
4
I deleted my post, but now want to view its source
Top network posts
View all network posts
346
Why is Haskell (GHC) so darn fast?
131
Program that creates larger versions of itself (quine-variant)
111
My school wants to keep the details of our door authentication system a secret. Is that a good idea?
80
Stealth in Space: How realistic is it?
68
How can the NSA capture Santa Claus?