Questions involving philosophy of mathematics. Please consider if Philosophy Stack Exchange is a better site to post your question.

learn more… | top users | synonyms

6
votes
3answers
630 views

Good Sources for Lecture Movies in Set Theory, Logic and Philosophy of Maths

Of course as any other researcher I'm not able to attend any scientific event in my research area. But it is always interesting and useful to watch the lecture movies of these events. I will ...
0
votes
4answers
150 views

what is $e$ really? what is its meaning? [duplicate]

I don't get it how we came up with $e$ and how can nature use this number so much! that is what I have been told and I only know that $e$ is a specific constant like $\pi$! I understand that $\pi$ ...
3
votes
3answers
245 views

Are there examples of mathematical problems proven by abduction?

Proof by deduction is a simple principal. For example: All humans are mortal, and Bill is a human; Therefore, Bill is mortal. However, proof by abduction is a bit different. A famous example: ...
3
votes
2answers
75 views

Undecidability and truth

Are there undecidable problems for which a single truth exists? For example, the question about parallels is not decidable from Euclid axioms. But multiple answers are valid and give different kinds ...
-1
votes
1answer
217 views

Hand-incalculable Problems

Let's define a "hand-incalculable problem" as a mathematical problem that can not be solved by available human calculation power (using only writing materials and utensils) at a specific date and ...
18
votes
7answers
2k views

Why do we stop at exponentiation stage in arithmetic of natural numbers?

In natural numbers the unary successor operator $S$ is the most natural function which maps each number to the next one. Furthermore we may consider the binary relation $+$ as an iteration of $S$. ...
1
vote
2answers
100 views

How can we explain the discrepancy between $\rightarrow$ (IF-THEN) and $\setminus$ (A-BUT-NOT-B)?

Let $\mathbb{B} = \{0,1\}$ denote the Boolean domain, ordered in the usual way. Then $\mathbb{B}$ is a lattice. It has a join operation $\vee$ that coincides with "OR," a meet operation $\wedge$ that ...
0
votes
1answer
21 views

How could we define the existence of an object/element in the Euclidean space?

Let X be an object/element, What does it mean when I say "X is an object in the Euclidean space"? in other words, What differs an existed object from an unexisted one in the Euclidean space?
3
votes
2answers
85 views

Formal theories dealing with non-commutattive and non-transitive notion of equality

This question is inspired by a philosophical discussion which I don't want to bother you with. As far as I know when we use (or define) the statement "$x$ is equal to $y$" in logic and ordinary ...
-1
votes
1answer
60 views

Points and real intervals [closed]

The sorites paradox goes like this: Start with a heap of sand. Remove a grain of sand and you still have a heap; remove another, and another, and another, and you'll still have a heap. Eventually, ...
11
votes
1answer
300 views

Can the set of computable numbers be used as a theoretical basis for calculus?

I recall from my Real Analysis course that the rational numbers $\mathbb{Q}$ are not suitable for doing calculus, and I believe the reason was that $\mathbb{Q}$ does not possess the least-upper-bound ...
1
vote
0answers
115 views

An adequate difference between $\forall x\in A:P(x)$ and $(\forall x)(x\in A\rightarrow P(x))$?

Ever since I was a young student I have felt doubts about the traditional $(\forall x)$-expression: starting a statement with such an irrational lack of focus doesn't seems reasonable! I mean, all $x$ ...
0
votes
2answers
163 views

Does axiom of foundation/regularity protect against Russell-like paradoxes?

In ZF set theory the axiom of regularity (also called axiom of foundation) says that: In all nonempty sets x there is an element y such that x∩y=∅ As I been told that the intention of the axiom ...
2
votes
1answer
112 views

Does Mathematics exists apart from the mathematician? [closed]

Does Mathematics exists apart from the mathematician? Explain yourself. Mathematics seems to be a projection of the mind. But from where the mind originates? Can the source of the mind be known or you ...
4
votes
2answers
226 views

Are “proofs” that are contingent upon physical reality valid?

Consider the following statement: Let $P$ be any polygon and let $A$ be a point inside of $P$. Then there exists at least one side of $P$ such that the perpendicular from $A$ to said side touches ...
2
votes
1answer
252 views

