Theoretical Computer Science
Rexcirus's user avatar
Rexcirus's user avatar
Rexcirus's user avatar
Rexcirus
  • Member for 3 years, 10 months
  • Last seen more than a month ago
Profile Activity
Stats
214
reputation
329
reached
1
answer
1
question
Communities
View all
About

lorenzopieri.com

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
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
8
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
Top network posts
View all network posts
30
Biggest successful secret project in history?
23
How do I pass parameters via url in django?
21
Examples of "unsuccessful" theories with afterlives
20
Curvature Invariants in General Relativity and Singularities
19
Why does a flat universe imply an infinite universe?

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.