User Neel Krishnaswami

87 votes

Which mathematical ideas have done most to change history?

answered Feb 1, 2010 at 15:12

65 votes

Accepted

Is there any formal foundation to ultrafinitism?

answered Oct 30, 2010 at 10:01

57 votes

Is there an introduction to probability theory from a structuralist/categorical perspective?

answered Apr 8, 2010 at 16:46

41 votes

Accepted

Presburger Arithmetic

answered Dec 29, 2009 at 12:25

33 votes

The unification of Mathematics via Topos Theory

answered Jun 23, 2010 at 13:23

31 votes

What is Realistic Mathematics?

answered Aug 8, 2010 at 11:44

31 votes

Accepted

How do they verify a verifier of formalized proofs?

answered Mar 16, 2010 at 22:31

31 votes

Accepted

A programming language that can only create algorithms with polynomial runtime?

answered Feb 4, 2012 at 5:02

23 votes

Has decidability got something to do with primes?

answered Mar 31, 2010 at 7:59

23 votes

Accepted

How do proof verifiers work?

answered Jul 22, 2010 at 22:28

22 votes

Community experiences writing Lamport's structured proofs

answered Aug 16, 2010 at 8:36

21 votes

[solved] sequent calculus as programming language

answered Jun 26, 2010 at 10:59

21 votes

Are real numbers countable in constructive mathematics?

answered Jul 5, 2010 at 19:02

21 votes

Proof assistants for mathematics

answered Dec 11, 2009 at 9:09

20 votes

Proof strength of Calculus of (Inductive) Constructions

answered Jul 1, 2011 at 10:56

18 votes

Can we disallow finite choice?

answered Nov 8, 2009 at 20:42

17 votes

Is there any relationship between Bourbaki's Epsilon Calculus and Lambda Calculus? Is $\lambda x$ the same as $\tau_x$?

answered Feb 7, 2012 at 15:34

16 votes

Accepted

Is there a category of non-well-founded sets?

answered Feb 4, 2010 at 11:21

16 votes

Logic in mathematics and philosophy

answered Apr 20, 2011 at 15:49

15 votes

Do you know any good introductory resource on sequent calculus?

answered Feb 9, 2010 at 13:47

13 votes

Accepted

"Linked List" puzzle

answered Jan 27, 2010 at 22:03

12 votes

The use of the word "model" in Mathematical Logic vs the same word in Natural Sciences

answered Oct 15, 2010 at 15:50

12 votes

How to present mathematics to non-mathematicians?

answered Nov 24, 2010 at 11:35

12 votes

Basic software libraries for numerical analysis using modern programming languages?

answered Oct 13, 2010 at 9:35

12 votes

Uses of bisimulation outside of computer science.

answered May 27, 2010 at 21:16

12 votes

Any example of a non-strong monad?

answered Jan 12, 2012 at 7:54

11 votes

Are rings really more fundamental objects than semi-rings?

answered Apr 7, 2010 at 9:30

11 votes

Strengthening the induction hypothesis

answered Jul 13, 2010 at 18:12

11 votes

Why are universal introduction and existential elimination valid inference rules?

answered Feb 4, 2010 at 13:32

10 votes

Were Bourbaki committed to set-theoretical reductionism?

answered Jan 10, 2010 at 10:56

Stack Exchange Network

80 Answers

Which mathematical ideas have done most to change history?

Is there any formal foundation to ultrafinitism?

Is there an introduction to probability theory from a structuralist/categorical perspective?

Presburger Arithmetic

The unification of Mathematics via Topos Theory

What is Realistic Mathematics?

How do they verify a verifier of formalized proofs?

A programming language that can only create algorithms with polynomial runtime?

Has decidability got something to do with primes?

How do proof verifiers work?

Community experiences writing Lamport's structured proofs

[solved] sequent calculus as programming language

Are real numbers countable in constructive mathematics?

Proof assistants for mathematics

Proof strength of Calculus of (Inductive) Constructions

Can we disallow finite choice?

Is there any relationship between Bourbaki's Epsilon Calculus and Lambda Calculus? Is $\lambda x$ the same as $\tau_x$?

Is there a category of non-well-founded sets?

Logic in mathematics and philosophy

Do you know any good introductory resource on sequent calculus?

"Linked List" puzzle

The use of the word "model" in Mathematical Logic vs the same word in Natural Sciences

How to present mathematics to non-mathematicians?

Basic software libraries for numerical analysis using modern programming languages?

Uses of bisimulation outside of computer science.

Any example of a non-strong monad?

Are rings really more fundamental objects than semi-rings?

Strengthening the induction hypothesis

Why are universal introduction and existential elimination valid inference rules?

Were Bourbaki committed to set-theoretical reductionism?