user avatar
user avatar
user avatar
user76284
  • Member for 7 years, 1 month
  • Last seen more than a week ago
14 votes
2 answers
517 views

"Inner product" between prime factorizations

14 votes
1 answer
486 views

Projective-invariant differential operator

10 votes
0 answers
384 views

Harvey Friedman's minimalist axioms for set theory

7 votes
2 answers
692 views

Regularizing the sum of all primes

7 votes
1 answer
375 views

Natural $\Pi_1$ sentence independent of PA

6 votes
0 answers
465 views

Darkness in the lamplighter group

5 votes
1 answer
220 views

Program analysis for Turing machines

5 votes
3 answers
2k views

How strong is this set theory?

4 votes
2 answers
519 views

Intermediate results for Langton's ant highway conjecture

3 votes
2 answers
590 views

Shortest axiom of infinity for foundationless set theory

2 votes
0 answers
98 views

Is this variant of bitwise cyclic tag Turing-complete? [closed]

2 votes
1 answer
107 views

Busy beaver sequence for a simple tag-like system

1 vote
0 answers
173 views

Does foundationless Ackermann set theory prove replacement?

1 vote
0 answers
38 views

Sampling non-isomorphic Moore automata

1 vote
2 answers
467 views

Generalized limits

0 votes
0 answers
216 views

Probability of substring given string production probabilities

0 votes
0 answers
131 views

A spectral approach to reflection principles