Unanswered Questions
150 questions with no upvoted or accepted answers
6
votes
0
answers
60
views
Can Balaguer’s argument we don’t, and couldn’t, have any good argument for Platonism or ficitonalism in math extend to realism/antirealism in general?
Mark Balaguer is a philosopher who advances the position there is one form of mathematical Platonism, that every consistent mathematical object exists, and one form of anti Platonism, ficitonalism. ...
4
votes
0
answers
107
views
Has anyone ever studied which proof types are feasible for which theorems in mathematics? If not, why not?
For instance, when asked to prove that sqrt(2) is irrational, we go straight for the proof by contradiction where we assume it’s equal to a/b in lowest terms and end up with a and b not being in ...
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 ...
4
votes
1
answer
111
views
Is the conceptual possibility of amorphous infinite sets "evidence against" countabilism?
Countabilism is, roughly, a family of standpoints inclusive of:
There is one infinite proper set, of size ℵ0, and one infinite proper class, ℵ0ℵ0. (See about e.g. "pocket-sized" and ...
4
votes
5
answers
273
views
What are an object's properties?
What can we consider an object's properties, for example, when can we consider an object's properties as 'changing'? For example, if I move an object from my desk to my table, has it changed? If I ...
4
votes
0
answers
103
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 ...
3
votes
2
answers
100
views
Objection to indirect proof in Intuitionism
From my understanding, Brouwer's conception of intuitionism is that mathematical objects only exist in the mind once they have been constructed. And we can create constructions using computable ...
3
votes
0
answers
64
views
Knowing-that-we-know in plenitudinous Platonism
SEP background:
If every consistent mathematical theory is true of some universe of mathematical objects, then mathematical knowledge will, in some sense, be easy to obtain: provided that our ...
3
votes
1
answer
93
views
Is category theory as philosophically intuitive as basic logic?
So far as I understand, category theory can be used as foundations of mathematics as in that the rest of logic can be defined through categorical ideas.
However is category theory as natural a ...
3
votes
0
answers
70
views
Rather than "ought to be true = is true" being impossible, might it not just be a trivial stage of moral representation?
I just finished reading Eugenia Cheng's essay on moral phraseology in mathematics, and so I want to go over something she says on pg. 20:
A recent lecturer of Part III Category Theory declared that ...
3
votes
0
answers
108
views
How could second-order logic satisfy (neo) Fregean's epistemic goal?
Recently I've been reading Shapiro's Higher Order Logic in The Oxford Handbook of Philosophy of Mathematics and Logic, Chapter 25. There are some paragraphs confusing me:
One traditional goal of ...
3
votes
0
answers
212
views
Are there any resources that discuss the relevance of mathematical fields/problems to philosophy?
I've been enjoying reading Scott Aaronson's paper Why Philosophers Should Care About Computational Complexity. The paper discusses how the field of computational complexity is of major relevance to ...
3
votes
0
answers
329
views
Has Alexandre Grothendieck ever expounded a particular stance on metaphysics or ontology?
It seems that in Recoltes et Semailles, he does go into quite a bit of philosophizing. the only thing of relevance I've found is that he notes how Riemann "in passing" said how he thought perhaps the "...
3
votes
0
answers
130
views
Using differential equation to estimate epistemological growth constant
I found some tweets (1,2) describing a philosophy paper as follows:
I came across this paper from the academic journal of philosophy that
tries to solve a differential equation for an ...
3
votes
0
answers
173
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,...