Questions involving philosophy of mathematics

learn more… | top users | synonyms

7
votes
4answers
425 views

What is straight line?

I have found the definition of line in metric space. It is general but has two problems. Considering about $\mathbb R^2$ equipped rectilinear distance, every line by this definition contains a ...
-2
votes
2answers
127 views

Is math the measurement of motion? [closed]

I know that math can be used to measure motion, like where something will end up over a period of time, but is math itself 'in' motion. Take a look at how you use math: You scribble, type, draw ...
-6
votes
1answer
226 views

is Pi a static number? [closed]

What I mean is, is pi, 3.14 on the up, or the down. Is it being added to or subtracted against? If it is never ending, it has to be in motion where we cannot find its end. Where does it go? Other ...
5
votes
6answers
2k views

How to interpret material conditional and explain it to freshmen?

After studying mathematics for some time, I am still confused. The material conditional “$\rightarrow$” is a logical connective in classical logic. In mathematical texts one often encounters the ...
1
vote
1answer
79 views

A Simpler Characterization of Inductive Definitions?

While reading appendix A of John Harrison's "Handbook of Practical Logic and Automated Reasoning" a somewhat advanced theorem is appealed to as a prerequisite for characterizing when an inductive ...
4
votes
2answers
267 views

What is the role of Topology in mathematics?

What is the role of Topology in Mathematics? Is it like Logic that you need in every areas of math?
2
votes
2answers
248 views

What is the use of such concepts as potential infinity and actual infinity?

I'm aware of such mathematical concepts as and potential infinity and actual infinity. But I do not understand how those concepts are being used. Are there any applications to such concepts? Are there ...
2
votes
3answers
128 views

Polynomials as concrete structures

Motivation The structuralist point of view on mathematical objects has two aspects: On the one side, a mathematical object is seen as a concrete structure of abstract dots, e.g. a graph. On the ...
5
votes
3answers
1k views

are there non-standard models of arithmetic in second order arithmetic?

non-standard models of arithmetic in second order arithmetic? Background: According to Godel's theorem, if we have, in a given consistent system S, a non-provable wff. A, then we can extend the ...
6
votes
4answers
286 views

Is probability objective?

As we know, probability is a measure of events. However, is it an objectively attribute of events, or just an illusion in ones' mind? For example, suppose that there is an empty black box with an ...
46
votes
10answers
12k views

How is a system of axioms different from a system of beliefs?

Other ways to put it: Is there any faith required in the adoption of a system of axioms? How is a given system of axioms accepted or rejected if not based on blind faith?
12
votes
1answer
493 views

Is First Order Logic (FOL) the only fundamental logic?

I'm far from being an expert in the field of mathematical logic, but I've been reading about the academic work invested in the foundations of mathematics, both in a historical and objetive sense; and ...
9
votes
4answers
484 views

What are the reasons for not supporting constructive mathematics

It is obvious that in constructive mathematics, you cannot use the law of excluded middle. What else would be the reasons for not adopting constructive stance in mathematics?
4
votes
2answers
264 views

Did Structuralism influence the formulation of Category Theory?

