Dan's user avatar
Dan's user avatar
Dan's user avatar
Dan
  • Member for 13 years, 7 months
  • Last seen more than 1 year ago
39 votes
7 answers
9k views

Bijection between irreducible representations and conjugacy classes of finite groups

30 votes
11 answers
6k views

Physics and Church–Turing Thesis

7 votes
1 answer
2k views

Ackermann function in the Primitive recursive arithmetic

2 votes
4 answers
1k views

The paradox with the first uncountable ordinal

4 votes
1 answer
466 views

On fast-growing hierarchy

4 votes
3 answers
446 views

Ways to prove an inequality in groups

2 votes
2 answers
420 views

Absolutely algorithmically random infinite sequence

9 votes
1 answer
392 views

Horn's inequalities for n matrices

2 votes
1 answer
367 views

Presentations of infinite index subgroups

3 votes
0 answers
322 views

An alternative definition of computable ordinals

3 votes
1 answer
202 views

Properties of quantum torus group

4 votes
0 answers
119 views

Canonical formal theory corresponding to a given ordinal