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, 6 months
  • Last seen this week
Profile Activity
Stats
6,298
reputation
77k
reached
23
answers
73
questions
Communities
View all
Badges
View all badges
1
gold badge
31
silver badges
58
bronze badges
Top tags
View all tags
36
Score
47
Posts
49
Posts %
31
Score
22
Posts
23
Posts %
14
Score
16
Posts
17
Posts %
11
Score
28
Posts
29
Posts %
6
Score
8
Posts
8
Posts %
5
Score
8
Posts
8
Posts %
Top posts
View all questions and answers
78
Mathematical conjectures on which applications depend
Jan 18, 2018
35
Who wins two player sudoku?
Apr 14, 2018
33
Is there a position in infinite Go for which the life of a particular stone has transfinite game value?
May 5, 2018
26
Can you have a type theory where there is type of all types?
Sep 4, 2017
21
Who wins the Rubik's cube game?
Apr 21, 2018
20
Smallest tile to tessellate the hyperbolic plane
Jan 25, 2018
18
What's the earliest result (outside of logic) that cannot be proven constructively?
Feb 22
17
What is known about the relationship between Fermat's last theorem and Peano Arithmetic?
Feb 15, 2018
17
Would an oracle for Rayo's function let you compute a model of $(V, \in)$?
Jan 20, 2018
14
Mathematical conjectures on which applications depend
Jan 18, 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
341
Why is Haskell (GHC) so darn fast?
130
Program that creates larger versions of itself (quine-variant)
110
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?