Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami
  • Member for 14 years, 4 months
  • Last seen this week
87 votes

Which mathematical ideas have done most to change history?

66 votes
Accepted

Is there any formal foundation to ultrafinitism?

57 votes

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

37 votes
Accepted

Presburger Arithmetic

32 votes

The unification of Mathematics via Topos Theory

31 votes

What is Realistic Mathematics?

31 votes
Accepted

How do they verify a verifier of formalized proofs?

30 votes
Accepted

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

23 votes
Accepted

How do proof verifiers work?

22 votes

Community experiences writing Lamport's structured proofs

22 votes

Has decidability got something to do with primes?

21 votes

Proof assistants for mathematics

20 votes

[solved] sequent calculus as programming language

20 votes

Are real numbers countable in constructive mathematics?

18 votes

Can we disallow finite choice?

17 votes

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

17 votes

Proof strength of Calculus of (Inductive) Constructions

16 votes

Logic in mathematics and philosophy

15 votes

Do you know any good introductory resource on sequent calculus?

14 votes
Accepted

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

12 votes

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

12 votes

Strengthening the induction hypothesis

12 votes

Basic software libraries for numerical analysis using modern programming languages?

12 votes

Any example of a non-strong monad?

11 votes

How To Present Mathematics To Non-Mathematicians?

11 votes

Are rings really more fundamental objects than semi-rings?

11 votes

Uses of bisimulation outside of computer science.

11 votes

Why are universal introduction and existential elimination valid inference rules?

10 votes
Accepted

"Linked List" puzzle

10 votes

Were Bourbaki committed to set-theoretical reductionism?