Linked Questions

This question is closely related to this one: Knuth's intuition that Goldbach might be unprovable. It stems from my ignorance about non-standard models of arithmetic. In a comment on the other ...

A thing that consistently surprises me is that many "natural" sequences $f(n)$, even apparently very complicated ones, have growth rates which can be described by elementary functions $g(n)$ ...

Is there a natural measure on the set of statements which are true in the usual model (i.e. $\mathbb{N}$) of Peano arithmetic which enables one to enquire if 'most' true sentences are provable or ...

In the undergraduate toplogy course we were given examples of spaces that are $T_i$ but not $T_{i+1}$ for $i=0,\ldots,4$. However, no example of a space which is $T_3$ but not $T_{3.5}$ was given. ...

I've been wrestling with a certain research problem for a few years now, and I wonder if it's an instance of a more general problem with other important instances. I'll first describe a general ...

As far as I know, whether Fermat's Last Theorem is provable in Peano Arithmetic is an open problem. What is known about this problem? In particular, what is known about the arithmetic systems $PA + \...

Given a finite group $G$, we denote by $\pi_s(G)$ the set of orders of its subgroups. Which finite groups $G$ can be characterized by the set $\pi_s(G)$, i.e. $\pi_s(H)=\pi_s(G)$ implies $H\cong G$? ...

Homotopy categories can be thought of (e.g. on p205-6 of Context) as having arrows built from equivalence classes of special zigzags of arrows in their underlying category. Following this answer and ...

Let us say that a (closed, connected) manifold has a symmetry if it admits a non-trivial action by a finite group. Note that I am not asking the action to be free. So for example rotating the 2-sphere ...

We say a subset $E$ of $\mathbb{N}$ is a set of returns if there is some measure preserving system $(X,\mathcal{B},\mu,T)$ and some $A\in\mathcal{B}$ with $\mu(A)>0$ such that $E=\{n\in\mathbb{N};\...