MathOverflow
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami
  • Member for 13 years, 7 months
  • Last seen this week
Profile Activity
Stats
8,913
reputation
342k
reached
80
answers
8
questions
Communities
View all
Badges
View all badges
1
gold badge
27
silver badges
53
bronze badges
Top tags
View all tags
502
Score
49
Posts
56
Posts %
177
Score
20
Posts
23
Posts %
165
Score
9
Posts
10
Posts %
98
Score
6
Posts
7
Posts %
91
Score
6
Posts
7
Posts %
88
Score
11
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
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
55
Is there an introduction to probability theory from a structuralist/categorical perspective?
Apr 8, 2010
answer
36
Presburger Arithmetic
Dec 29, 2009
answer
32
The unification of Mathematics via Topos Theory
Jun 23, 2010
answer
31
What is Realistic Mathematics?
Aug 8, 2010
answer
31
How do they verify a verifier of formalized proofs?
Mar 16, 2010
answer
30
A programming language that can only create algorithms with polynomial runtime?
Feb 4, 2012
answer
23
How do proof verifiers work?
Jul 22, 2010
answer
22
Community experiences writing Lamport's structured proofs
Aug 16, 2010
Top network posts
View all network posts
70
Realizability theory: difference in power between Lambda calculus and Turing Machines
43
Explaining Applicative functor in categorical terms - monoidal functors
42
Halting problem, uncomputable sets: common mathematical proof?
40
Programming languages with canonical functions
37
Does there exist an extension of regular expressions that captures the context free languages?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.