Theoretical Computer Science
user avatar
user avatar
user avatar
N. Virgo
  • Member for 9 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
689
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 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
Score Newest
question
20
A Lambda calculus for invertible (r-Turing computable) functions
Feb 1, 2014
question
14
Reversible Turing tarpits?
Apr 15, 2014
question
9
Defining primitive recursive functions over general data types
Aug 27, 2016
question
4
Defining a calculation-reversing function in the lambda calculus
Feb 7, 2014
question
3
Actual practical example of a prefix-free Turing-complete language
May 16, 2015
question
3
Is there research on "minimal" Turing-universal Markov algorithms?
Dec 24, 2015
question
2
Algorithm for extensional equality in combinator calculus
May 8, 2016
question
2
density of undeciability
Apr 15, 2014
Top network posts
View all network posts
319
Write Moby Dick, approximately
254
Paint Starry Night, objectively, in 1kB of code
191
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.