Having only the a very cursory knowledge of Structuralism ( it's a movement generally held to have originated in linguistics, then moving on to philosophy & literature), there does appear to be ...
6
votes
6answers
2k views

Michael Spivak in “Calculus” asserts that $\sqrt2$ cannot be proven to exist, and that such a proof is impossible. What does he mean by “exist”?

Michael Spivak in "Calculus" asserts that $\sqrt2$ cannot be proven to exist, and that such a proof is impossible. What does he mean by "exist"? How are you to prove that any number "exists"? Why ...
8
votes
6answers
1k views

Why accept the axiom of infinity?

According to my readings, Russell showed that a principle Frege used to reduce Peano arithmetic to logic lead to a contradiction. So, Russell tried to reduce mathematics to logic a different way but ...
5
votes
1answer
538 views

How do mathematical objects relate to the real world? (a little philosophy)

I am just going to give an example of what I mean using Skolem's Paradox. I don't want to get into Skolem;s Paradox itself or its "resolution." Skolem's showed that in first-order formulations of ...
25
votes
2answers
652 views

A few questions about intuitionistic mathematics

I have to write a paper on Intuitionism for my Philosophy of Science class and I'm struggling with a few concepts I have encountered in my self-study. The (intuitive) characterization of valid ...
4
votes
4answers
301 views

Are there any situations where you can only memorize rather than understand?

I realize that you should understand theorems, equations etc. rather than just memorizing them, but are there any circumstances where memorizing in necessary? (I have always considered math a logical ...
5
votes
4answers
2k views

Is McGee's counterexample to Modus Ponens accepted by the mathematical community?

In the mid 1980's Vann McGee proposed a counterexample to Modus Ponens: (a) If a Republicans will win the election, then if Reagan will not win, Anderson will win. (b) A Republican will win the ...
1
vote
1answer
244 views

Equivalence of sequences and subsets of natural numbers

For me, facts like the independence of the continuum hypotheses from ZFC cast a doubt on the "law of the excluded middle". (In this context, the doubt is that there might be no "final set theory" such ...
16
votes
1answer
965 views

What did Gauss think about infinity?

I have someone who is begging for a conversation with me about infinity. He thinks that Cantor got it wrong, and suggested to me that Gauss did not really believe in infinity, and would not have ...
3
votes
1answer
314 views

Probability and Axiom of Choice

I'm not a logician, so I apologize if what follows translates to nonsense. I would like to try to define a different theory of random choice. I hesitate to call it probability theory because I do not ...
4
votes
3answers
285 views

How can any statements be proven undecidable?

As I understand it, undecidability means that there exists no proofs or contradictions of a statement. So if you've proved $X$ is undecidable then there are no contradictions to $X$, so $X$ always ...
13
votes
6answers
1k views

What philosophical consequence of Goedel's incompleteness theorems?

I want to write a philosophical essay centered about Goedel's incompleteness theorem. However I cannot find any real philosophical consequences that I can write more than half a page about. I read the ...
49
votes
6answers
4k views

In what sense are math axioms true?

Say I am explaining to a kid, $A +B$ is the same as $B+A$ for natural numbers. The kid asks: why? Well, it's an axiom. It's called commutativity (which is not even true for most groups). How do I ...
2
votes
1answer
284 views

Russell Paradox and set theories

The Russell paradox arise in the Cantor set theory, but it can be avoided in the $ZF$ and in $NGB$ axiomatic set theory. Are there other axiomatic set theories in which this paradox can be avoided? ...
6
votes
1answer
146 views

Hidden structures

There is a lot of talk about "hidden structures" in the realm of mathematics: hidden structures in the ZFC system, hidden structures in the natural number system, and so on. Saunders Mac Lane ...
5
votes
0answers
309 views

Structuralist slogans

I am afraid to make a bad impression by misusing this forum but I am looking for as-many-as-possible mathematically inspired formulations and references to one (sometimes vague) idea. The idea is ...
6
votes
2answers
363 views

Are there any non-self-referential statements that cannot be assigned a truth value?

Statements like A) A is false. or B1) B2 is true. B2) B1 is false. cannot be assigned a truth-value due to their ...
3
votes
0answers
183 views

Does the concept of predicativity need to be formalized to go beyond Feferman-Schutte ordinal?

Feferman-Schütte ordinal is sometimes said to be: ....first impredicative ordinal, though this is controversial, partly because there is no generally accepted precise definition of "predicative". ...
2
votes
1answer
86 views

Reference request for Intuitionism

I need to write an essay on Intuitionism for my Philosophy of Science class, and I'm looking for books which cover the following topics: Brouwer's Intuitionism, from both a philosophical and ...
3
votes
5answers
311 views

Essays on the real line?

Are there any essays on real numbers (in general?). Specifically I want to learn more about: The history of (the system of) numbers; their philosophical significance through history; any good ...
7
votes
2answers
145 views

