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