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

learn more… | top users | synonyms

-9
votes
2answers
70 views

How can tossing a coin be a certain 50/50 chance? Isn't that short-sighted? [closed]

This is a smart question and I am a far-sighted person, so read up and you might see my points: What is a side? We state that the coin shall always have a determine, undeniable 50/50 fall; it will ...
1
vote
1answer
58 views

Proving a theorem of logic

At the moment I'm going through a book which treats logic in a very rigorous axiomatic way. But I just got stuck in this theorem that I can't seem to be able to solve (I'm still trying hard). The ...
87
votes
4answers
9k views

How do I convince someone that $1+1=2$ may not necessarily be true?

Me and my friend were arguing over this "fact" that we all know and hold dear. However, I do know that $1+1=2$ is an axiom. That is why I beg to differ. Neither of us have the required mathematical ...
6
votes
0answers
81 views

When a function is a dimension?

The concept of dimension is used in many different contexts. Generally a dimension is a function that has as domain some family of sets ad has value on a set that, in the most common situations, is ...
19
votes
13answers
6k views

What is a negative number?

I'm trying to get to an abstract definition of a negative number that would fit in with the basic concept of addition/subtraction. There are questions here about multiplying and dividing negative ...
5
votes
1answer
167 views

Since arithmetic has a model (thus it is consistent) why care if consistency can't be proved?

Since arithmetic has a model, the numbers as we know them, it is consistent. Why do we care if consistency can't be proved within arithmetic? Do I miss something, ie in what we can consider a model?
6
votes
6answers
3k views

How to interpret material conditional and explain it to freshmen?

After studying mathematics for some time, I am still confused. The material conditional “$\rightarrow$” is a logical connective in classical logic. In mathematical texts one often encounters the ...
1
vote
3answers
82 views

Numbers and reality [closed]

I have a question I don't really know how to formulate, so apologies for the cloudy mess. The topic is on the meaning of numbers, that is when I say 3, I am referring to, say, $3$ avocados, or $3$ ...
8
votes
0answers
268 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) ...
4
votes
2answers
73 views

What are the uses of cross-theoretic identifications within mathematics?

I've been thinking about the identification of objects from different mathematical theories. For example, when you do set theoretic constructions of the natural numbers and identify, e.g., 0 with the ...
7
votes
5answers
859 views

What do people mean by “finite”?

