All Questions
Tagged with philosophy math-history
79
questions
1
vote
0
answers
95
views
What are the criteria for a subject to be under the domain of mathematics [duplicate]
It is to my understanding that mathematics is in some way the domain of all logical systems. However unconventional, as long as certain criterias are met, they could be considered as part of ...
9
votes
4
answers
959
views
Proof by Contradiction: "Bad Form" or "Finest Weapon"? Reconciling Perspectives [duplicate]
G.H. Hardy famously described proof by contradiction as "one of a mathematician's finest weapons." However, I've encountered claims that some schools of thought consider proof by ...
0
votes
0
answers
33
views
On motivations of continuous geometry
The development of continuous geometry as an abstract field seems to be following a trend of removing the significance of low-dimensional entities from geometry. As classical treatments of geometry ...
2
votes
2
answers
162
views
Does it make sense to divide mathematical theorems into those susceptible to experimental conjecture and those that are not?
I read the following in a good book: ”let's start from zero", the authors are Vinicio Villani and Maurizio Berni (pisan mathematicians) but I don't know if the book is also marketed outside Italy....
7
votes
0
answers
175
views
Reference request: which theorems are "interesting" to mathematicians?
Disclaimer: this question is more about philosophy of mathematics than technical mathematics.
Mathematicians always need to choose what to focus their work on. Many pure mathematicians like to say ...
1
vote
1
answer
207
views
Is the term "category" in Category theory entirely different from the category in topological spaces?
$(X, \tau) $ be a topological space.
$A\subset X$ is said to be first category (meager) if it can be expressed as a countable union of nowhere dense sets. Otherwise we call the set $A$ second ...
1
vote
0
answers
79
views
Philosophical/Historical question on the word "kernel" in Algebra
My question is little philosophical/historical, and it came to mind due to some natural curiocity.
The word kernel appears in many contexts in abstract algebra. (It also appears in other branches of ...
4
votes
1
answer
126
views
Why does Hadamard claim that Pascal could have discovered non-Euclidean geometry
In The psychology of invention in the mathematical field, p. 53, Hadamard makes the following claim:
Is his point that there must, in any axiomatic theory, be undefined terms, and if you write the ...
7
votes
2
answers
564
views
Paradigm Shifts in Mathematics [closed]
in physics there were several clear revolutions or paradigm shifts which fundamentally changed the field. One example is the copernican revolution and the encompassing shift from the ptolemaic to ...
1
vote
1
answer
299
views
Is there a relation between the ZFC set axioms and our intuitive notion of sets?
A question about history.
When I took my first course in set theory, I had the perception that ZFC axioms weren't the most intuitive thing in relation to what common people would usually call a set. ...
4
votes
0
answers
87
views
Non-associativeness of composition in deductive systems?
WARNING: The first three and last two paragraphs of this question concern historical/philosophical matters related to a secondary aim of the question. If you are more interested in the properly ...
8
votes
3
answers
508
views
If we didn't have examples of irrational numbers, would we know they exist?
Irrational numbers are very easy to find. Square roots require only a little bit more than the most basic arithmetic. So it might be that this question is impossible to answer because it presupposes a ...
1
vote
1
answer
72
views
Can you convert a categorical proposition into a zeroth order proposition?
I am a student learning mathematical logic as a hobby. When I say "zeroth order" I mean "not predicate logic".
Question: Is it possible to convert a categorical proposition into a zeroth-order ...
4
votes
1
answer
477
views
Is there criticism in literature of Euclid's fifth common notion ("The whole is greater than the part")?
In Book I of Euclid's Elements, the fifth common notion says "The whole is greater than the part".
For Euclid, magnitudes are objects that can be compared, added, and subtracted, provided they are of ...
0
votes
2
answers
349
views
What are the arguments of the mathematicians who objected against the ontological proof Gödel offered?
Q:
What are the arguments of the mathematicians who objected against the ontological argument/proof Gödel offered?
$$
\begin{array}{rl} \text{Ax. 1.} & \left\{P(\varphi) \wedge \Box \; \forall ...