Literature on general paradox?

I suppose this one teeters on the edge of un-mathematical, but here it goes... I've been on something of a logic binge lately and have (surprise, surprise!) especially been interested in the results ...
5
votes
4answers
416 views

From continuity to differentiability and analyticity- what's next?

Continuity is an intuitive concept. I will not dwell on the precise definitions of continuity and the rest here. Note that differentiability is a more restrictive condition than continuity, while ...
9
votes
5answers
958 views

The status of high school geometry

Okay, so we've all seen Euclidean geometry in primary and high school. Back then, I really thought of points as indivisible entities in space and lines as 'breadthless lengths'. As far as I could ...
7
votes
4answers
831 views

Is the set of all mathematical truths countable or uncountable?

Is the set of all theorems countable or uncountable? Maybe its a stupid question. I just wanted to know. I am led to think that since, we use a finite set of symbols and English letters, the set of ...
3
votes
0answers
382 views

Mac Lane and Eilenberg's motivations for category theory

I'm looking to understand the conceptual process that brought Eilenberg and Mac Lane in developing the basic concepts of category theory. I quote Mac Lane's book "Category theory for working ...
8
votes
2answers
877 views

Definition of “non-constructive proof”

I was wondering if it is possible to define exactly what a non-constructive (nc) proof is. I have often seen the concept associated with the use of principles such as the axiom of choice or the law of ...
12
votes
3answers
360 views

Is there any difference between a math invention and a math discovery? [closed]

From wikipekia: The calculus controversy was an argument between 17th-century mathematicians Isaac Newton and Gottfried Leibniz (begun or fomented in part by their disciples and associates – ...
1
vote
4answers
464 views

Does $3+2=5$ have a non-physical interpretation? [closed]

Normally we consider simple arithmetic to be related to the world of objects. So the sum $3+2=5$ means $3$ three apples and $2$ apples gives $5$ apples. But is there an alternative interpretation ...
1
vote
3answers
310 views

What is the difference between a parametric equation and a mathematic law?

First of all sorry for my English, I'm not used to communicate with this language. I want to ask something about a thing that I discovered while studying physics (AKA applied mathematics). There is ...
6
votes
6answers
943 views

Inherently discrete concepts

Are there any concepts which are naturally defined only for the integers and so far has resisted any attempts at extension to other fields such as rationals or reals? Does not meet criteria: ...
2
votes
4answers
355 views

Evidence of Absence = Absence of Evidence?

Any clever-cloggs out there who can explain the formula below in more simple English please? - Do you agree with the formula?
2
votes
1answer
221 views

Truth and undecidability

I believe this is more of a philosophical question. Given a consistent theory T and a statement S independent of T. Can S be true or false in T? (I don't see any contradiction with that) I read that ...
25
votes
3answers
915 views

Rejecting infinity

I've heard about mathematicians who defend a strictly finite conception of mathematics, with no room for infinity. I wonder, how is it possible for these people to do this? Are there any concepts that ...
5
votes
1answer
245 views

Generalisation of dualities, what concept do dualities represent?

Duality is a concept that pops up in different areas of mathematics as well as other science, but besides being a "woo isn't that nice?", is there anything more to duality (than loosely stated some ...
10
votes
3answers
587 views

Difference between undecidable statements in set-theory and number theory?

Do all statements about the integers have a definite truth value? For instance: Goodstein's theorem is clearly true, otherwise we could find a finite counterexample thus it would be possible to ...
6
votes
3answers
813 views

What is a physical “dimension” - in the sense of “dimensional” analysis?

Mathematically speaking, what does it mean to say that a physical quantity is some numerical value with a “dimension” associated with it? When we say that the velocity of light is some constant, c ...
11
votes
1answer
344 views

Formalizing metamathematics

I am reading historical/philosophical stuff on the concept of "metamathematics" and am by now quite confused. Several questions emerged, but they are probably somehow confused and interrelated, I ...