Dan's user avatar
Dan's user avatar
Dan's user avatar
Dan
  • Member for 13 years, 4 months
  • Last seen more than a month ago
38 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

9 votes
1 answer
389 views

Horn's inequalities for n matrices

7 votes
1 answer
2k views

Ackermann function in the Primitive recursive arithmetic

4 votes
1 answer
463 views

On fast-growing hierarchy

4 votes
0 answers
119 views

Canonical formal theory corresponding to a given ordinal

4 votes
3 answers
445 views

Ways to prove an inequality in groups

3 votes
0 answers
295 views

An alternative definition of computable ordinals

3 votes
1 answer
202 views

Properties of quantum torus group

2 votes
2 answers
410 views

Absolutely algorithmically random infinite sequence

2 votes
1 answer
362 views

Presentations of infinite index subgroups

2 votes
4 answers
1k views

The paradox with the first uncountable ordinal