Questions involving philosophy of mathematics

learn more… | top users | synonyms

0
votes
0answers
54 views

Acceptance of Facts in Mathematics [on hold]

I have a simple question about acceptance of conventions/facts in mathematics. Tell me: Is it an accepted fact in the world of mathematics that something written like $\sin(x)$ would be considered ...
0
votes
2answers
77 views

Does axiom of foundation/regularity protect against Russell-like paradoxes?

In ZF set theory the axiom of regularity (also called axiom of foundation) says that: In all nonempty sets x there is an element y such that x∩y=∅ As I been told that the intention of the axiom ...
-1
votes
1answer
87 views

Does Mathematics exists apart from the mathematician? [on hold]

Does Mathematics exists apart from the mathematician? Explain yourself. Mathematics seems to be a projection of the mind. But from where the mind originates? Can the source of the mind be known or you ...
4
votes
3answers
169 views

Are “proofs” that are contingent upon physical reality valid?

Consider the following statement: Let $P$ be any polygon and let $A$ be a point inside of $P$. Then there exists at least one side of $P$ such that the perpendicular from $A$ to said side touches ...
-1
votes
0answers
248 views

Are paradoxes a threat against mathematics? [closed]

Or are they just mathematical tools? Given a binary predicate $R$, written in infix notation, there are unitary predicates $p$ such that: $\qquad \exists y \forall x: x R y \leftrightarrow p(x)$. ...
1
vote
2answers
372 views

Is there such a thing as the Fundamental Theorem of ZFC?

I was initially meaning to ask to about a fundamental theorem of mathematics, but the word "mathematics" is very vague. So, my question is the title. I want to know if there is a theorem of ZFC that, ...
2
votes
0answers
67 views

About the adjoint concept. [closed]

I read somewhere the adjoint concept has some sort of philosophical implications, that can be expressed in non-technical terms. Some way to describe it in terms of logic without very difficult ...
2
votes
1answer
75 views

Building math theory on absurd axioms - reducing math to logic

I know similar questions have been asked and i know my terminology might be wrong but I am trying to come to an answer to whether math can be derived from logic. Wikipedia defines logic as use and ...
-2
votes
3answers
102 views

fascination with precision of pi [closed]

I heard somewhere that Engineers only need about 40 decimal digits of pi max for their calculations. Since the 41st thru 45th digits of pi after the decimal point are 69399 (using base 10), for extra ...
-2
votes
2answers
171 views

Is Infinity Needed in Maths? Does Infinity Actually Exist? [closed]

I'm asking this question as I have been having an on going online debate with a friend of mine. I claimed that Infinity does in fact exist in Maths and in Reality, as there's a whole plethora of ...
3
votes
5answers
149 views

Is $'' \sum_{n = 1}^{\infty} (-1)^n \; \text{is a real number}''$ an invalid statement or a false proposition?

So we're beginning an introductory logic course and my professor is giving examples for valid statements/ propositions - meaningful statements that are either true or false but not both. So he puts ...
5
votes
2answers
54 views

How is Cartesian coordinate system related to his philosophy

In 1637, Rene Descartes published his famous monograph about philosophy "Discourse on the Method of reasoning well and Seeking Truth in the Sciences", and analytic method of geometry has been come up ...
2
votes
2answers
127 views

Three-valued logic as foundation

Isn't it more natural to use Three-valued logic(false-true-unknown) as the foundation of mathematics? It is a better model for natural languages. And it also can model sentences like the lair paradox ...
1
vote
1answer
25 views

Probability that theoretical results match experimental results

I am not sure if this can be determined, but I was wondering if there was any way to go deeper into probability to find the odds that your experimental results match your theoretical results. For ...
7
votes
3answers
139 views

The nature of infinities

I have been thinking about the nature of infinity lately. I have no experience with higher mathematics or theorems regarding infinity, so please forgive me if my ideas on this topic are extremely ...
3
votes
2answers
144 views

Gödel's incompleteness theorems

In the last paragraph of Stephan Hawking's speech "Godel and the End of the Universe", he mentioned "... I'm now glad that our search for understanding will never come to an end, and that we will ...
1
vote
0answers
37 views

