MathOverflow
user avatar
user avatar
user avatar
Neel Krishnaswami
  • Member for 12 years, 6 months
  • Last seen this week
Profile Activity
Stats
8,673
reputation
324k
reached
79
answers
9
questions
Communities
View all
Badges
View all badges
1
gold badge
26
silver badges
53
bronze badges
Top tags
View all tags
487
Score
48
Posts
55
Posts %
171
Score
20
Posts
23
Posts %
158
Score
9
Posts
10
Posts %
93
Score
6
Posts
7
Posts %
88
Score
11
Posts
12
Posts %
88
Score
6
Posts
7
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
62
Is there any formal foundation to ultrafinitism?
Oct 30, 2010
answer
52
Is there an introduction to probability theory from a structuralist/categorical perspective?
Apr 8, 2010
answer
36
Presburger Arithmetic
Dec 29, 2009
answer
31
The unification of Mathematics via Topos Theory
Jun 23, 2010
answer
30
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
29
What is Realistic Mathematics?
Aug 8, 2010
answer
22
Community experiences writing Lamport's structured proofs
Aug 16, 2010
answer
22
How do proof verifiers work?
Jul 22, 2010
Top network posts
View all network posts
67
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
36
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.