Building math theory on absurd axioms - reducing math to logic

I know similar questions have been asked and i know my terminology might be wrong but I am trying to come to an answer to whether math can be derived from logic. Wikipedia defines logic as use and ...
-1
votes
2answers
367 views

Is Infinity Needed in Maths? Does Infinity Actually Exist? [closed]

I'm asking this question as I have been having an on going online debate with a friend of mine. I claimed that Infinity does in fact exist in Maths and in Reality, as there's a whole plethora of ...
3
votes
5answers
222 views

Is $'' \sum_{n = 1}^{\infty} (-1)^n \; \text{is a real number}''$ an invalid statement or a false proposition?

So we're beginning an introductory logic course and my professor is giving examples for valid statements/ propositions - meaningful statements that are either true or false but not both. So he puts ...
5
votes
2answers
115 views

How is Cartesian coordinate system related to his philosophy

In 1637, Rene Descartes published his famous monograph about philosophy "Discourse on the Method of reasoning well and Seeking Truth in the Sciences", and analytic method of geometry has been come up ...
3
votes
2answers
195 views

Three-valued logic as foundation

Isn't it more natural to use Three-valued logic(false-true-unknown) as the foundation of mathematics? It is a better model for natural languages. And it also can model sentences like the lair paradox ...
2
votes
1answer
42 views

Probability that theoretical results match experimental results

I am not sure if this can be determined, but I was wondering if there was any way to go deeper into probability to find the odds that your experimental results match your theoretical results. For ...
9
votes
4answers
295 views

The nature of infinities

I have been thinking about the nature of infinity lately. I have no experience with higher mathematics or theorems regarding infinity, so please forgive me if my ideas on this topic are extremely ...
3
votes
2answers
235 views

Gödel's incompleteness theorems

In the last paragraph of Stephan Hawking's speech "Godel and the End of the Universe", he mentioned "... I'm now glad that our search for understanding will never come to an end, and that we will ...
1
vote
1answer
189 views

Why is time important in the Ross-Littlewood paradox?

I have read many defferent versions of the Ross-Littlewood Paradox. This post: Fun quiz: where did the infinitely many candies come from? This post: Paradox: increasing sequence that goes to $0$? ...
6
votes
0answers
79 views

Codifying ways to think and write about imprecise ideas?

This question will not be about affine spaces; rather those are mentioned here as one of many examples. A vector space has an underlying set and a field of scalars and an operation of linear ...
2
votes
1answer
117 views

Geometries (Euclidean and Projective)

We can think of Euclidean Geometry and Cartesian (Coordinate) Geometry as equivalent, in the sense that some proposition is true in Euclidean Geometry iff it's true in Coordinate Geometry. It makes ...
15
votes
4answers
524 views

Which mathematical ideas most influenced the way you think?

This is not a question about how you use a formula or mathematical method to solve quantitative problems - that is applied mathematics. Rather, I'd like to hear how deeper ideas gained through the ...
0
votes
3answers
520 views

Why Maximize Expected Value?

In many instances I've come across (in Game Theory, etc), when trying to choose an optimal strategy it has the criterion that it wants to maximize expected value much of the time. To simplify this ...
2
votes
8answers
824 views

Are the real numbers really uncountable?

Consider the following statement Every real number must have a definition in order to be discussed. What this statement doesn't specify is how that loose-specific that definition is. Some examples ...
1
vote
3answers
129 views

Zermelo–Fraenkel set theory the natural numbers defines $1$ as $1 = \{\{\}\}$ but this does not seem right

If 1 can be defined as the set that contains only the empty set then what of sets which contain one thing such as the set of people who are me. number 1 does not just mean $1$ nothing, it means $1$ ...
1
vote
1answer
114 views

Formulation VS Interpretation

I'm reading a book on Mathematical Physics and at some point the author says that we must distinguish between a "formulation" and an "interpretation" of a theory, although it's not easy to point what ...
0
votes
2answers
145 views

Is the “Most Important Property a Set S has” Necessary and Sufficient to Define a Paradox-Free Notion of Set?

