The math-philosophy tag has no wiki summary.

**5**

votes

**3**answers

311 views

### Extensionality in HoTT versus extensionality in internal language of a category

What's the extension of judgmental identity in HoTT (homotopy type theory)?
The Martin-Löf intensional dependent type theory with identity types is called (definitionally) extensional if the ...

**56**

votes

**21**answers

10k views

### Has philosophy ever clarified mathematics?

I've recently been reading some standard textbooks on the philosophy of mathematics, and I've become quite frustrated that (surely due to my own limitations) I don't seem to be gleaning any ...

**8**

votes

**2**answers

934 views

### The impact of large cardinals in mathematics [closed]

What are the main applications of large cardinals in ordinary mathematics, and what is the philosophy behind using them. In particular:
Question 1. What is the philosophy behind accepting large ...

**12**

votes

**1**answer

524 views

### Time in Girard's Geometry of Interaction

Jean-Yves Girard writes at the end of his paper
"Towards a Geometry of Interaction", page 105, that we have three intuitions about the nature of time:
time is logic modulo the order of rules,
time ...

**-4**

votes

**1**answer

179 views

### Universal quantifier in Russell's Theory of descriptions - Who is the UNIVERSE? [closed]

To moderators: Please don't delete or migrate this thread: It's by no means PURE PHILOSOPHICAL, but mostly a mathematical logic question!
In Russell's 1905 paper "on denoting" in which he introduces ...

**6**

votes

**2**answers

445 views

### Can we define an “empirically generic” real number?

Summary: My question, in a nutshell, is how we should intuitively imagine a generic real number (as opposed to a random one), and whether we can construct numbers which empirically behave like generic ...

**4**

votes

**2**answers

830 views

### Meta$^{n{-}th}$ mathematics [duplicate]

Metamathematics has a reasonably clear connotation,
enough to have a Wikipedia page,
with Gödel, Tarski, and Turing playing leading roles;
Kleene's book (Introduction to Metamathematics (Amazon ...

**14**

votes

**5**answers

1k views

### What's special about the Simplex category?

I have been wondering lately what makes simplicial sets 'tick'.
Edited
The category $\Delta$can be viewed as the category of standard $n$-simplices and order preserving simplicial maps. The goal of ...

**0**

votes

**0**answers

89 views

### Geometric interpretation of table with permutations and inversions

Let $T(n,k)$ is the number of permutations of numbers $1, ..., n$ and each of the permutations has $k$ inversions. We can consider a table for $T(n,k)$ for some $n$ and $k$. For eg.
$n=1,...,6$, ...

**12**

votes

**3**answers

461 views

### Formal/rigorous treatment of (im)predicativity/predicativism

