12
votes
6answers
809 views

Proof by `universal receiver'

Anyone following the news knows about the major breakthoughs that have taken place recently in $3$-manifold topology. These have come via a route whose big-picture I find to be conceptually ...
3
votes
0answers
736 views

Which mathematical questions are objectively true or false? [closed]

Which parts of mathematics are objectively true or false like finite arithmetic and which are only true, false or undecidable relative to a particular axiom system such as Euclidean geometry? ...
6
votes
1answer
862 views

How are mathematical objects defined from an ultrafinitist perspective?

I remember attending a lecture given by an ultrafinitist who denied that curves are a set of points, he would only say that any particular point may or not be on the curve. Similarly for algebraic or ...
48
votes
12answers
9k views

Logic in mathematics and philosophy

What are the relations between logic as an area of (modern) philosophy and mathematical logic. The world "modern" refers to 20th century and later, and I am curious mainly about the second half of ...
16
votes
7answers
4k views

What is Realistic Mathematics?

This post is partially about opinions and partially about more precise mathematical questions. Most of this post is not as formal as a precise mathematical question. However, I hope that most readers ...
9
votes
6answers
1k views

Defining variable, symbol, indeterminate and parameter

Are there precise definitions for what a variable, a symbol, a name, an indeterminate, a meta-variable, and a parameter are? In informal mathematics, they are used in a variety of ways, and often in ...
17
votes
8answers
4k views

To what extent is it true that “number theory = mathematics”? [closed]

In a thought-provoking answer to this MO question, Kevin Buzzard and several commentators have described a multitude of ways in which number theory is related to other parts of mathematics. It seems ...