Theoretical Computer Science
Network profile
451
reputation
2
13

PyRulez

I enjoy programming in Haskell. I also have python experience. Category theory is cool.

1
answer
9
questions
~2k
people reached
  • ChristopherKing42
  • Member for 4 years, 2 months
  • 26 profile views
  • Last seen Dec 27 '19 at 22:32

Communities (61)

Top network posts

Top tags (25)

Score 5
Posts 3
Posts % 30
Score 5
Posts 2
Score 5
Posts 2
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 2
View all tags →

Top posts (10) All Questions Answers | Votes Newest

6 Do we know a specific $L_{ZFC}$ such that $K(s) \ge L_{ZFC}$ is unprovable in ZFC for all strings $s$? Oct 14 '17
6 Quantum Money where not even the Bank can counterfeit Dec 21 '19
5 Do we know a specific $L_{ZFC}$ such that $K(s) \ge L_{ZFC}$ is unprovable in ZFC for all strings $s$? Oct 20 '17
5 Which computational models support bigotous programs? Jun 8 '17
4 Can any Calculus of Construction term be built up from application of a finite number of terms? Nov 16 '17
3 Does the physical Church-Turing thesis imply that all physical constants are computable? Mar 20 '18
2 Reasonable estimate of an asymptotic limit notion of Kolmogorov complexity Oct 14 '17
1 Is true randomness and the physical Church-Turing thesis incompatible? Mar 21 '18
1 Is this algorithm similar to any none in the literature? Sep 5 '18
0 Searchable finite field Feb 24 '18

Badges (15)

Gold

—

Silver

2

Rarest

Bronze

13

Rarest

View all badges →