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

Neel Krishnaswami

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

79
answers
8
questions
~294k
people reached
  • cs.cmu.edu/~neelk
  • Member for 11 years, 2 months
  • 3,870 profile views
  • Last seen 5 hours ago

Communities (4)

Top network posts

Top tags (0)

This user has not participated in any 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 →