Theoretical Computer Science
Rexcirus's user avatar
Rexcirus's user avatar
Rexcirus's user avatar
Rexcirus
  • Member for 5 years
  • Last seen more than a month ago
Profile Activity
Stats
244
reputation
940
reached
1
answer
1
question
Communities
View all
About

lorenzopieri.com

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
1
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
11
Is Gödel's speed-up theorem an instance of Blum's speedup theorem?
Feb 10, 2020
answer
1
What's the state of research on automated theorem proving?
Jul 1, 2022
Top network posts
View all network posts
30
Biggest successful secret project in history?
26
How do I pass parameters via url in django?
21
Curvature Invariants in General Relativity and Singularities
21
Why does a flat universe imply an infinite universe?
21
Is the "Chinese room" an explanation of how ChatGPT works?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.