About a year and a half ago, while I was looking on the Web for papers regarding the Russell paradox, I chanced to find an interesting concept. This concept was contained in what (for want of a ...
2
votes
1answer
132 views

Why didn't Frege succeed in his attempts to reduce mathematics to logic?

My background: Sophomore-level understanding of mathematics and philosophical logic. All the explanations I have found online so far are either far too technical or too simplistic. Thanks in advance ...
4
votes
2answers
462 views

What is the meaning/purpose of finding the “foundations of mathematics”?

I've read in a lot of places how there was a "foundational crisis" in defining the "foundations of mathematics" in the 20th century. Now, I understand that mathematics was very different then, I ...
0
votes
2answers
79 views

particular property and completeness?

I was puzzeling with the almost standard definition of completeness: In mathematical logic and metalogic, a formal system is called complete with respect to a particular property if every formula ...
3
votes
3answers
455 views

How Do You Know If Mathematical Definition Matches Up With Reality?

This is probably one of the biggest question I have when learning some mathematics. I always wonder if I have a concept in my head lets say continuity. Lets I want this concept to be able to ...
0
votes
1answer
237 views

Zero vs Infinity relation type

I'm not sure it should be asked here or in philosophy. Bertrand Russell in his book "Introduction to Mathematical Philosophy" in chapter 7 when discussing rational numbers on page 66 says: "It will ...
13
votes
9answers
1k views

Interviews of famous modern mathematicians

I was wondering, are there any good collections of interviews of famous modern mathematicians? It can be text interviews, or audio or video recordings. I am not sure what exactly I mean by "modern". ...
2
votes
0answers
115 views

Why are divergent Fourier series all so 'HARD'?

I'm not sure if this question is appropriate or even making sense, but I still feel curious: why are every example of divergent Fourier series SO COMPLICATED? It usually takes pages to construct and ...
37
votes
9answers
5k views

Is complex analysis more “real” than real analysis?

In physics, in the past, complex numbers were used only to remember or simplify formulas and computations. But after the birth of quantum physics, they found that a thing as real as "matter" itself ...
13
votes
3answers
802 views

What is more important in Mathematics, Theorems or its Proofs?

Felix Klein once said, Mathematics has been advanced most by those who are distinguished more for intuition than for rigorous methods of proof. Till now I thought the opposite. I thought that ...
8
votes
4answers
491 views

The standard role of intuitive numbers in the foundations of mathematics

In my career I've been formed mostly in the formal side of mathematics, that is, standard set theory and every classical branch of mathematics that uses set theory. However, I am not quite sure about ...
3
votes
2answers
195 views

Is it Theoretically Impossible to Demonstrate that Set Theories Are Consistent?

I have to present on the main realist and non-realist arguments for/against set theory. According to one of my sources, it remains a matter of debate as to whether any of the set theories' (ZF, NF, ...
39
votes
14answers
11k views

How big is infinity?

This might be more philosophy than math, but it’s been bothering me for a while. Question: If there’s an infinite amount of real numbers between $ 0 $ and $ 1 $, shouldn’t there be twice the ...
7
votes
2answers
353 views

Set theoretic realism

What are the main contemporary arguments for and against realism about set theory?
0
votes
1answer
37 views

Evolution of Relations

In Frege, one finds relations treated as predicates in complex terms. However, modern set theory appears to treat them as two-place relation. Is this correct? If so, when did this shift occur and to ...
1
vote
1answer
140 views

A question regarding Worldly Cardinals and L

For some $L_\kappa$ in the constructible hierarchy, does there exist a $\kappa$ such that $\kappa$ is a worldly cardinal and that $L_\kappa$ contains all of the constructible reals? The motivation ...
1
vote
2answers
134 views

Abstract Objects in Logic

I am confused on the concept of extensionality versus intensionality. When we say 2<3 is True, we say that 2<3 can be demonstrated by a mathematical proof. So, according to mathematical logic, ...
2
votes
1answer
165 views

Does math have to be learned linearly?

I am asking because often times one doesn't know where to start in math. "Just learn what you need" is very vague and unspecific ... for example, assume I'm a beginner at Algebra and was considering 3-...
1
vote
3answers
127 views

Why do we formalize conceptions?

Why do we always try to formalize conceptions? Let's take the naive conception of sets, why do we try to write down a list of axioms? what do we earn in doing so? I'm looking especially for references....