**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

867 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 ...

**119**

votes

**29**answers

38k 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 ...