Many arguments about the foundations or philosophy of mathematics centre on the question of whether or not there exist objects or entities (such as certain sets) which are not "finite". (For ...
12
votes
10answers
1k views

Problems that are largely believed to be true, but are unresolved

Are there unsolved problems in math that are large believed to be true, but for reasons other then statistical justification? It seems that Goldbach should be true, but this is based on heuristic ...
6
votes
1answer
82 views

Presentation of a group question

So I know that given a presentation of a group $G$, one can derive from the relations of the group presentation any element in the group $G$ right. However, I do have some confusion. If we take ...
11
votes
1answer
224 views

Do second-order categoricity proofs require a background concept of set?

In his article "The Set-Theoretic Multiverse", Joel David Hamkins (as part of his reply to Donald Martin's argument that the set-theoretic universe is unique, found in "Multiple Universes of Sets and ...
47
votes
17answers
4k views

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

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 ...
6
votes
1answer
372 views

Structuralist slogans

I am afraid to make a bad impression by misusing this forum but I am looking for as-many-as-possible mathematically inspired formulations and references to one (sometimes vague) idea. The idea is ...
0
votes
2answers
73 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 ...
1
vote
0answers
112 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$ ...
3
votes
2answers
115 views

Naturality in linear algebra

Question. How can we formalize these intuitions about predicates on matrices? Let $P$ denote a predicate on matrices, so that $P(A)$ is true for some choices of matrix $A$ and false for all ...
1
vote
0answers
32 views

Imagening the Thurston geometries

I can (more of less) imagine how it would look if space was Euclidean, spherical of hyperbolic. But there are 8 Thurston geometries see https://en.wikipedia.org/wiki/Geometrization_conjecture how ...
14
votes
4answers
398 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 ...
2
votes
2answers
133 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 ...
107
votes
5answers
3k views

Why can't differentiability be generalized as nicely as continuity?

The question: Can we define differentiable functions between (some class of) sets, "without $\Bbb R$"* so that it Reduces to the traditional definition when desired? Has the same use in at least ...
9
votes
2answers
640 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 ...
5
votes
2answers
96 views

What is mathematical definition of a fluid?

I am searching the precise and mathematical definition of a fluid for a long time but I did not find it anywhere. What I mean by precise and mathematical can be understood by the following: There is ...
3
votes
2answers
294 views

Why is it important, that mathematics can be formalized in set theory?

Why is it important, that mathematics can be formalized in set theory? As one can read in the thread Are there areas of mathematics that cannot be formalized in set theory? Today known mathematical ...
44
votes
10answers
6k views

Infinite sets don't exist!?

Has anyone read this article? This accomplished mathematician gives his opinion on why he doesn't think infinite sets exist, and claims that axioms are nonsense. I don't disagree with his arguments, ...
2
votes
2answers
325 views

How come mathematics is applicable to the real world?

Often in mathematics one constructs a set of some sort, let's name it $A$. We've constructed it in an abstract way, so, a priori, structural aspects of $A$ are yet unknown to us, until we prove them. ...
11
votes
2answers
245 views

Motive for the definition of inner product

Mathematicians pride themselves on writing proofs of propositions in an elegant way, but frequently (maybe even usually?) neglect to formally write motivations of definitions with the same elegance, ...
5
votes
1answer
143 views

What are numbers? [duplicate]

The title is a bit of clickbait, but I think it's justified. How did I came to ask this question In programming, many programming languages have concepts of a hierarchy of numerical types. Often ...
3
votes
3answers
180 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: ...
144
votes
25answers
11k 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 ...
7
votes
9answers
1k views

what is the definition of Mathematics ? [closed]

we all study mathematics , and all of us learn mathematical methods to solve problems , we learn how to prove , how to think mathematically but the question is, what is mathematics ? how can we ...
1
vote
2answers
67 views

Why are Euclid axioms of geometry considered 'not sound'?

The five postulates (axioms) are: "To draw a straight line from any point to any point." "To produce [extend] a finite straight line continuously in a straight line." "To describe a circle with ...
29
votes
4answers
2k views

Avoiding proof by induction

Proofs that proceed by induction are almost always unsatisfying to me. They do not seem to deepen understanding, I would describe something that is true by induction as being "true by a technicality". ...
2
votes
2answers
87 views

How to generate complicated looking identities such as $\sqrt [3] {2 + \sqrt 5} - \sqrt [3] {2 - \sqrt 5}=1$ easily?

How to generate complicated looking identities, or even more complicated looking identies such as $\sqrt [3] {2 + \sqrt 5} - \sqrt [3] {2 - \sqrt 5}=1$ easily? I saw the identity to be shown. What is ...
-3
votes
1answer
133 views

Why a line is said to have infinite number of points? [duplicate]

Why a line is said to have infinite number of points? Is this so because a line is ever lasting or we can not count how many points does it have? Finite means: Having an end. Infinite means: No end! ...
2
votes
1answer
160 views

I need help understanding Frege's definition of number

I have really been trying to understand Frege's definition of a number or at least gain a strong intuition of it. However, my attempts have not been fruitful. If someone could help me it would be much ...
1
vote
2answers
45 views

When the probability model of an experiment is correct?

Suppose I wanted to tell what's the probability of event $A$: getting 2 tails in a row of 5 coin tosses. According to the classical definition of probability, the probability of this event is equal to ...
11
votes
7answers
818 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". ...
0
votes
0answers
36 views

curves in Poincare half space (3 dimensional hyperbolic geometry)

Okay maybe I am going a bit ahead of my self The Poincare half plane still has many mysteries for me But still I was puzzeling about the 3 dimensional variant of it. So lets assume an hyperbolic 3 ...
2
votes
4answers
156 views

Peano's Axioms: Mathematical Philosophy

In Peano Axioms, why is it necessary to define number and successor. Does not using them imply that we know what they mean? Or could they have just as easily been any two arbitrary terms which are not ...
3
votes
1answer
87 views

Principle of mathematical induction

In his book “Introduction to Mathematical Philosophy” Bertrand Russell seems to reach the conclusion that mathematical induction is a definition and not a principle. In essence he states that ...
2
votes
3answers
205 views

Every planar graph can be embedded on a sphere - formal proof?

The proof of the following theorem: A graph can be embedded on the surface of a sphere without crossings if and only if it can be embedded in the plane without crossings. is very short- The ...
2
votes
2answers
92 views

Error in Introduction to Mathematical Philosophy

Is this an error in the text or am I reading incorrectly. What am I missing? Introduction to Mathematical Philosophy Page 18 Definition of Number “A relation is said to be “one-one” when, if $x$ has ...
7
votes
3answers
2k views

What would be the immediate implications of a formula for prime numbers?

What would be the immediate implications for Math (or sciences as a general) if someone developed a formula capable of generating every prime number progressively and perfectly, also able to prove (or ...
5
votes
3answers
212 views

Is there an area of study regarding why certain mathematical definitions are useful?

Often in my studies I'll come across an definition, which I understand, and but don't necessarily see why the particular definition was chosen to be studied. For example, the topological axioms ...
18
votes
7answers
1k views

Definition of definition

I was wondering if there is a good way to "define" what definition means exactly in mathematics. Since the answers may be subjective or philosophical, I want to ask only for references on this topic. ...
4
votes
2answers
118 views

Does randomness exist? [closed]

I've been plagued with this question for a few years now and wanted to know what others think. Does true randomness really exist? In mathematics, a random process is based on the concept of random ...
1
vote
1answer
88 views

Is a derivation a proof?

Is there a difference between "derivation" and "proof"? I imagine a derivation is a type of proof but that proofs are perhaps more general. Although then again, I suppose every proof should be ...