4,196 reputation
11335
bio website
location
age
visits member for 4 years, 9 months
seen 3 hours ago

Oct
25
revised Why is it so hard to compute $\pi_n(S^n)$?
gave homotopical reference for the James construction
Oct
22
awarded  Nice Answer
Oct
21
answered Why is it so hard to compute $\pi_n(S^n)$?
Oct
12
comment What is an infinite prime in algebraic topology?
I remember reading in a problem session from a long-ago conference a question asked by Haynes Miller saying something like: "Lots of theorems work for all sufficiently large $p$ --- can we make a theory of the infinite prime?"
Oct
10
comment Motion planning algorithm
Sorry! $i:\partial I \hookrightarrow I$ is an unpointed cofibration so $i^*=ev$ is a fibration.
Oct
10
comment Motion planning algorithm
$ev$ should be a fibration as long as $* \to X$ is a cofibration.
Oct
10
comment Motion planning algorithm
Why do you need a CW complex?
Oct
9
revised Andrica's and Legendre's Conjectures
fixed floors
Oct
5
revised Finite complexes whose homotopy groups are not “finitely generated”
added link to related question
Oct
5
revised Finite complexes whose homotopy groups are not “finitely generated”
added detail for Q2 and rational homotopy theory tag
Oct
2
awarded  Good Answer
Oct
2
comment Finite complexes whose homotopy groups are not “finitely generated”
@BenWieland: when you say "I think so" do you mean you think this is the correct translation, or that the translated statement is actually true? If the second, I'd love to see some explanation as an answer.
Oct
1
reviewed Approve suggested edit on Order-increasing bijection from arbitrary groups to cyclic groups
Sep
29
comment The impact of large cardinals in mathematics
Maybe Q5? I don't know about famous, and I don't know about impact. But this is a theorem that some people doing "ordinary mathematics" know about and use in their thinking sometimes, and it refers to large cardinals. I thought it didn't exactly fit any of the questions perfectly, but fit the question as a whole.
Sep
29
answered The impact of large cardinals in mathematics
Sep
27
reviewed Approve suggested edit on When are two proofs of the same theorem really different proofs
Sep
26
awarded  Good Question
Sep
26
revised Finite complexes whose homotopy groups are not “finitely generated”
Drew attention to the rational version of the question.
Sep
22
revised Characterization of a subset of [0,1] $II$
[Edit removed during grace period]
Sep
20
reviewed Approve suggested edit on Changing Left Comodules into Right Comodules via the Antipode, and Comodule Tensor Products