Skip to main content
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen
  • Member for 14 years, 9 months
  • Last seen this week
comment
revised
Loading…
Loading…
comment
The finite subgroups of SU(n)
@Vincent I agree, it doesn't seem to help with that.
awarded
comment
Is there a known Turing machine which halts if and only if the Collatz conjecture has a counterexample?
@HermannGruber You're welcome, it's all part of the process of progress! No doubt I introduced some new mistakes.
comment
revised
Functions representing all strings somewhere
added 127 characters in body
Loading…
comment
Functions representing all strings somewhere
@ChristianRemling that sounds good! The next question would be, can you use polynomials? I expect not, of course.
revised
Loading…
Loading…
awarded
awarded
awarded
comment
Homeomorphisms and "mod finite"
Every statement in the first paragraph only 🙂.
comment
Homeomorphisms and "mod finite"
I can confirm that every statement here is correct. Formalized in Lean at github.com/bjoernkjoshanssen/bay/blob/main/ville-salo.lean
awarded
awarded
awarded
awarded
1
2 3 4 5
84