Questions involving philosophy of mathematics. Please consider if Philosophy Stack Exchange is a better site to post your question.

learn more… | top users | synonyms

4
votes
2answers
92 views

Allowed probabilities under frequentism

Am I right to assume that under the frequentist interpretation of probability,* the set of allowed probabilities isn't $$\left[0,1\right],$$ but rather is ...
1
vote
2answers
44 views

When the probability model of an experiment is correct?

Suppose I wanted to tell what's the probability of event $A$: getting 2 tails in a row of 5 coin tosses. According to the classical definition of probability, the probability of this event is equal to ...
1
vote
2answers
68 views

Are there undecidable problems for which a solution has been found?

I mean are there examples of problems that have been proven to be undecidable, in the sense that it would not be possible to devise a deterministic computer program that outputs a solution for an ...
0
votes
2answers
113 views

Why does randomness exhibit a pattern in the long run?

!!! Layman here so please avoid complex math and answers. Random (usually pseudorandom) events are usually characterized along these lines: Each outcome in a trial experiment must be i.i.d.; i.e. ...
0
votes
2answers
71 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 ...
3
votes
1answer
80 views

Principle of mathematical induction

In his book “Introduction to Mathematical Philosophy” Bertrand Russell seems to reach the conclusion that mathematical induction is a definition and not a principle. In essence he states that ...
3
votes
1answer
70 views

Sheaves in Philosophy

I once found a book on google.books. It was about the applications of sheave theory to philosophy or more general to social studies. I don't remember for sure. i just know it was not the book Sheaves ...
3
votes
1answer
171 views

Errors of Euler interpretation?

To complement the recent post on Euler's errors, I would pose the following question: what common errors of Euler interpetation appear in the literature? What errors are attributed to Euler's work in ...
2
votes
1answer
152 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
1answer
128 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 ...
2
votes
1answer
115 views

Do circles exist

So I was wondering about circles today and if they really do exsist. If you graph a circle in function mode, your equation looks like$$y=\sqrt{1-x^2}$$ Now for simple purposes lets take a portion of ...
2
votes
1answer
178 views

What's with conditionals in mathematical logic?

