The math-philosophy tag has no wiki summary.

**8**

votes

**0**answers

521 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" ...

**8**

votes

**0**answers

2k views

### Group Theory, Game Theory, a bit of Philosophy and a post in Tao's blog

I've decided to write this post after reading the incredibly beautiful and highly recomended post by Terence Tao ...

**5**

votes

**0**answers

424 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 ...

**4**

votes

**0**answers

439 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 ...

**4**

votes

**0**answers

627 views

### BGG category everywhere implies generalized Kazhdan-Lusztig formula?

Maybe this question is vague. I am not an expert on what I asked, if I made mistake, please point out.
BGG category was discoverd in Lie algebra setting. One has Verma module $M(\lambda)$, ...

**3**

votes

**0**answers

287 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 ...

**2**

votes

**0**answers

164 views

### Interpretation of Shannon Entropy Application

Consider a collection of increasing positive integers $\{a_i\}_{i=1}^m$ and the distribution $p_i=\frac{a_i}{\sum_{i=1}^ma_i}$. Let entropy of $\mathcal{A}=\{a_i\}_{i=1}^m$ be given
by ...

**2**

votes

**0**answers

118 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
...

**2**

votes

**0**answers

446 views

### Single logic foundation vs. multi-logic foundation

Dear all,
I have always wondered why I have never read anything about this topic. My question is, are there are any books or articles covering this subject?
With this topic I mean the philosophical ...

**1**

vote

**0**answers

127 views

### A question regarding extendible cardinals and a result of M. Magidor

The following definitions and Theorems come from M. Magidor's paper "On the Role of Supercompact and Extendible Cardinals in Logic" (Israel J. Math., Vol. 10, 1971):
"Definition: Logic is called ...

**1**

vote

**0**answers

104 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

**0**answers

178 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 ...

**0**

votes

**0**answers

99 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$, ...