Computer Science
user avatar
user avatar
user avatar
Euge
  • Member for 5 years, 11 months
  • Last seen more than 1 year ago
Profile Activity
Stats
630
reputation
26k
reached
14
answers
0
questions
Communities
View all
Badges
View all badges
1
gold badge
4
silver badges
8
bronze badges
Top tags
View all tags
14
Score
4
Posts
29
Posts %
13
Score
2
Posts
14
Posts %
11
Score
2
Posts
14
Posts %
9
Score
2
Posts
14
Posts %
7
Score
2
Posts
14
Posts %
7
Score
1
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
7
Why are some programming languages Turing complete but lack some abilities of other languages?
Sep 27, 2016
answer
6
If modern computers aren't actually Turing-complete, does that mean that it is possible to determine if a program run on such a computer halts?
Aug 31, 2016
answer
5
Lambda calculus lists construction explanation
Dec 17, 2016
answer
4
Does it make sense to have both the concept of 'null' and 'Maybe'?
Dec 30, 2016
answer
4
Types and Types Systems concepts
Oct 31, 2016
answer
4
Lambda Calculus Prove Equality Excessive (Haskell-oriented)
Nov 1, 2016
answer
3
Church-Rosser on an example
Nov 29, 2016
answer
3
Misunderstanding Turing's Halting-Problem Argument
Aug 26, 2016
answer
3
Show that the following tautology is a theorem of natural deduction
Sep 23, 2016
answer
3
Collection of inference rules viewed itself as a judgment
Oct 28, 2016
Top network posts
View all network posts
12
In Slaughterhouse Five, are the science-fictional elements real?
7
Close all buffers besides the current one in Emacs
7
How does one flatten an array of arrays in Scala?
6
Where do values fit in Category of Hask?
6
Where did the notion of the product in a category first appear?

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.