question

agemO

Member for 4 years, 6 months
Last seen this week

Network profile

Stats

119

reputation

162

reached

0

answers

1

question

Communities

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

4

bronze badges

Commentator

Apr 26
Editor

Oct 21, 2020
Supporter

Aug 18, 2022

Top tags

proof-theory

0

Score

1

Posts

100

Posts %

proof-complexity

0

Score

1

Posts

100

Posts %

Top posts

1

For a given theory $T$, do all theorems provable in $T$ have "short" proofs using stronger theories?

Apr 20

Top network posts

View all network posts

30

Project I was hired for is off the rails due to constantly changing requirements, now it's me on the spot

13

How to use git sparse-checkout in 2.27+

6

Fast algorithms for time bounded Kolmogorov complexity

5

Proof that total computable functions are not enumerable