Having a bit of difficulty understanding the conditional ($\rightarrow$) in mathematical logic. I read up on the already-existing questions and it did help me understand it better (the 'promise' ...
1
vote
1answer
45 views

Justifying the use of real numbers for measuring length

I am not sure if this is the most appropriate place to post this but here goes nothing: Assume we were trying to come up with system of numbers $S$ to model our intuition of length. We want $S$ to ...
1
vote
1answer
81 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 ...
-1
votes
1answer
50 views

A Question Regarding Representing $\mathscr P$($\omega$) as a Digraph and CH

It is well known that one can represent sets as digraphs. What is the proper digraph representation of $\mathscr P$($\omega$)? I ask this because $\mathscr P$($\omega$) is $\Pi_1$ in the Levy ...
16
votes
0answers
494 views

What Do Mathematicians Do?

The American Mathematical Society maintains a web page entitled "What Do Mathematicians Do?" which references two interesting surveys. (One of the reference links is broken, but this one works: What ...
8
votes
0answers
258 views

Gödel's Completeness Theorem and logical consequence

At the end of a long process of "rumination" on "old" math log textbooks, I've found the "missing link" - from my personal point of view - between some issues I've raised in the previous months : (i) ...
6
votes
0answers
73 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 ...
5
votes
0answers
90 views

Apparent Arbitrariness in Mathematics

Something about definitions in mathematics has always interested – confused? - me, I call it “arbitrariness in Mathematics” - it's a bad name, but I don't know a better one. Let me explain: 1st - ...
5
votes
0answers
547 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 ...
4
votes
0answers
247 views

How much are mathematics driven by applications?

At some point this provocative question came to my mind: Are mathematics mostly driven by applications? I am taking into account some of the comments made to my original question so I want to ...
4
votes
0answers
78 views

Constructivism implied or not

Let me take up some details in the answer of another question. Submitted by user hyg17: Heading: All real numbers can be expressed as a limit of rational numbers? The question was: Let $C$ be a set ...
4
votes
0answers
218 views

Finitistic objections to the current mathematical model

I recently read this pdf: Warning Signs of a Possible Collapse of Contemporary Mathematics, and I'm having some trouble understanding the issues it raises. The author says that the consistency of ...
3
votes
0answers
64 views

Philosophical implications of P vs NP proof?

Wikipedia article on P vs NP says that "a proof either way would have profound implications for ... Philosophy" without providing further details. So I was wondering what could be the philosophical ...
3
votes
0answers
88 views

Strange Consequences of Large Cardinals in Probability

Large cardinal axioms are very strong hypothesizes and as any other strong hypothesis they have many strange consequences in mathematics. On the other hand we know that if we bring even the least ...
3
votes
0answers
75 views

Is there a link between level of abstraction and use of numbers?

One of my friend who stopped studying maths in high school told me once You study maths, can you help me fill my tax forms? In her mind, advancing in maths studies implied manipulating an ...
3
votes
0answers
50 views

looking for good book on the history of formalism

In 1868 Beltrami published a paper ""Saggio di interpretazione della geometria non-euclidea" that seems to have led to the formalist philosophy of mathematics. But what was written exactly what were ...
3
votes
0answers
116 views

Can one define informational content of a mathematical expression?

At least in physicist's thinking, information, vaguely, is something that allows one to select a subset from a set. Say, a system can be in states A and B, we have done a measurement on it ...
3
votes
0answers
223 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
0answers
74 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 ...
2
votes
0answers
76 views

What if segments are not infinitely divisible?

I almost got myself mixed up I a philosophical discussion again. Somebody was talking about the Planck time and length which are, according to him, the minimal possible time and distance, and how ...
1
vote
0answers
32 views

Imagening the Thurston geometries

I can (more of less) imagine how it would look if space was Euclidean, spherical of hyperbolic. But there are 8 Thurston geometries see https://en.wikipedia.org/wiki/Geometrization_conjecture how ...
1
vote
0answers
110 views

An adequate difference between $\forall x\in A:P(x)$ and $(\forall x)(x\in A\rightarrow P(x))$?

Ever since I was a young student I have felt doubts about the traditional $(\forall x)$-expression: starting a statement with such an irrational lack of focus doesn't seems reasonable! I mean, all $x$ ...
0
votes
0answers
35 views

curves in Poincare half space (3 dimensional hyperbolic geometry)

Okay maybe I am going a bit ahead of my self The Poincare half plane still has many mysteries for me But still I was puzzeling about the 3 dimensional variant of it. So lets assume an hyperbolic 3 ...
0
votes
0answers
52 views

Computability, Continuity and Constructivism

Triggered by an IMO extremely interesting question & Mathematics Stack Exchange, asked by Dal: Computability and continuous real functions And a link in one of the comments that could have ...
0
votes
0answers
63 views

Is there a name for this constant? (0.0100011011…)

It's the simplest number I could think of that contains any finite binary code in its digits: $$\begin{align} c &= 0.0100011011000001010011100101110111...\\ &= ...
0
votes
0answers
92 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$? ...
0
votes
0answers
30 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 ...
0
votes
0answers
76 views

A Question Regarding Ordinal Turing Machines

Consider the following theorem of Koepke: 'A set x of ordinals is ordinal computable from a finite set of ordinal parameters if and only if it is an element of the constructible universe L". Taking ...
0
votes
0answers
77 views

Are there intensional classes independent of the set universe?

The hereditarily finite sets can be regarded as purely extensional sets. Furthermore, they are quite independent of the underlying set universe (at least if we look at them from an extensional point ...
-1
votes
0answers
36 views

How to identify the mathematical properties of an observation?

I have been thinking a lot about how one knows when an observation contains mathematical elements. Many years ago when I was in school, I found that there was often little time taken out to discuss ...