Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Network profile
269
reputation
1
13

PyRulez

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

1
answer
8
questions
~1k
people reached
  • ChristopherKing42
  • Member for 3 years, 7 months
  • 21 profile views
  • Last seen Jun 11 at 12:23

Communities (61)

Top network posts

Top tags (21)

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

Top posts (9) 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
5 Which computational models support bigotous programs? Jun 8 '17
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
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 (14)

Gold

—

Silver

1

Rarest

Bronze

13

Rarest

View all badges →