Questions tagged [foundations-of-mathematics]

Filter by
Sorted by
Tagged with
0
votes
1answer
297 views

Which problems do you consider as most important open problems in philosophy of mathematics?

At the "intersection" of mathematics and philosophy, or, rather, within their "union", surely some problems are still open and no general consensus is attained when those problems are discussed. ...
-3
votes
1answer
74 views

Is the attempt to separate between Philosophy and Mathematics may be considered as some kind of Philosophy?

When deal with fundamental notions, many mathematicians and some philosophers agree that Philosophy is not an appropriate framework for mathematical frameworks' developments. Is the attempt to ...
-2
votes
0answers
209 views

Is there anything beyond mathematical universe

If Mathematics is empirical , physical events which defies the rules of mathematics may also generate new mathematics?
2
votes
3answers
446 views

Does a Cycle Based Alternative to Set Theory Exist?

My (limited) understanding of Mathematics in general and of Set Theory (being a widely accepted foundational system of Mathematics) in particular, is that the mathematical objects described therein ...
3
votes
2answers
101 views

In non-platonism, can undecidable statements have truth value?

Most sources I can find about Gödel's incompleteness theorems summarize the result as "there exist true arithmetical statements that have no proof." It seems coherent to say that there exist ...
4
votes
1answer
73 views

Did Descartes believe arguments for Euclid's parallel postulate were cogent?

If Descartes wanted to found philosophy on the certainty of mathematics, it seems he must have considered arguments for Euclid's parallel postulate cogent, or at least not doubted them. Gerolamo ...
2
votes
2answers
210 views

Is Mathematical Platonism a meaningful thing? [closed]

How can we be sure that asking If Mathematics is Platonic or If it is Our Own Construction is a meaningful thing to ask, and not just abuse of natural language? Can somebody provide a convincing ...
-1
votes
1answer
303 views

Can all formal systems be generalized as specified relations between finite strings? [closed]

https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathematics) In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be ...
3
votes
4answers
1k views

Why do we need geometry for pure math?

Karl Weierstrass had a very interesting critique of Riemann's work. Supporters of Riemann, claim that a pure logician would never have been able to see the things that the "geometric imagination" of ...
4
votes
3answers
160 views

Why is it argued that an argument has one and only one conclusion?

Why can't an argument have more than just one conclusion? If we assume some premises and we assume them to be true, then by some inference rules we are sometimes able to deduce more than just one true ...
1
vote
0answers
80 views

Are the foundations of mathematics “doomed” to be set-theoretic in nature?

Let's say we want to come up with a foundational theory for all of mathematics and let's say that it is embedded in first-order logic. Note that the machinery of first-order logic is described with ...
1
vote
3answers
123 views

Consistency of Axioms

In Godel's Proof by Nagel & Newmann, they write : In Riemannian geometry, for example, Euclid's parallel postulate is replaced by the assumption that through a given point outside a line no ...
1
vote
4answers
233 views

Argument against Platonism

Platonic view of mathematics states that numbers have abstract reality. One way to test what this really means is to do a thought experiment of extinction of humanity. Also suppose after all evidence ...
0
votes
2answers
214 views

Can zero be defined without some definition of one? Can one be defined without some definition of zero?

I would prefer to ask this in the math community, but that crowd is hostile toward anything hinting of philosophy. It is my contention that a construction of the real number system which begins with ...
5
votes
1answer
362 views

What's so bad about giving up the Axiom of Choice?

The Axiom of Choice (AoC) in set theory famously gives rise to controversial and counterintuitive theorems. (Examples: Banach-Tarski paradox and existence of non-measurable sets.) I'm aware of some ...
3
votes
0answers
135 views

Relation of Mathematical Propositions to Natural Language

Treating Natural Language as a language game, what role does it play in our understanding of mathematics? Does natural language provide meaning to mathematics? Does a proof of a conjecture, say FLT,...
1
vote
0answers
78 views

The nature of Nominalist Formalism

In this entry in the stanford encyclopedia of philosophy, it is stated that the theory of nominalist formalism deals with the metatheory problem of formalism as follows: Commendably, Goodman and ...
0
votes
1answer
227 views

Where to start with the philosophy of mathematics?

This may be a duplicate question. What is the best way to get started with the philosophy of mathematics? Given that I know (from university) the basics that are discussed (Set theory, Russell's ...
3
votes
3answers
206 views

Do picture proofs of the Pythagorean theorem make it empirical?

As I understand it, the Pythagorean Theorem, which defines the metric for Euclidean space, is said to be strictly mathematical in the sense that it is derived from a set of purely theoretical axioms (...
6
votes
1answer
3k views

What are the main issues on which the schools of Intuitionism, Formalism, and Logicism disagree?

What is the difference between Intuitionism, Formalism, and Logicism? Namely - on which issues do they disagree? And what is the relation of those schools of thought to Platonism, Nominalism, and ...