There are several places on the web where one may find quite intuitively understandable accounts of (im)predicativity; here on MO I found two questions with very good detailed answers (Predicative ...

**5**

votes

**0**answers

355 views

### Last Status of Feferman's Conjecture on Indefinite Value of Continuum

The "true" value of $2^{\aleph_0}$ is one of the most fundamental open questions of mathematics and its philosophy. Hundreds of set theoretic results during the last century don't say anything more ...

**14**

votes

**6**answers

2k views

### What “forces” us to accept large cardinal axioms?

Large cardinal axioms are not provable using usual mathematical tools (developed in $\text{ZFC}$).
Their non-existence is consistent with axioms of usual mathematics.
It is provable that some of ...

**10**

votes

**5**answers

2k views

### Interesting meta-meta-mathematical theorems?

The Goedel incompleteness theorems can be considered meta-mathematical theorems, as they are "written" in a meta-theory and "talk" about properties of a class of formal theories.
The following may be ...

**1**

vote

**2**answers

525 views

### What are trivial objects, in general?

Trivial objects show up in most every branch of mathematics, and we all know lots of examples: the trivial group, ring, vector space, module over a ring, graph, knot, homomorphism from one object to ...

**2**

votes

**3**answers

716 views

### Assessing effectiveness of (epsilon, delta) definitions [closed]

There is much discussion both in the education community and the mathematics community concerning the challenge of (epsilon, delta) type definitions in calculus and the student reception of them. The ...

**3**

votes

**2**answers

281 views

### Is there a source linking Robinson's work in wing theory with his theory of infinitesimals?

Abraham Robinson worked in applied mathematics for several decades. MathSciNet lists 12 articles by Robinson in wing theory. His production included the book
Robinson, A.; Laurmann, J. A. Wing ...

**2**

votes

**0**answers

98 views

### Is there an universal (dis)similarity measure between two structures?

I'm always wondering is there an universal (dis)similarity measure
between two structures (let's say between two undirected simple
graphs)? I mean, not "the measure with universal parameter that we
...

**4**

votes

**1**answer

338 views

### Fundamental Problems in Mathematics that, without Computer Sciences, would not be resolved? [closed]

Could you please give examples of fundamental questions in mathematics (let us say, pure mathematics) which were resolved fundamentally by the use of computers? More precisely, are there examples that ...

**3**

votes

**2**answers

445 views

### Are descriptive and ontological notions of equality equal? [closed]

Let $a$ and $b$ are two "objects". What is the meaning of $a=b$? This is one of the deepest problems of philosophy and logic because one needs a complete information about ...

**7**

votes

**0**answers

458 views

### Has anyone pursued Frege's idea of numbers as second-order concepts?

Gottlob Frege was a pivotal figure in the history of mathematical logic. He gave an analysis of numbers that proceeded along roughly the following lines, in his books "The Foundations of Arithmetic" ...

**15**

votes

**10**answers

2k views

### An example of a proof that is explanatory but not beautiful? (or vice versa)

This question has a philosophical bent, but hopefully it will evoke straightforward, mathematical answers that would be appropriate for this list (like my earlier question about beautiful proofs ...

**10**

votes

**2**answers

490 views

### Are simplicial sets the intended model of HoTT?

While thinking about Jason Rute's question, I wondered if there was an intended model for HoTT. The main candidate for the intended model are simplicial sets, where Vladimir Voevodsky first observed ...

**5**

votes

**2**answers

446 views

### What is the impact on Godels theorem of Paraconsistency?

Russells paradox forced a restriction of the natural abstraction principle (that every predicate determines a set) so that Set Theory could be consistent. The standard one being ZF.
However ...

**1**

vote

**0**answers

99 views

### A Question Regarding Productive Sets in the Koepke-Koerwien System SO (Sets of Ordinals)

In their paper "The Theory of Sets of Ordinals" (arXiv), Koepke and Koerwien propose a theory SO axiomatizing the class of sets of ordinals in a model of ZFC and show that SO and ZFC are ...

**1**

vote

**2**answers

532 views

### Ontological status of some “sets” in ZFC [closed]

Let $\phi$ be an undecidable statement of ZFC set theory, for example let's take continuum hypothesis.
What is the ontological status of the "set" $X=\bigl\{x\in\{1,2\}:x=1\text{ or }(x=2\text{ and ...

**2**

votes

**2**answers

1k views

### In What Sense is Set Theory a 'Foundation' for Mathematics? [closed]

In what sense is set theory a foundation for mathematics? To my mind (for what that is worth), there are at least three (somewhat) distinct senses in which set 'theory' (I put "theory" in scare ...

**44**

votes

**7**answers

2k views

### How closed-form conjectures are made?

Recently I posted a conjecture at Math.SE:
$$\int_0^\infty\ln\frac{J_\mu(x)^2+Y_\mu(x)^2}{J_\nu(x)^2+Y_\nu(x)^2}\mathrm dx\stackrel{?}{=}\frac{\pi}{2}(\mu^2-\nu^2),$$
where $J_\mu(x)$ and $Y_\mu(x)$ ...

**9**

votes

**6**answers

1k views

### Intuitionistic logic as quantization of classical logic?

A classically trained mathematician is more likely to be familiar (at least anecdotally) with an area of mathematical physics such as deformation quantization than with Intuitionistic logic. It is ...

**17**

votes

**2**answers

744 views

### Age of Stochasticity?

One user on MSE made an interesting question, which was unanswered so I suggested him to post it here but he refused for personal reasons and said I could ask it here.
The question is this:
Today ...

**40**

votes

**17**answers

8k views

### Is rigour just a ritual that most mathematicians wish to get rid of if they could?

"No". That was my answer till this afternoon! "Mathematics without proofs isn't really mathematics at all" probably was my longer answer. Yet, I am a mathematics educator who was one of the panelists ...

**9**

votes

**3**answers

828 views

### Is there an observer dependent mathematics? [closed]

Is there any field of mathematics that deals with the role of the observer? E.g., some formulation in which a set is changed, in some unspecified way, when it is observed? Or maybe some philosophy of ...

**14**

votes

**1**answer

1k views

### Euler's mathematics in terms of modern theories?

Some aspects of Euler's work were formalized in terms of modern infinitesimal theories by Laugwitz, McKinzie, Tuckey, and others. Referring to the latter, G. Ferraro claims that "one can see in ...

**1**

vote

**0**answers

165 views

### A question regarding Koepke' s Ordinal Computability in HOD

Consider the following theorem of Koepke-Koerwien-Siders:
"A set x of ordinals is ordinal computable [either by ordinal Turing machines or ordinal register machines--my comment] if and only if it is ...

**9**

votes

**6**answers

1k views

### Non-constructive proofs vs. efficient algorithms

My question concerns what is meant by "nonconstructive", and whether it has ever been defined in terms of computational complexity.
The wikipedia article on constructive proof begins, "a constructive ...

**23**

votes

**7**answers

2k views

### Excellent mathematical explanations

In the Stanford Encyclopedia of Philosophy there is an entry on mathematical explanation.
The basic philosophical question is: What makes a proof explanatory?
Two main "models" of mathematical ...

**12**

votes

**4**answers

1k views

### Statements which were given as axioms, which later turned out to be false.

I know that early axiomatizations of real arithmetic (in the first half of the nineteenth century) were often inadequate. For example, the earliest axiomatizations did not include a completeness ...

**3**

votes

**0**answers

252 views

### A Question Regarding Boolean-valued Models

What were the intuitions motivating the creation (or discovery, if you will) of Boolean-valued models? I have searched for the Scott-Solovay paper on the subject, but to no avail. There also seems to ...

**0**

votes

**3**answers

544 views

### Sets = structured sets without structure

Motivation
There is presumably no single and widely accepted formal definition of structured sets = sets plus structure based on sets as primitive objects, but several approaches are around. See e.g. ...

**2**

votes

**2**answers

552 views

### Has the notion of “space” been reconsidered in 20th century?

The original title, "has the bases of geometry been reconsidered in 20th century" of this question refers to Riemann's paper "On the Hypotheses which lie at the Bases of Geometry"， an English version ...

**30**

votes

**10**answers

3k views

### Believing the Conjectures

In Believing the axioms (I and II), Penelope Maddy proposes five "rules of thumb" that she then uses to justify large cardinal axioms in set theory. These extrinsic rules are modeled after the ...

**2**

votes

**1**answer

940 views

### Are the Foundations of Mathematical Logic Shaky? [closed]

The mathematics community at large seems pretty satisfied right now with the common practice of 1. starting with some axioms and 2. deriving theorems from them by employing some logic. All mathematics ...

**6**

votes

**5**answers

942 views

### How to tell a paradox from a “paradox”?

Russell's paradox showed that naive set theory leads to a contradiction. This was something that was taken seriously and caused a lot of work.
Now, Banach–Tarski paradox is arises from a result that ...

**6**

votes

**4**answers

703 views

### Does there exist a non-trivial Ultrafinitist set theory?

Does there exist a set theory T-which has not yet been proved to be inconsistent-and in which
one can prove the existence of (1) the empty set (2) sets that are singletons and (3) sets which
have ...

**15**

votes

**12**answers

2k views

### 2D Problems Which are Easier to Solve in 3D

It sometimes happens that 1D problems are easier to solve by somehow adding a dimension. For example, we convert linear differential equations for a real unknown to a complex unknown (to use complex ...

**4**

votes

**1**answer

538 views

### intensional equality in type theory

I want to know why we add an intensional equality in type theory to definitional equality ?
What is the aim with this intensional equality ?
thanks

**3**

votes

**0**answers

421 views

### sine and Archimedes' derivation of the area of the circle

The elementary "opposite over hypotenuse" definition of the sine function defines the sine of an angle, not a real number. As discussed in the article "A Circular Argument" [Fred Richman, The College ...

**6**

votes

**3**answers

774 views

### What is the status of irrational numbers within finitism/ultrafinitism?

According to constructivism a mathematical object to prove that it exists". There are several formulas to calculate pi, such as:
so I take it ...

**12**

votes

**6**answers

812 views

### Proof by `universal receiver'

Anyone following the news knows about the major breakthoughs that have taken place recently in $3$-manifold topology. These have come via a route whose big-picture I find to be conceptually ...

**6**

votes

**8**answers

2k views

### ULTRAINFINITISM, or a step beyond the transfinite

Cantor has, in the immortal words of D. Hilbert, given all of us a paradise (or perhaps, I would rather say, a great vacation spot), the TRANSFINITE.
$\aleph_0, \aleph_1,\aleph_2\dots$
the lists ...

**1**

vote

**0**answers

454 views

### Arguments against Reductio ad Absurdum [closed]

Could Reductio ad Absurdum not be consireded a valid proof method? Are there any compelling arguments against it, or at it's favor?
I feel like I am assuming some metamathematical hypothesis about my ...