MathOverflow
Profile Activity
Meta user
Network profile
8,273
reputation
1
24
52

Neel Krishnaswami

Apparently, this user prefers to keep an air of mystery about them.

79
answers
8
questions
~282k
people reached
  • cs.cmu.edu/~neelk
  • Member for 10 years, 6 months
  • 3,773 profile views
  • Last seen May 20 at 18:07

Communities (4)

Top network posts

Top tags (67)

Score 461
Posts 48
Posts % 55
Score 160
Posts 20
Score 148
Posts 9
Score 89
Posts 11
Score 89
Posts 6
Score 84
Posts 6
View all tags →

Top posts (87)

All Questions Answers
Votes Newest
86 Which mathematical ideas have done most to change history? Feb 1 '10
57 Is there any formal foundation to ultrafinitism? Oct 30 '10
50 Is there an introduction to probability theory from a structuralist/categorical perspective? Apr 8 '10
29 How do they verify a verifier of formalized proofs? Mar 16 '10
29 Presburger Arithmetic Dec 29 '09
29 A programming language that can only create algorithms with polynomial runtime? Feb 4 '12
27 What is Realistic Mathematics? Aug 8 '10
25 The unification of Mathematics via Topos Theory Jun 23 '10
21 How do proof verifiers work? Jul 22 '10
19 Has decidability got something to do with primes? Mar 31 '10
View all questions and answers →

Badges (77)

Gold

1

Rarest

Silver

24

Rarest

Bronze

52

Rarest

View all badges →