Why is time important in the Ross-Littlewood paradox?

I have read many defferent versions of the Ross-Littlewood Paradox. This post: Fun quiz: where did the infinitely many candies come from? This post: Paradox: increasing sequence that goes to $0$? ...
5
votes
0answers
47 views

Codifying ways to think and write about imprecise ideas?

This question will not be about affine spaces; rather those are mentioned here as one of many examples. A vector space has an underlying set and a field of scalars and an operation of linear ...
2
votes
1answer
49 views

Geometries (Euclidean and Projective)

We can think of Euclidean Geometry and Cartesian (Coordinate) Geometry as equivalent, in the sense that some proposition is true in Euclidean Geometry iff it's true in Coordinate Geometry. It makes ...
13
votes
4answers
231 views

Which mathematical ideas most influenced the way you think?

This is not a question about how you use a formula or mathematical method to solve quantitative problems - that is applied mathematics. Rather, I'd like to hear how deeper ideas gained through the ...
1
vote
3answers
107 views

Why Maximize Expected Value?

In many instances I've come across (in Game Theory, etc), when trying to choose an optimal strategy it has the criterion that it wants to maximize expected value much of the time. To simplify this ...
2
votes
7answers
451 views

Are the real numbers really uncountable?

Consider the following statement Every real number must have a definition in order to be discussed. What this statement doesn't specify is how that loose-specific that definition is. Some examples ...
1
vote
3answers
78 views

Zermelo–Fraenkel set theory the natural numbers defines $1$ as $1 = \{\{\}\}$ but this does not seem right

If 1 can be defined as the set that contains only the empty set then what of sets which contain one thing such as the set of people who are me. number 1 does not just mean $1$ nothing, it means $1$ ...
1
vote
1answer
65 views

Formulation VS Interpretation

I'm reading a book on Mathematical Physics and at some point the author says that we must distinguish between a "formulation" and an "interpretation" of a theory, although it's not easy to point what ...
0
votes
2answers
120 views

Is the “Most Important Property a Set S has” Necessary and Sufficient to Define a Paradox-Free Notion of Set?

About a year and a half ago, while I was looking on the Web for papers regarding the Russell paradox, I chanced to find an interesting concept. This concept was contained in what (for want of a ...
0
votes
0answers
29 views

Theoretical question of physical analogies to different O(f(x)) based characteristics of algoritms

I want to better understand the following concepts: "n!", "e^n". I.e. what is the physical analogy of the functions at the bottom of the message. F.ex. for the "n^a" and "log a x" where a equals to ...
2
votes
1answer
106 views

Why didn't Frege succeed in his attempts to reduce mathematics to logic?

My background: Sophomore-level understanding of mathematics and philosophical logic. All the explanations I have found online so far are either far too technical or too simplistic. Thanks in advance ...
3
votes
2answers
168 views

What is the meaning/purpose of finding the “foundations of mathematics”?

I've read in a lot of places how there was a "foundational crisis" in defining the "foundations of mathematics" in the 20th century. Now, I understand that mathematics was very different then, I ...
0
votes
1answer
56 views

particular property and completeness?

I was puzzeling with the almost standard definition of completeness: In mathematical logic and metalogic, a formal system is called complete with respect to a particular property if every formula ...
2
votes
3answers
307 views

How Do You Know If Mathematical Definition Matches Up With Reality?

This is probably one of the biggest question I have when learning some mathematics. I always wonder if I have a concept in my head lets say continuity. Lets I want this concept to be able to ...
1
vote
1answer
53 views

Formalized philosophy

I once recall a conversation with a friend who told me that his friend was taking a philosophy course where the ideas and concepts were formalized and done very rigorously. This really intrigues me. I ...
0
votes
1answer
56 views

Zero vs Infinity relation type

I'm not sure it should be asked here or in philosophy. Bertrand Russell in his book "Introduction to Mathematical Philosophy" in chapter 7 when discussing rational numbers on page 66 says: "It will ...
6
votes
6answers
315 views

Interviews of famous modern mathematicians

I was wondering, are there any good collections of interviews of famous modern mathematicians? It can be text interviews, or audio or video recordings. I am not sure what exactly I mean by "modern". ...
2
votes
0answers
52 views

Why are divergent Fourier series all so 'HARD'?

I'm not sure if this question is appropriate or even making sense, but I still feel curious: why are every example of divergent Fourier series SO COMPLICATED? It usually takes pages to construct and ...
26
votes
8answers
2k views

Complex analysis is more “real” than real analysis

In physics, in the past, complex numbers were used only to remember or simplify formulas and computations. But after the birth of quantum physics, they found that a thing as real as "matter" itself ...
10
votes
3answers
651 views

What is more important in Mathematics, Theorems or its Proofs?

Felix Klein once said, Mathematics has been advanced most by those who are distinguished more for intuition than for rigorous methods of proof. Till now I thought the opposite. I thought that ...
4
votes
4answers
383 views

The standard role of intuitive numbers in the foundations of mathematics

In my career I've been formed mostly in the formal side of mathematics, that is, standard set theory and every classical branch of mathematics that uses set theory. However, I am not quite sure about ...
0
votes
0answers
42 views

The Major Weaknesses in Ramified Type Theory

I am reviewing a paper on the major weaknesses of Ramified Type Theory in predicative second-order arithmetic. These four are listed as "weaknesses." But, I have my doubts. It seems at least that 3) ...
2
votes
2answers
157 views

