Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
MathOverflow
Meta User
Network Profile
7,702
reputation
1
23
51

Neel Krishnaswami

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

79
answers
8
questions
~258k
people reached
  • cs.cmu.edu/~neelk
  • Member for 9 years, 4 months
  • 3,541 profile views
  • Last seen 22 hours ago

Communities (4)

Top Network Posts

Top Tags (67)

Score 458
Posts 48
Posts % 55
Score 157
Posts 20
Score 146
Posts 9
Score 89
Posts 11
Score 84
Posts 6
Score 82
Posts 6
View all tags →

Top Posts (87) All Questions Answers | Votes Newest

85 Which mathematical ideas have done most to change history? Feb 1 '10
54 Is there any formal foundation to ultrafinitism? Oct 30 '10
48 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
26 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 (75)

Gold

1

Rarest

Silver

23

Rarest

Bronze

51

Rarest

View all badges →