Philosophy of mathematics asks questions about mathematical theories and practices. It can include questions about the nature or reality of numbers, the ground and limits of formal systems and the nature of the different mathematical disciplines.

learn more… | top users | synonyms (1)

0
votes
0answers
18 views

What are the most untrustworthy antithesis in the History of mankind? [closed]

I tried to find a answer, I search a lot and I failed. Can you help me to find the most untrustworthy antithesis in the History of mankind? I need only 2 or 3 examples and they are to be really ...
3
votes
2answers
59 views

A question regarding the similarity of relations from Russell's Introduction to Mathematical Philsophy

I do not understand the basis of one of Russell's claims at the end of the chapter 'Similarity of Relations' in his Introduction to Mathematical Philosophy. I have taken an excerpt and emboldened the ...
3
votes
5answers
176 views

A Paradox of Precision?

Yesterday I was talking to one of my mathematics professor regarding the notion of proof in general (whatever the word "general" means to the reader). In short my claim was, We can only be ...
0
votes
4answers
229 views

Is math really the language Nature speaks?

It´s often heard among physicists: math is the universal language of Nature. But like all languages, mathematics is made by men, and made universal by man (like English is becoming the universal ...
7
votes
1answer
123 views

Giuseppe Peano and Foundations: Was Peano Logicist or Formalist?

I am trying to figure out whether the mathematician Giuseppe Peano (1858-1932), most notably known for his standard axiomatization of the natural numbers, held a view of Logicism or rather of ...
1
vote
1answer
50 views

How is this 'explanation' of the unreasonable effectiveness of mathematics even an explanation?

In R. W Hamming's response to the "Unreasonable effectiveness of mathematics" by Eugene Wigner, he gave four 'partial explanations' as to why it may be unreasonably effective. However, I am struggling ...
4
votes
3answers
111 views

What philosophies does Wigner's “Unreasonable Effectiveness of Mathematics” threaten?

Wigner's paper "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" is a well-known paper in the community of the philosophy of mathematics. The overbearing question in his paper ...
0
votes
0answers
41 views

Does pure mathematics express something about objects?

Do the expressions of pure mathematics express anything about objects? i.e. are the bearers of mathematical identity (e.g. the being number one of that number) themselves objects?
3
votes
1answer
40 views

Is there a name for the following gambling fallacy?

I'm writing a paper on the game of blackjack and I'm trying to make a point about how a common player's attitude is a logical/statistical fallacy in the following situation: When any common person ...
5
votes
7answers
186 views

How is zero different from nothing? [closed]

How is zero different from nothing? Should I travel beyond Earth's atmosphere I do not travel into zero but nothingness. What is the difference?
2
votes
3answers
67 views

Can all mathematical reasoning be translated into traditional logic?

Can all mathematical reasoning be translated into traditional (Aristotelian, syllogistic) logic? It would seem not ∵ one cannot syllogistically establish the validity of the reasoning in the ...
5
votes
2answers
131 views

What does the term “mathematical logic” mean?

What is "mathematical logic"? Is it the logic of mathematical reasoning, or is it the claim that mathematics and logic are identical? Also, is "quantificational logic" a particular type of "...
2
votes
0answers
27 views

Nominalist views and contradictions

Given a flavor of nominalism which denies that simple sentences and existential quantifiers referring to mathematical objects are literally true (pretense theory, fictionalism, figuralism, etc.), ...
6
votes
1answer
112 views

Does Quine's dissolution of the Analytic/Synthetic distinction challenge mathematical realism?

I was surprised to learn that Quine is a mathematical realist (See this interview for example). I always assumed that his "Two Dogmas of Empiricism" and specifically his dissolution of the Analytic/...
2
votes
0answers
29 views

What questions or areas in the foundations of mathematics remain active research fields?

By foundations of mathematics I am referring to the mathematical, logical, and philosophical foundations of the subject. I'm interested in seeing which of these have active research going on within ...
8
votes
1answer
326 views

What does mathematical constructivism gain philosophically?

Constructivists restrict the kind of entities they are willing to let into the mathematical domain; thus, e.g., Leopold Kronecker did not accept transcendental numbers as well as other entities (see ...
4
votes
2answers
66 views

What motivated Gödel to arithmetize syntax?

What were the benefits of arithmetizing syntax for Gödel? What did the arithmetization of syntax allow for Gödel that was otherwise not possible?
5
votes
1answer
142 views

What was Leopold Kronecker's philosophical view which guided his mathematics?

Leopold Kronecker (1823-1891) rejected Georg Cantor's (1845-1918) transfinite numbers and sets; he also rejected infinitesimals as well as other mathematical entities - such as transcendental numbers. ...
9
votes
2answers
621 views

What is the philosophical ground for distinguishing logic and mathematics?

I was wondering why the field of mathematics and that of logic are perceived as two distinct fields. Although could be pleased with the intuition that logic is rather meta-mathematics, still would ...
5
votes
1answer
73 views

For a mathematical realist, is there a distinction between real mathematical objects and constructed mathematical objects?

Mathematical realists believe that mathematical entities exit independently of human minds. Mathematical objects have an objective independent existence, and they are discovered by mathematicians, not ...
13
votes
4answers
1k views

What are computable numbers, and what is their philosophical significance?

What are Computable Numbers? Is computability (or non-computability) some sort of technology-dependent characteristic of numbers (via e.g. Turing Machines)? What are the philosophical implications or ...
3
votes
2answers
102 views

Are normal numbers evidence true randomness exists?

Is the existence of normal numbers evidence true randomness exists, and in every possible world at that? Another mind blowing fact is that most of real numbers are normal, so the normal numbers is not ...
7
votes
2answers
124 views

How should one properly characterize mathematical conclusions?

I am a mathematics graduate student, not a philosophy student, so please bear with me. However, I am interested in investigating what exactly it is that I spend the majority of my week doing! As ...
9
votes
3answers
219 views

Is there a way to avoid Gödel incompleteness affecting mathematics as a whole?

I have been thinking about Gödel's incompleteness theorems and their ramifications for the whole of mathematics. In this question I assume some fixed formal system F expressive enough for the ...
4
votes
2answers
82 views

Poignancy because of Gödel's theorems - why?

Why do Gödel's incompleteness theorems make mathematicians so sad? There are complete, decidable and consistent fragments of mathematics like the arithmetic of real numbers, complex numbers, ...
3
votes
3answers
91 views

No absolutely consistent foundation for math: logically possible?

Is it logically possible that there really is no absolutely consistent formal system, already discovered or yet undiscovered, that can serve as a foundation for mathematics?
7
votes
3answers
185 views

Are “mathematically possible universes” the same as “logically possible universes”?

I recently watched this interesting interview with physicist Paul Davies. https://www.youtube.com/watch?v=vqZN_LGYHJc In the first couple of minutes he outlines some of the problems with a multiverse ...
15
votes
3answers
580 views

What was Cantor's philosophical reason for accepting the infinite but rejecting the infinitesimal?

I have begun inquiring recently into mathematical aspects of Georg Cantor's theory of transfinite numbers and sets, which he developed between the years of 1874 and 1897. Throughout his theory, Cantor ...
6
votes
1answer
207 views

Reference request + What philosophies are there as to ontology of numbers?

I have interest in ontology of numbers. I know that the two main schools of thought regarding the metaphysical status of numbers are mathematical Platonism and mathematical Nominalism. But I wonder - ...
3
votes
1answer
72 views

Phenomenology of abstraction

I'm looking for philosophical articles / books that try to describe the process of human abstraction, and what it actually consists of, from a first person perspective. Examples of the type of ...
7
votes
2answers
112 views

Are all the consequences of a science in the science's principles?

"Chaotic" differential equations are very simple principles compared to the more complex consequences of them. For example, the equations modeling the motion of a double-pendulum, ,are relatively ...
7
votes
1answer
63 views

Logic of inductive inference will free statisticans - why?

I'm doing my best try to understand this excerpt of Efron's article (1998) on Fisher: Fisher believed that there must exist a logic of inductive inference that would yield a correct answer to ...
2
votes
2answers
90 views

What is the connection between conscious mind and Gödel's incompleteness in a mathematical universe?

Assume that our universe is a mathematical one, similar to the one that Tegmark proposed (see here). In contrast to what I read there, let's assume that the axioms upon we build the universe are such ...
4
votes
4answers
137 views

Was Kant incorrect to assert all maths as 'a priori'?

Preface: Kant's assertion is rebutted by Prof David Joyce who references non-Euclidean geometry and by the last sentence on Sparknotes which states that 'empirical geometry is synthetic, but it is ...
4
votes
3answers
134 views

If mathematics can predict how nature is what does is say about nature it self?

Using mathematics a lot of 'laws' of nature are discovered, like the Higgsboson gravitational waves Diracs anti-matter etc. But if something like mathematics can predict how nature or reality 'should ...
3
votes
1answer
116 views

What is the notion of a proof of a proposition for Martin-Löf?

The notion of proof of a proposition is of the most fundamental notions in Martin-Löf's work on philosophical logic, since it is conceptually prior to the notion of truth - cf "Truth of a proposition, ...
6
votes
1answer
140 views

What is Kant's view of a mathematical object?

I wonder what are mathematical objects - say, the number 1, a circle etc. - for Kant? Do they have some kind of special status for him compared to ordinary (empirical) objects? Where exactly he talks ...
5
votes
2answers
123 views

Impossible triangles, in what sense do they exist?

In what sense do impossible triangles and their properties exist, if they do at all? There is a rule for right triangles which states that the altitude of the hypotenuse can't be greater than half of ...
2
votes
2answers
66 views

Is it appropriate to say that mathematical knowledge has intrinsic value for mathematicians?

I have been toying with the idea of value for a while and came up with this question a few days ago. I think that it is impossible to say that mathematical knowledge has intrinsic value for ...
3
votes
3answers
177 views

Must mathematical definitions be formal? If so, why?

Recently on Math SE, I offered the following definition of a "pre-function": A pre-function f from X to Y will be defined as a "function" which in general is not well-defined. This was rejected ...
1
vote
1answer
107 views

Existence of mathematical objects: how?

In mathematical philosophy, one asks the question "do mathematical objects really exist"? This is then followed by "yes" or "no" answers, but does the question even make sense? Is it even meaningful ...
3
votes
2answers
67 views

Is Tarski's theory of truth compatible with intuitionism?

Intuitionistically, truth is identified with provability: A is true means that it is possible to prove A. In his essay "Intuitionistic logic a philosophical challenge, Logic and Philoshophy" (1980) ...
0
votes
4answers
80 views

Are the assertions “2 + 2 equals 4” and “2 + 2 is 4” identical [closed]

I asked the same question at math.stackexchange but I thought that the answers here could be quite different. I hope I am not breaking protocol/etiquette by doing that, if I am then I apologize. If ...
0
votes
3answers
108 views

Existence of numbers, were they invented or discovered? [duplicate]

Fire is a good example of matter that human beings discovered; Fire has been a part of nature even before human beings found it and at some points and we have used it ever since we discovered the ...
7
votes
1answer
245 views

Hilbert's Sixth Problem: Is Kolmogorov's solution the last word?

The demand for axiomatization of probability was put forward by Hilbert at the very beginning of the past century: it was the sixth problem in his famous twenty three problems he deemed of high ...
2
votes
3answers
173 views

What is the real meaning of a “well-defined” notion? [closed]

I'm not talking about pure-mathematical functions and such, but rather more philosophical and seemingly less formal ideas, such as consciousness.
4
votes
2answers
377 views

Is number π empirical or a priori?

I used the example of π, but this applies to other transcendental numbers as well, such as e Kant classified statements into 4 epistemic categories based on two criteria: The Analytic/Synthetic ...
2
votes
3answers
64 views

What is(are) the importance(s) of formal reasoning

In Mathematics, we as an undergraduate are exposed for the first time (at least for me it was the case) to 'rigor'. For example, in Real Analysis classes we often use logical quantifiers in our ...
7
votes
4answers
357 views

How can probability statements be falsified?

Have studied recently some about philosophical views of probability and ran into an interesting problem put forward by Popper: According to Popper, probability statements are not strictly ...
0
votes
3answers
84 views

Literature on Mathematical Universe Hypothesis beyond Tegmark?

I'm looking for further reading about the Mathematical Universe Hypothesis. I'm intrigued and would like to know to which degree this has been discussed. I'm aware and have been looking at Tegmark's ...