Is it Theoretically Impossible to Demonstrate that Set Theories Are Consistent?

I have to present on the main realist and non-realist arguments for/against set theory. According to one of my sources, it remains a matter of debate as to whether any of the set theories' (ZF, NF, ...
36
votes
14answers
10k views

How big is infinity?

This might be more philosophy than math, but it’s been bothering me for a while. Question: If there’s an infinite amount of real numbers between $ 0 $ and $ 1 $, shouldn’t there be twice the ...
6
votes
2answers
251 views

Set theoretic realism

What are the main contemporary arguments for and against realism about set theory?
0
votes
1answer
29 views

Evolution of Relations

In Frege, one finds relations treated as predicates in complex terms. However, modern set theory appears to treat them as two-place relation. Is this correct? If so, when did this shift occur and to ...
1
vote
1answer
95 views

A question regarding Worldly Cardinals and L

For some $L_\kappa$ in the constructible hierarchy, does there exist a $\kappa$ such that $\kappa$ is a worldly cardinal and that $L_\kappa$ contains all of the constructible reals? The motivation ...
1
vote
2answers
100 views

Abstract Objects in Logic

I am confused on the concept of extensionality versus intensionality. When we say 2<3 is True, we say that 2<3 can be demonstrated by a mathematical proof. So, according to mathematical logic, ...
2
votes
1answer
93 views

Does math have to be learned linearly?

I am asking because often times one doesn't know where to start in math. "Just learn what you need" is very vague and unspecific ... for example, assume I'm a beginner at Algebra and was considering ...
1
vote
3answers
105 views

Why do we formalize conceptions?

Why do we always try to formalize conceptions? Let's take the naive conception of sets, why do we try to write down a list of axioms? what do we earn in doing so? I'm looking especially for ...
3
votes
1answer
422 views

Do only certain people exceed at math well? [closed]

It's obvious if you look around that math has always been one of the toughest subjects in all areas, from federal-traditional public schools to simply people learning it as an autodidact, hobby, or as ...
2
votes
1answer
68 views

Difference between impredicative and predicative version of separation axiom

What is the difference between an impredicative and a predicative version of the separation axiom in ZFC: $$\forall x \exists y \forall z ( z\in y \leftrightarrow (z \in x \wedge \phi (z)) $$ What ...
2
votes
2answers
96 views

Are axioms chosen with the goal of “making things work” instead of some deep philosophies?

Are axioms chosen with the goal of "making things work" instead of some deep philosophies? If everything should be deducible, that is, provable from something else, then in this chain of deduction ...
21
votes
10answers
2k views

How can Zeno's dichotomy paradox be disproved using mathematics?

A brief description of the paradox taken from Wikipedia: Suppose Sam wants to catch a stationary bus. Before he can get there, he must get halfway there. Before he can get halfway there, he must ...