# Questions tagged [foundations-of-mathematics]

The tag has no usage guidance.

30 questions
Filter by
Sorted by
Tagged with
63 views

### Why is Entscheidungsproblem problem undecidable? [duplicate]

I have been trying to wrap my head around Gödel's Completeness Theorem, Incompleteness Theorem(s) and undecidability of Entscheidungsproblem. Turing wrote: It should perhaps be remarked what I shall ...
85 views

### Books on Philosophy of Mathematics [duplicate]

I want to buy a philosophy of mathematics book. I have three options in mind: Philosophy of Mathematics by Øystein Linnebo, Philosophy of Mathematics: Selected Readings by Paul Benacerraf, or The ...
84 views

### Is defining the concept of Probability still an open problem in the Philosophy of Science?

There exist several interpretations of the concept of Probability: https://en.wikipedia.org/wiki/Probability_interpretations Being the assumption of Repeatability an important difference between them. ...
45 views

### How would a monistic approach account for these categories of probabilities?

Donald Gillies, in his book "Philosophical Theories of Probability," draws a distinction between monistic views and dualistic views of probability, the latter of which, at least in his ...
326 views

### What separates mathematics from logic? Can “mathematical” operations be applied to logical systems?

In my 'Introduction to Logic' class, my professor told us that half of the class will be based on "mathematical" operations withing logic. After looking through the textbook, I realized that ...
160 views

### Is it possible to create an axiomatic system where 1+1 doesn't equal 2? What would be the consequences of such a system? [closed]

1+1=2 is a result (perhaps arguably more of a definition than a theorem?) of Peano Arithmetic, as well as other systems such as ZFC. I understand that 1+1 doesn't necessarily have to equal 2 if we ...
282 views

### What are the limitations of the language of mathematics?

I was told that mathematics cannot express qualitatively what the elements of a set are, such that you cannot say for example that the members of a set consists of white tigers. So mathematics cannot ...
49 views

### does the addition operator of arithmetic contain meaning, or did we assign it meaning

When we see a problem containing addition, we usually visualize it using a number line or containing quantities of some sorts. Does this meaning of the addition operator as combining quantities, or ...
54 views

### Epistemological Basis of Mathematics Debate

In the following link: https://plato.stanford.edu/entries/intuitionism/ in the last paragraph in Section 1, there is mention of the "lack of epistemological and ontological basis for Mathematics.&...
149 views

### Symbolic Processes & Thinking

My question is if there is some concrete symbolic logic at the foundation of human reasoning -something very rudimentary, but still formal? Question may be seen in context of the article given below. ...
120 views

### Is there an infinity of axioms in mathematics?

As I was trying to find a list of mathematical axioms used in modern branches of mathematics, I wondered if there's any meaning to the question of "how many mathematical axioms are there ?", and then ...
161 views

### Non-consistent mathematical axioms

It is known that axioms are the building blocks of mathematics. Differents sets of axioms different "games". What I don't understand is how do we know that we pick axioms that are consistent? . Does ...
330 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. ...
84 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 ...
477 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 ...
120 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 ...
92 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 ...
219 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 ...
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 ...
231 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 ...
82 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 ...
137 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 ...
302 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 ...
217 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 ...
387 views

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 ...
143 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,...
84 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 ...
262 views

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 ...