Dan's user avatar
Dan's user avatar
Dan's user avatar
Dan
  • Member for 12 years, 6 months
  • Last seen more than a week ago
34 votes
7 answers
8k views

Bijection between irreducible representations and conjugacy classes of finite groups

30 votes
11 answers
6k views

Physics and Church–Turing Thesis

8 votes
1 answer
359 views

Horn's inequalities for n matrices

7 votes
1 answer
2k views

Ackermann function in the Primitive recursive arithmetic

4 votes
1 answer
454 views

On fast-growing hierarchy

4 votes
0 answers
115 views

Canonical formal theory corresponding to a given ordinal

4 votes
3 answers
443 views

Ways to prove an inequality in groups

3 votes
0 answers
232 views

An alternative definition of computable ordinals

3 votes
1 answer
196 views

Properties of quantum torus group

2 votes
2 answers
388 views

Absolutely algorithmically random infinite sequence

2 votes
1 answer
340 views

Presentations of infinite index subgroups

2 votes
4 answers
1k views

The paradox with the first uncountable ordinal