User Neel Krishnaswami

10 votes

Accepted

Is functional programming a branch of mathematics?

answered Jan 16, 2010 at 10:11

10 votes

Impredicativity

answered May 28, 2010 at 12:46

9 votes

Accepted

Can a typing judgment admit essentially different derivations?

answered Oct 20, 2010 at 18:30

9 votes

Accepted

How to optimize student happiness in group work?

answered Mar 11, 2010 at 8:59

8 votes

Using ends to construct categorical fixed points

answered Feb 1, 2010 at 14:17

8 votes

Accepted

Formalizing "no junk, no confusion"

answered Feb 24, 2010 at 14:17

8 votes

Accepted

What assumptions and methodology do metaproofs of logic theorems use and employ?

answered Dec 14, 2009 at 9:50

7 votes

Intermediate value theorem on computable reals

answered Dec 15, 2009 at 16:59

7 votes

Accepted

computation, algebra, logic

answered Dec 16, 2009 at 9:55

7 votes

Are there any good nonconstructive "existential metatheorems"?

answered Nov 20, 2009 at 13:56

7 votes

Accepted

How much of the current logic is about syntax?

answered Jan 13, 2010 at 9:57

7 votes

Can we prove set theory is consistent?

answered Apr 26, 2010 at 21:40

6 votes

Equality vs. isomorphism vs. specific isomorphism

answered May 12, 2010 at 12:56

6 votes

Accepted

Examples of inductive proofs that can be generalized by transfinite induction

answered Mar 16, 2010 at 11:56

6 votes

A book explaining power and limitations of Peano Axioms?

answered Mar 22, 2010 at 13:46

6 votes

Freyd cover of a category.

answered Dec 29, 2010 at 12:07

6 votes

Badiou and Mathematics

answered Dec 9, 2009 at 13:53

5 votes

Accepted

Applications of propositional dynamic logic

answered Nov 19, 2009 at 14:08

5 votes

Set-theoretic foundations for formal language theory?

answered Jan 18, 2010 at 15:06

5 votes

Are there nonequivalent randomnesses?

answered Feb 10, 2010 at 9:40

5 votes

A functor whose initial algebra is another's terminal coalgebra

answered Feb 21, 2011 at 22:05

5 votes

Accepted

Defining variable, symbol, indeterminate and parameter

answered Jun 24, 2010 at 20:05

5 votes

Does type theory help us avoid the "defining postulate"?

answered Apr 11, 2023 at 16:14

5 votes

Accepted

Formal verification of simple equational proofs (as in Universal Algebra...)?

answered Jul 26, 2011 at 7:03

4 votes

What non-monoidal functors on monoidal categories are used "in nature"?

answered Mar 22, 2012 at 14:08

4 votes

What are other theories of causality besides graphical models and Bayesian networks?

answered Jun 15, 2010 at 8:11

4 votes

Comprehensive reference for synthetic euclidean geometry

answered May 22, 2010 at 10:37

4 votes

Context free grammar + functions = ?

answered Feb 26, 2010 at 9:14

4 votes

What does the disjunction elimination rule say?

answered Feb 26, 2010 at 10:09

4 votes

What are the most attractive Turing undecidable problems in mathematics?

answered Jan 12, 2010 at 15:55

Stack Exchange Network

80 Answers

Is functional programming a branch of mathematics?

Impredicativity

Can a typing judgment admit essentially different derivations?

How to optimize student happiness in group work?

Using ends to construct categorical fixed points

Formalizing "no junk, no confusion"

What assumptions and methodology do metaproofs of logic theorems use and employ?

Intermediate value theorem on computable reals

computation, algebra, logic

Are there any good nonconstructive "existential metatheorems"?

How much of the current logic is about syntax?

Can we prove set theory is consistent?

Equality vs. isomorphism vs. specific isomorphism

Examples of inductive proofs that can be generalized by transfinite induction

A book explaining power and limitations of Peano Axioms?

Freyd cover of a category.

Badiou and Mathematics

Applications of propositional dynamic logic

Set-theoretic foundations for formal language theory?

Are there nonequivalent randomnesses?

A functor whose initial algebra is another's terminal coalgebra

Defining variable, symbol, indeterminate and parameter

Does type theory help us avoid the "defining postulate"?

Formal verification of simple equational proofs (as in Universal Algebra...)?

What non-monoidal functors on monoidal categories are used "in nature"?

What are other theories of causality besides graphical models and Bayesian networks?

Comprehensive reference for synthetic euclidean geometry

Context free grammar + functions = ?

What does the disjunction elimination rule say?

What are the most attractive Turing undecidable problems in mathematics?