Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 3154

Questions that are about research in mathematics, or about the job of a research mathematician, without being mathematical problems or statements in the strictest sense. Do not use this tag for easy or supposedly easy mathematical questions.

47 votes

Which mathematical ideas have done most to change history?

Euclid's axiomatic treatment of geometry. Very important in medieval thought.
0 votes

What subfields of mathematics better lend themselves to visualization?

If you can excuse the flippancy, one might define category theory as algebra that benefits from two-dimensional equations. To be more serious, sketches in category theory, or the various classes of v …
Charles Stewart's user avatar
12 votes

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

Well, it was agony to come up with the original Jordan curve theorem... Informal proofs make a lot of gestures at expert knowledge to avoid spelling out the mechanics of the less interesting steps in …
Charles Stewart's user avatar
10 votes

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

More Weyl, all Mancosu's translation, all in his fierce days advocating Brouwer's mathematics: Weyl (1921) On the New Foundational Crisis of Mathematics, It must have the effect of a deliverance …
3 votes

How seriously do professors take teaching evaluations?

You have excellent answers concerning anonymity. Regarding how seriously they are taken, it varies widely. In the faculties I have been involved in (except, I think, Yale, but my involvement was min …
3 votes

The Importance of ZF

This answer is essentially a Joel's version by another route. ZF(C), possibly with appropriate large cardinal axioms, is one of the three most important formal axiomatisations in the foundations of m …
Charles Stewart's user avatar
12 votes
3 answers
7k views

Is functional programming a branch of mathematics?

In Theory mainly concerned with lambda-calculus?, F. G. Dorais wrote, of the idea that the lambda-calulus defines a domain of mathematics: That would never stick unless there's another good reason …
2 votes

Models of ZFC Set Theory - Getting Started

From comment: how do we get from "the abstract" to "the concrete"? In my partly informed opinion, not by formal model theory! The ability of set theory to describe its own models is one of the pilla …
Charles Stewart's user avatar
6 votes

Theory mainly concerned with $\lambda$-calculus?

I don't know of one that seems sufficiently general. The theory's at an intersection: It (in its untyped guise) is one of the four most important Turing-complete computation systems; It is algebra …
Charles Stewart's user avatar
3 votes

Periods and commas in mathematical writing

Mathematics is part of a text in the same way that poetry might be part of a literary essay. When citing poetry, a set off (i.e., displayed as a quote) part of a verse almost universally keeps exactl …