Questions tagged [foundations-of-mathematics]
The foundations-of-mathematics tag has no usage guidance.
91
questions
2
votes
3
answers
117
views
Does set-theoretic pluralism, about axiom systems, inevitably become an invitation to non-axiomatic systems of set theory?
Per Hamkins[[11][12]] (see also his [22]), if no individual axiom is too sacred to be denied in some possible world,Q and so if no collection of such axioms is so sacred either, yet then:
The ...
23
votes
24
answers
8k
views
Is infinity a number?
So I've been on a number of math fora, part of learning some calculus (not much of set theory, no). To my surprise I found what I would describe as strong resistance from some folks against (using) ...
7
votes
6
answers
281
views
Why do we have problem of concept of set?
I am reading George Boolos's "The Iterative Concept of Set," and in the first chapter of this paper, he criticizes Cantor's definition of a set as a whole or totality of objects, pointing ...
2
votes
1
answer
82
views
Need help understanding how certain mathemetical statements across the landscape can seemingly contradict (e.g. Cantor-Hume vs Euclid)
Here are the main components to my understanding on this issue:
Almost all of math can be given in a foundation of set theory
Different math can seemingly contradict, e.g. in Euclidean geometry ...
4
votes
3
answers
420
views
How do skeptics explain axioms not being arbitrary?
I get infinite regress but surely the axioms of ZFC or arithmetic were not so much chosen as discovered and intuited and thought about. They certainly didn't just grab whatever was around them and say ...
0
votes
3
answers
217
views
The smallest possible formal definition of FOL
I find the common presentation of first order logic somewhat confusing. I feel that I often don’t understand why we need the exact terms and concepts we do.
My current recapitulation of “standard FOL” ...
4
votes
0
answers
99
views
What does it mean to say that two theorems (provable statements) are 'equivalent'?
sometimes one sees/reads assertions such as "[the bounded inverse theorem] is equivalent to both the open mapping theorem and the closed graph theorem", but taken formally and literally this ...
0
votes
1
answer
120
views
Is there a set theory which implies the interval [0, 1] but no more?
A deductive system (as a collection of judgments and rules of inference) can be used to describe something commonly called a “set theory”. We can imagine a priori there are certain properties we would ...
0
votes
0
answers
36
views
Is there a limited number of 'pragmatic' logic rules?
What you have cited is a pragmatic limit, as you have not seen logic
systems with more than 8 or so precepts.
IF there were such a limit to precept quantity,
then YES there would be a limit to the ...
4
votes
1
answer
135
views
Does the anticlass principle solve the Burali-Forti problem?
Justification of the foundations-of-mathematics tag: I was reading through a long text on category theory, Abstract and Concrete Categories: The Joy of Cats, and they make much of the class/set ...
3
votes
3
answers
457
views
Is it a problem for arithmetic or our representation (or both) that there is incompleteness?
Is this a settled (as much as it can be) philosophical area? I feel like I understand that there will always be incompleteness for a finite set of axioms trying to capture all of arithmetic. But I ...
17
votes
21
answers
3k
views
What is a natural number?
It’s been on my mind lately. I do maths and work with them daily, but I’m not entirely sure of what they really are.
I understand they are symbols at a surface level, but there is obviously more to it....
0
votes
0
answers
137
views
What are the First Principles of Euclidean Geometry (Besides the Axioms)?
On first principles, Wikipedia says:
A first principle is an axiom that cannot be deduced from any other within that system. The classic example is that of Euclid's Elements; its hundreds of ...
1
vote
1
answer
130
views
Do Gödel's incompleteness theorems and Tarski's theorem of indefinability of truth show we can never discover and prove every truth?
I thought I had a grasp on this. Do Gödel's apply to just math; logic, too; or more, and what does its applicability entail? If it applies to math, does it apply to physics? Similarly with Tarski: can ...
7
votes
5
answers
2k
views
Is mathematics analytic or synthetic?
This question is related to another question I posted but I think it requires its own treatment since of the already wide scope of the other question i.e. Is the classical theory of concepts ...