All Questions
Tagged with philosophy foundations
139
questions
0
votes
0
answers
97
views
What did Richard Dedekind mean exactly by his statement about generality?
But—and in this mathematics is distinguished from other sciences—these
extensions of definitions no longer allow scope for arbitrariness; on
the contrary, they follow with compelling necessity from ...
0
votes
0
answers
64
views
Arithmetization of Turing machines
Refer to Turing's 1936 paper, page 248, last paragraph. I present the paragraph in verbatim below :
The expression "there is a general process for determining..." has been used throughout ...
7
votes
1
answer
319
views
How should one understand the "universe of sets"?
One way to understand the axioms of $\mathsf{ZFC}$ is to see them as a describing the "universe of sets" $V$, together with the "true membership relation" $\in$. The universe $V$ ...
1
vote
2
answers
304
views
On the Consistency of Non-Euclidean Geometry
I've recently found a really old "Philosophy of Math" book in my University library, and in the book it says that the it has been proven that :
if non-euclidean geometry is inconsistent, ...
2
votes
1
answer
370
views
Why are we confident in the ability of ZFC to formalise mathematics if very few proofs are actually converted into ZFC?
$\mathsf{ZFC}$ is often introduced in logic textbooks as a first-order theory with equality and a single non-logical symbol $\in$. However, even stating the axioms of $\mathsf{ZFC}$ in this language ...
0
votes
1
answer
66
views
Criterion of Identity for 'set'
I'm looking for different criteria of identity for the notion of 'set'. I know that the standard criterion of identity is extensionality but I was wondering if there are others. I looked around but ...
0
votes
2
answers
356
views
How do we understand a 'universe' in the context of Mathematics?
I recently open a can of worms for myself by inquiring if there is a difference between a number as a natural or real, and got a fair answer, in doing so I came by an interesting idea about viewing ...
8
votes
1
answer
604
views
Do the everyday mathematician and the model theorist mean the same thing by "truth"?
In Terrence Tao's book Analysis I, the axioms of ZFC are considered to be true statements, and every other true statement in the book is proved from these axioms. Model theory is not mentioned.
This ...
5
votes
1
answer
342
views
Is there anyway to quantify how difficult a statement is to prove in Mathematics?
Suppose we have an axiom system and theorems derived out of that axiom system, is there any way to rigorously speak about a theorem being more difficult to prove than others?
In my personal thoughts, ...
11
votes
4
answers
573
views
Why is it not important what mathematical objects are?
In axiomatic set theory the term "set" and the relation "$\in$" are primitive notions. Thus, it is not defined what sets are nor what the relation is. Axiomatic set theory is ...
2
votes
0
answers
111
views
Implications of $Q\vdash \lnot Con(Q)$
By Gödel's incompleteness (which holds even for $Q$ as discussed here) we have that the Robinson arithmetic $Q$ is consistent iff $Q+\lnot Con(Q)$ is consistent.
As I understand it, without further ...
1
vote
0
answers
365
views
Is ZFC arithmetically sound?
I apologize that this question is fairly philosophical and not purely mathematical. For the purposes of this question, I would like to take the point of view that that natural numbers are "real&...
4
votes
1
answer
415
views
Consistency in Hilbert's Foundations of Geometry
After reading the entry in the Stanford Encyclopedia of Philosophy on Hilbert and Frege’s correspondence regarding the former’s Foundations of Geometry, I am quite puzzled by a claim that is made by ...
4
votes
1
answer
294
views
Mathematicians endorsing platonism -- examples?
Take platonism to be the view that there are abstract mathematical objects which exist independently of us as mathematicians and our language, thought, and practices.
Looking at the Stanford ...
0
votes
0
answers
148
views
Histories in Scott-Potter set theory
I have been reading Michael Potter's Set Theory and its Philosophy. I am confused by the concept of a history, which I understand is somewhat unconventional. The definition given is as follows:
The ...