For questions in Mathematics Education as a scientific discipline. For more hands-on questions on teaching Mathematics, please use the tag teaching. There is also a Stack Exchange community http://matheducators.stackexchange.com/

learn more… | top users | synonyms

9
votes
3answers
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
5answers
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
9answers
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
42answers
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
11answers
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
2answers
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
30answers
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
2answers
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 ...