Computer Science
N. Virgo's user avatar
N. Virgo's user avatar
N. Virgo's user avatar
N. Virgo
  • Member for 9 years, 8 months
  • Last seen more than a month ago
Profile Activity
Stats
946
reputation
5k
reached
3
answers
10
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
21
bronze badges
Top tags
View all tags
4
Score
4
Posts
31
Posts %
2
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
1
Score
2
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
22
Basis sets for combinator calculus
May 16, 2016
question
16
A quine in pure lambda calculus
Feb 6, 2014
question
13
What functions can combinator calculus expressions compute?
May 15, 2016
question
10
Mathematical conjectures equivalent to the halting of a Turing machine
Dec 4, 2016
question
6
Combinator equivalent to eta conversion
May 12, 2016
question
5
Defining computable functions on arbitrary sets
Feb 26, 2018
question
4
Minimal requirements for Kleene's recursion theorem
Aug 19, 2016
answer
4
Minimal requirements for Kleene's recursion theorem
Aug 21, 2016
question
3
Has the notion of "non-cheating" quines been formalised?
Aug 20, 2016
answer
2
Can any known sub-Turing-complete model of computation enumerate precisely the set of prime numbers?
Oct 24, 2021
Top network posts
View all network posts
319
Write Moby Dick, approximately
258
Paint Starry Night, objectively, in 1kB of code
196
Why do sunbeams diverge even though the sun is much more than a few kilometers away?
164
If I drop a ball in an accelerating rocket, will it bounce? If so, how?
162
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.