**9**

votes

**3**answers

1k views

### Is formal proof (formalized mathematics) interesting to practicing mathematicians? To educators? [closed]

Formalizing mathematical proofs so that they can be checked for correctness and manipulated by computer is a recurrent proposal, most notably stated in the QED manifesto (1994). The December 2008 ...

**17**

votes

**5**answers

3k views

### Pacing for learning new material

I'm beginning to run into work where I have to do a significant amount of learning of math by myself, with a book rather than with a teacher. Now, I do know that doing problems tends to be the best ...

**47**

votes

**9**answers

11k views

### Relating Category Theory to Programming Language Theory

I'm wondering what the relation of category theory to programming language theory is.
I've been reading some books on category theory and topos theory, but if someone happens to know what the ...

**42**

votes

**42**answers

11k views

### What should be offered in undergraduate mathematics that's currently not (or isn't usually)? [closed]

What's one class that mathematics that should be offered to undergraduates that isn't usually? One answer per post.
Ex: Just to throw some ideas out there
Mathematical Physics (for math students, not ...

**3**

votes

**11**answers

4k views

### Your experience of Computer Science/Programming in Mathematics Education? [closed]

This is a survey question, which seeks to produce a list of answers from the audience of mathematicians.
Motivation: I'm doing research in mathematics education. I'm particularly interested in ...

**2**

votes

**2**answers

868 views

### An “Elementary” Math Question Generalized (Ring Theory Perhaps)

The following question is posed in the book "The USSR Olympiad Problem Book: Selected Problems and Theorems of Elementary Mathematics"
"Prove that if integers a_1, ..., a_n are all distinct, then the ...

**121**

votes

**30**answers

39k views

### Real-world applications of mathematics, by arxiv subject area?

What are the most important applications outside of mathematics of each of the major fields of mathematics? For concreteness, let's divide up mathematics according to arxiv mathematics categories, ...

**2**

votes

**2**answers

289 views

### Characterizing triangles unembeddedly

The mathedu mailing list has a recent longish thread at
http://www.nabble.com/Why-do-we-do-proofs--to25809591.html
which discussed among other things whether we should teach triangles as labeled or ...