Theoretical Computer Science
Nathaniel
  • Member for 8 years, 8 months
Profile Activity
Stats
659
reputation
3k
reached
0
answers
8
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
Top tags
View all 8 tags
0
Score
3
Posts
38
Posts %
0
Score
3
Posts
38
Posts %
0
Score
2
Posts
25
Posts %
0
Score
2
Posts
25
Posts %
0
Score
1
Posts
12
Posts %
0
Score
1
Posts
12
Posts %
Top posts
All Questions Answers
Votes Newest
20
A Lambda calculus for invertible (r-Turing computable) functions
Feb 1 '14
11
Reversible Turing tarpits?
Apr 15 '14
9
Defining primitive recursive functions over general data types
Aug 27 '16
4
Defining a calculation-reversing function in the lambda calculus
Feb 7 '14
3
Actual practical example of a prefix-free Turing-complete language
May 16 '15
3
Is there research on "minimal" Turing-universal Markov algorithms?
Dec 24 '15
2
Algorithm for extensional equality in combinator calculus
May 8 '16
2
density of undeciability
Apr 15 '14
Top network posts
View all
310
Write Moby Dick, approximately
248
Paint Starry Night, objectively, in 1kB of code
188
Why do sunbeams diverge even though the sun is much more than a few kilometers away?
163
If I drop a ball in an accelerating rocket, will it bounce? If so, how?
158
Why is the Penrose triangle "impossible"?

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.