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

learn more… | top users | synonyms

0
votes
1answer
229 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
108 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 ...
36
votes
9answers
4k views

Complex analysis is 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 ...
12
votes
3answers
787 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 ...
7
votes
4answers
461 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
194 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
344 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
132 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
129 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
159 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 ...
1
vote
3answers
125 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 ...
4
votes
1answer
472 views

Do only certain people exceed at math well? [closed]

It's obvious if you look around that math has always been one of the toughest subjects in all areas, from federal-traditional public schools to simply people learning it as an autodidact, hobby, or as ...
2
votes
1answer
133 views

Difference between impredicative and predicative version of separation axiom

What is the difference between an impredicative and a predicative version of the separation axiom in ZFC: $$\forall x \exists y \forall z ( z\in y \leftrightarrow (z \in x \wedge \phi (z)) $$ What ...
2
votes
2answers
129 views

Are axioms chosen with the goal of “making things work” instead of some deep philosophies?

Are axioms chosen with the goal of "making things work" instead of some deep philosophies? If everything should be deducible, that is, provable from something else, then in this chain of deduction ...
23
votes
10answers
4k views

How can Zeno's dichotomy paradox be disproved using mathematics?

A brief description of the paradox taken from Wikipedia: Suppose Sam wants to catch a stationary bus. Before he can get there, he must get halfway there. Before he can get halfway there, he must ...
2
votes
2answers
155 views

Study of all published works of Bertrand Russell on foundations of mathematics: Please recommend his works.

Study of all published works of Bertrand Russell on foundations of mathematics: Please recommend his works. I think Bertrand Russell was a special mind and I set a goal for myself to study all his ...
3
votes
3answers
81 views

Logical 0, binary 0, decimal 0: are they the same?

Logical 0, binary 0, decimal 0: are they all the same in mathematics? A programming language might treat them differently, but is 0 just 0? No matter whether it is logical, binary, decimal, ...
5
votes
3answers
179 views

Disturbing the foundations of mathematics

I was curious of knowing if it is possible that an event "x" could disturb so greatly mathematics that we could be casting doubts on all the achieved results from the very beginning. I'm not sure if ...
2
votes
1answer
168 views

Why should we accept the existence of subsets $A$ such that neither $A$ nor $A^c$ are recursively ennumerable? And how can we persuade others?

Encode every pair $(t,x)$ (where $t$ is a Turing machine and $x$ is an input string) as a distinct natural number. Then the halting subset $H$ fails to be recursive. $$H := \{(t,x) \in \mathbb{N} ...
48
votes
17answers
5k views

Is a proof still valid if only the writer understands it? [closed]

Say that there is some conjecture that someone has just proved. Let's assume that this proof is correct--that it is based on deductive reasoning and reaches the desired conclusion. However, if ...
1
vote
1answer
90 views

When is it useful to reduce mathematical objects to foundational levels and when it is not?

When is it useful to reduce mathematical objects to foundational levels and when it is not? Let's say you work in the field of computer vision, or else. How can you claim your method is optimal if ...
5
votes
3answers
265 views

Are there other approaches for the foundations of mathematics, other than logic and set theory?

Are there other approaches for the foundations of mathematics, other than logic and set theory? And why does set theory begin talking about objects and groups of objects. Is it proven somewhere that ...
0
votes
1answer
117 views

If a set is a group of objects, then what is an object? [closed]

If a set is a group of objects, then what is an object? My best try at this is the following: An object is anything that we can discuss or think about, separately from everything else. It is not ...
2
votes
1answer
103 views

Question about the univalence axiom versus skeleta.

Here, Dan Licata writes: [Univalence] can be used to build algebraic structures in such a way that isomorphic structures are equal (e.g. equality of groups is group isomorphism). He writes ...
1
vote
1answer
69 views

Constructivist Interpretation of a Function

Lets suppose I have an exponential function $a^{x}$, and I desire to show that for any number $n$ in $(0, \infty)$, it is possible to find a value of $x_0$ such that $a^{x_0} = n$. The simplest proof ...
1
vote
2answers
807 views

Consistency of ZFC and the key assumption [closed]

I recently read this answer to a MathOverflow question that got me thinking. Very roughly, here's what the author of that answer says: Gödel's second incompleteness theorem implies that if there ...
2
votes
1answer
120 views

Do circles exist

So I was wondering about circles today and if they really do exsist. If you graph a circle in function mode, your equation looks like$$y=\sqrt{1-x^2}$$ Now for simple purposes lets take a portion of ...
7
votes
2answers
302 views

New Axioms of Infinity

Axiom of Infinity says there is an inductive set (i.e. a set which includes $\emptyset$ and is closed under successor operator). Formally: $Inf:\exists x~(\emptyset\in x~\wedge~\forall y\in ...
2
votes
1answer
67 views

Variable theory

I wanted to know if there's any alternative variable theory to Russell's used in his Principia. I mean, the modern definition of "variable" and "constant" still follows his works? I try to search on ...
6
votes
3answers
313 views

Do the Kolmogorov's axioms permit speaking of frequencies of occurence in any meaningful sense?

It is frequently stated (in textbooks, on Wikipedia) that the "Law of large numbers" in mathematical probability theory is a statement about relative frequencies of occurrence of an event in a finite ...
4
votes
6answers
324 views

Logical issues with the weak law of large numbers and its interpretation

In several probability textbooks I have found what amounts to the following argument: Let A be an event in some probabilistic experiment. Let p=P(A) be the probability of this event occurring in ...
2
votes
2answers
135 views

How an axiomatic system is made?

An axiom is a sentence that is taken to be true without a proof. A set of (well organised) axioms is called an axiomatic system. As consequence of these axioms we get a lot of results that we call ...
5
votes
4answers
161 views

“The enrapturing discoveries of our field systematically conceal (…) the analogical train of thought that is the authentic life of mathematics…”

In the preface of the book Discrete Thoughts, Gian-Carlo Rota writes: Sometime, in a future that is knocking at our door, we shall have to retrain ourselves or our children to properly tell the ...
5
votes
2answers
129 views

How does undecidability of 'theoremhood' imply that human ingenuity is necessary in mathematics?

In Robert Stoll's "Set Theory and Logic", there is the following passage on effectiveness of theorems (p. 375) : Mathematical logicians have shown that for many interesting axiomatic theories ...
3
votes
1answer
183 views

Errors of Euler interpretation?

To complement the recent post on Euler's errors, I would pose the following question: what common errors of Euler interpetation appear in the literature? What errors are attributed to Euler's work in ...
2
votes
0answers
84 views

What if segments are not infinitely divisible?

I almost got myself mixed up I a philosophical discussion again. Somebody was talking about the Planck time and length which are, according to him, the minimal possible time and distance, and how ...
3
votes
1answer
1k views

First and Second Fundamental Form Intuition

I was just wondering what various quantities relating to the first and second fundamental forms of a regular surface mean intuitively. First of all, another explanation as to what the first and second ...
1
vote
1answer
72 views

What exactly does $\vdash_T G_T \leftrightarrow \lnot \exists y$ Prf$(\ulcorner G_T \urcorner, y)$ mean?

To me this translates to: $G_T$ is provable in $T$ if and only if there doesn't exist a $y$ such that $y$ is a witness to the provability of $\ulcorner G_T \urcorner$. But I'm not entirely sure what ...
6
votes
3answers
317 views

Is math independent of our sensory experience? [closed]

I've been asking myself this and other questions in the field of philosophy of mathematics. Could we, if we were isolated from any kind of sensory experience, be able to learn mathematics? Also, what ...
1
vote
4answers
206 views

Where does the importance of math come from? [closed]

It is a somewhat philosophical question. I personally believe that the importance of math is due to its usefulness and lots of applications. Mathematics is used in everywhere nowadays; as Ian Stewart ...
1
vote
1answer
87 views

Sheafs appearing in philosophy?

I apologize in advance if I make mistakes in the following construction. I have very recently been introduced to the concept of a sheaf. I am currently a mathematics major and philosophy minor and ...
2
votes
1answer
74 views

I currently know Calculus I — What steps would I take to understand Zermelo–Fraenkel set theory?

While this question can be discussed, it should have a clear answer by stating the following: How can one go from a high school / low-level college understanding of mathematics (completed Calculus ...
2
votes
3answers
118 views

Regarding the validity of probability theory [closed]

Imagine I have a regular balanced dice and i roll it once. It is assumed that the probability of any number (1-6) is 1/6. However, isn't this just an illusion we are feeding ourselves for our lack of ...
152
votes
25answers
12k views

Can a coin with an unknown bias be treated as fair?

This morning, I wanted to flip a coin to make a decision but no coins were in reach. There was however an SD card on my desk: Given that I don't know the bias of this SD card, would flipping it be ...
1
vote
1answer
64 views

What exactly is a property?

How is a property $P$ formally defined in mathematics? I mean for example if $f$ is a morphism from an object $X$ to $Y$ in some category, then somehow I feel that "has codomain $Y$" is too broad to ...
2
votes
1answer
72 views

Need help locating a paper

One of the references of the paper Paulo Régis C. Ruffino, A Criticism on "A Mathematician's Apology" by G. H. Hardy (arXiv:1112.4499 [math.HO]) is: Vershik, A. M. – A Dangerous Joke, The ...
3
votes
3answers
201 views

Can I create my own function like Trigonometric or Exponential

When I want to solve mathematical problems, most of the time I meet the following functions Algebraic like polynomials. Trigonometric like sin(), cos(), tan(), cot(). Logarithmic like log(). ...