MathOverflow
Profile Activity
Meta user
Network profile
8,353
reputation
1
25
52

Neel Krishnaswami

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

79
answers
8
questions
~296k
people reached
  • cs.cmu.edu/~neelk
  • Member for 11 years, 3 months
  • 3,879 profile views
  • Last seen Feb 23 at 10:10

Communities (4)

Top network posts

Top tags (67)

Score 469
Posts 48
Posts % 55
Score 160
Posts 20
Score 153
Posts 9
Score 90
Posts 11
Score 90
Posts 6
Score 86
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
59 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
30 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
28 What is Realistic Mathematics? Aug 8 '10
25 The unification of Mathematics via Topos Theory Jun 23 '10
22 How do proof verifiers work? Jul 22 '10
20 Community experiences writing Lamport's structured proofs Aug 16 '10
View all questions and answers →

Badges (78)

Gold

1

Rarest

Silver

25

Rarest

Bronze

52

Rarest

View all badges →