Skip to main content
MathOverflow
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami
  • Member for 15 years, 1 month
  • Last seen more than a month ago
Profile Activity
Stats
9,201
reputation
369k
reached
80
answers
8
questions
Communities
View all
Badges
View all badges
1
gold badge
30
silver badges
54
bronze badges
Top tags
View all tags
522
Score
49
Posts
56
Posts %
186
Score
20
Posts
23
Posts %
166
Score
9
Posts
10
Posts %
98
Score
6
Posts
7
Posts %
94
Score
6
Posts
7
Posts %
93
Score
11
Posts
12
Posts %
Top posts
View all questions and answers
answer
87
Which mathematical ideas have done most to change history?
Feb 1, 2010
answer
65
Is there any formal foundation to ultrafinitism?
Oct 30, 2010
answer
57
Is there an introduction to probability theory from a structuralist/categorical perspective?
Apr 8, 2010
answer
41
Presburger Arithmetic
Dec 29, 2009
answer
33
The unification of Mathematics via Topos Theory
Jun 23, 2010
answer
31
A programming language that can only create algorithms with polynomial runtime?
Feb 4, 2012
answer
31
What is Realistic Mathematics?
Aug 8, 2010
answer
31
How do they verify a verifier of formalized proofs?
Mar 16, 2010
answer
23
How do proof verifiers work?
Jul 22, 2010
answer
23
Has decidability got something to do with primes?
Mar 31, 2010
Top network posts
View all network posts
73
Realizability theory: difference in power between Lambda calculus and Turing Machines
64
How do I deal with crying in front of my supervisor?
43
Halting problem, uncomputable sets: common mathematical proof?
43
Explaining Applicative functor in categorical terms - monoidal functors
42
Does there exist an extension of regular expressions that captures the context free languages?