Questions involving philosophy of mathematics

learn more… | top users | synonyms

3
votes
6answers
225 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 ...
1
vote
2answers
80 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
151 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 ...
3
votes
2answers
92 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
164 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
71 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
337 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
61 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
243 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
153 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
59 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
61 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 ...
3
votes
0answers
59 views

How does one create “good” math problems?

As lifelong students of mathematics, we find problem-solving to be absolutely essential to enhance our understanding of the subject. Teaching others what we know serves to reinforce our existing ...
4
votes
1answer
85 views

Interpretation of Riemann rearrangement theorem [closed]

There's a common thing that happens in mathematics, which is that all theorems are created equal, but some are more equal than others. Here are two examples of what I mean by that. (1) In Euclid, the ...
2
votes
3answers
106 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 ...
129
votes
24answers
10k 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
52 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
61 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
104 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(). ...
3
votes
1answer
97 views

Theorems that we can prove only by contradiction

While most of the world is fine with proofs performed by contradicting the thesis, direct proofs are sometimes considered more elegant than indirect ones. Those who prefer intuitionism or ...
3
votes
4answers
166 views

Soft question: Examples where implications derived from mathematical models failed to describe reality

I have always been fascinated by how well conclusions drawn from mathematical models could fit reality, so I wondered if there are any counter examples. In "Gödel, Escher, Bach" I could already find ...
7
votes
2answers
247 views

How to explain ✳43.3 and ✳43.31 in Whitehead and Russell's PM?

Take ✳43.3 for example, I presume $ P = R |Q $ where R is fixed. $ R| $ is the relation between $R|Q$ and $Q$, ie. $ R| = \hat{P} \hat{Q} \{ P = R|Q \} $ $Ɑ‘R|= \hat{Q}\{ E! R|‘Q \}$ Given that ...
0
votes
0answers
72 views

A Question Regarding Ordinal Turing Machines

Consider the following theorem of Koepke: 'A set x of ordinals is ordinal computable from a finite set of ordinal parameters if and only if it is an element of the constructible universe L". Taking ...
4
votes
3answers
291 views

Visualizing mathematics and geometry

Im writing a paper on the role of visualization in mathematics and specifically geometry. I was wondering if it is possible to represent any arbitrary system of relations and manipulable objects ...
0
votes
0answers
39 views

The role of verifiable computing in the formalization of mathematics

I've been thinking about this for a while, and it seems to me that mathematics "works" because (in principle) we can to check proofs very quickly, even though the discovery of that proof may have ...
7
votes
1answer
285 views

Exactly who popularized the modern definition of domain and codomain of functions?

In Whitehead and Russell's Principia, domain is the referents of relation; converse domain is the relata. Modern function in mathematics is just one special case of relation whose referent is unique ...
3
votes
3answers
162 views

Implications and Ordinary language

I studied propositional logic, and everyday I see applications of what I learned on the internet, in mathematical books and miscelaneous resources. One particular case is sentences in the form ...
0
votes
4answers
170 views

Is mathematics a science? [duplicate]

Is mathematics a science? I have long considered this to be open to debate, but my professor said that he once heard the quote, ...
6
votes
2answers
420 views

Who stole the axioms in Natural Deduction?

The study of Gentzen's sequent calculus give me the opportunity to propose some reflections about the concept of logical truth. I'll refer to the english edition of Gentzen's works : The collected ...
0
votes
2answers
101 views

About the concept of logical truth

From Frege and Russell to modern mathematical logic textbooks, there were a "shift" of focus from the concept of logical truth, through that of valid formula, to the current concepts of logical ...
5
votes
0answers
162 views

Gödel's Completeness Theorem and logical consequence

At the end of a long process of "rumination" on "old" math log textbooks, I've found the "missing link" - from my personal point of view - between some issues I've raised in the previous months : (i) ...
5
votes
2answers
87 views

What is gained by internalizing LST (the language of set theory)?

I'm reading up on Gödels constructible universe L in the book "Constructibility" by Devlin, and by comparing his text with texts like Kunen and Jech, there is one thing in particular that he's doing ...
1
vote
1answer
80 views

In an infinity of choices, is it possible to guess the correct one?

