User Charles Stewart

47 votes

Which mathematical ideas have done most to change history?

answered Feb 1, 2010 at 15:17

24 votes

What are the applications of hypergraphs?

answered Feb 2, 2010 at 11:23

13 votes

What was Gödel's real achievement?

answered Apr 3, 2010 at 12:40

12 votes

Why is it so difficult to write complete (computer verifiable) proofs?

answered May 11, 2010 at 11:23

11 votes

Programming Languages Based on Category Theory

answered Apr 2, 2010 at 9:17

10 votes

Accepted

What does the disjunction elimination rule say?

answered Feb 26, 2010 at 16:45

10 votes

What are some examples of colorful language in serious mathematics papers?

answered Apr 23, 2010 at 7:51

9 votes

Accepted

Is there a formal notion of what we do when we 'Let X be ...'?

answered Apr 5, 2010 at 19:14

9 votes

Alternative axiom to induction

answered Jan 12, 2010 at 12:18

9 votes

Most general formulation of Gödel's incompleteness theorems

answered Jul 18, 2010 at 9:59

8 votes

Do you know any good introductory resource on sequent calculus?

answered Feb 10, 2010 at 7:09

8 votes

Accepted

Reducing ACA₀ proof to First Order PA

answered May 8, 2010 at 9:33

7 votes

Accepted

Is there a relationship between model theory and category theory?

answered Jan 16, 2010 at 14:14

7 votes

How much of the current logic is about syntax?

answered Jan 13, 2010 at 12:47

7 votes

Accepted

Weakest subsystems of second order arithmetic for mathematical logic

answered Jul 8, 2010 at 9:12

6 votes

Theory mainly concerned with $\lambda$-calculus?

answered Jan 15, 2010 at 13:28

5 votes

What does it mean for a mathematical statement to be true?

answered May 12, 2010 at 9:18

5 votes

Uses of bisimulation outside of computer science.

answered Jun 3, 2010 at 13:57

5 votes

What does it mean to 'discharge assumptions or premises'?

answered Jan 15, 2010 at 13:14

5 votes

When is something too big to be a set?

answered Jul 20, 2010 at 19:31

4 votes

Where are we working when we prove metamathematical theorems?

answered Jan 14, 2010 at 8:36

4 votes

Do you find your students are less competent in basic algebra and arithmetic, and, if so, do you believe that this is due to overuse of calculators at an early level?

answered Feb 12, 2010 at 7:07

4 votes

Accepted

Proof formalization

answered Feb 25, 2010 at 12:01

4 votes

Can we prove set theory is consistent?

answered Apr 27, 2010 at 11:32

4 votes

How do they verify a verifier of formalized proofs?

answered Mar 30, 2010 at 9:58

3 votes

Does the exact pair phenomenon for partial orders occur in your area of mathematics?

answered Apr 23, 2010 at 7:35

3 votes

Accepted

Can infinite first-order categories be specified other than as categories of models?

answered Jan 18, 2010 at 9:30

3 votes

How seriously do professors take teaching evaluations?

answered Jan 19, 2010 at 9:56

3 votes

The Importance of ZF

answered Jan 15, 2010 at 12:25

3 votes

Periods and commas in mathematical writing

answered Jan 12, 2010 at 13:18

Stack Exchange Network

40 Answers

Which mathematical ideas have done most to change history?

What are the applications of hypergraphs?

What was Gödel's real achievement?

Why is it so difficult to write complete (computer verifiable) proofs?

Programming Languages Based on Category Theory

What does the disjunction elimination rule say?

What are some examples of colorful language in serious mathematics papers?

Is there a formal notion of what we do when we 'Let X be ...'?

Alternative axiom to induction

Most general formulation of Gödel's incompleteness theorems

Do you know any good introductory resource on sequent calculus?

Reducing ACA₀ proof to First Order PA

Is there a relationship between model theory and category theory?

How much of the current logic is about syntax?

Weakest subsystems of second order arithmetic for mathematical logic

Theory mainly concerned with $\lambda$-calculus?

What does it mean for a mathematical statement to be true?

Uses of bisimulation outside of computer science.

What does it mean to 'discharge assumptions or premises'?

When is something too big to be a set?

Where are we working when we prove metamathematical theorems?

Do you find your students are less competent in basic algebra and arithmetic, and, if so, do you believe that this is due to overuse of calculators at an early level?

Proof formalization

Can we prove set theory is consistent?

How do they verify a verifier of formalized proofs?

Does the exact pair phenomenon for partial orders occur in your area of mathematics?

Can infinite first-order categories be specified other than as categories of models?

How seriously do professors take teaching evaluations?

The Importance of ZF

Periods and commas in mathematical writing