So I've been thinking about the infinite universes model, where each possible action or event creates a new universe for each outcome. For example, if you flip a coin there will be one universe in ...
0
votes
1answer
69 views

Large Operators?

Large operators have always seems strange to me, sometimes their meaning is based on the symbol and other times it has no correlation. For instance, the summation (sigma) has no relation to the ...
0
votes
1answer
59 views

What is the “lowest” set of axioms that can be used in proofs?

What is the most basic set of axioms that one can use in proofs? As in, the axioms are irreducible. The most basic set of irrefutable rules in mathematics. I assume it has something to do with number ...
0
votes
1answer
29 views

Reformulation of Theories

Philosophical questions (or even just a matter of taste) regarding some mathematical constructions can give rise to reformulations of whole theories, for example, we can develop (Non-standard) ...
1
vote
2answers
166 views

What problems are there left to solve? [closed]

From the ancient Greek mathematicians (Archimedes, Pythagoras) before Christ to Issac Newton to George Birkhoff, these mathematicians have made huge strides in mathematics, developing theorems and ...
5
votes
3answers
121 views

On trusting the mathematical process [closed]

In studying math we are, at least partially, interested in making abstraction of real world problems and solving them through rigorous techniques and methods, and then interpreting the result. Let us ...
12
votes
2answers
212 views

Founding Arithmetic on geometry

In the past I found some fleeting references that some (Frege in his later years being one of them) tried to found arithmetic not on set-theory and logic but on geometry and logic. Unfortunedly Frege ...
2
votes
2answers
175 views

Again about McGee objections to modus ponens

I would like to "reopen" the previous post regarding Modus ponens because, frankly speaking, I'm not satisfied with some (most of ?) answers by the mathematicians community. Disclaim: I'm not aiming ...
-1
votes
1answer
73 views

Finality of mathematics [duplicate]

A random question came to me, which looks something like this : Is there such a thing as a "finality" of mathematics ? What I mean is can we imagine a time where there would be no more mathematics to ...
-3
votes
2answers
90 views

How is it possible for something to be less then nothing? [duplicate]

What is the ontological state of negative numbers? Is it a human invention or a does it live with reality?
5
votes
6answers
265 views

What is the right interpretation of the axiom of extensionality

A set $a$ can be called extensional if it has the following propery: $$\forall b\left[\forall x\left[x\in b\iff x\in a\right]\Rightarrow a=b\right]$$ Based on this the axiom of extensionality can be ...
1
vote
3answers
176 views

When and where the concept of valid logic formula was defined?

I was stimulated by a recent question about Gödel Completeness Theorem. All my citations are from Jean van Heijenoort (editor) From Frege to Gödel A Source Book in Mathematical Logic (1967). Gödel's ...
2
votes
1answer
112 views

Why can't ✳1.1 be expressed symbollically in Whitehead and Russell's PM?

✳1.1. Anything implied by a true elementary proposition is true. Pp. In the follow passage, it says, "we cannot express the principle symbolically, partly because any symbolism in which p is ...
0
votes
3answers
63 views

Should the notion of continuity, usually ascribed to Cauchy, be ascribed to Leibniz?

In his text, Deleuze and the History of Mathematics, Simon Duffy writes: Leibniz also thought the following to be a requirement to continuity: "When the difference between two instances in a ...
8
votes
5answers
2k views

how do we assume there is infinity?

Definition of infinite: A set is infinite iff it is equivalent to one of its proper subsets. We know that our universe doesn't contain infinite number of elements (including subatomic particles), so ...
7
votes
1answer
317 views

Why can almost all ordinary mathematics be formalized by sets?

there must exists a reason of why the idea 'collection' is so powerful that it can formalize nearly all mathematics. subquestion: is there any which can not be formalized by this perspective? if so, ...
3
votes
2answers
143 views

Non-well-founded models viewing well-founded models as non-well-founded.

I'm currently thinking about how different models of set theory view each other. In particular I'm looking at how well-foundedness behaves between different models. So we have the Axiom of ...
3
votes
2answers
95 views

Is Paraconsistent Negation Really Negation?

Let a logic be paraconsistent, if $\phi \wedge \neg \phi \not \models \psi$ for some $\phi, \psi$ (where $\models$ is the logic's consequence relation). There are different ways to prevent a ...