17

Answers
votes newest views recent
32
What is your favorite “strange” function?
9
The best text to study both incompleteness theorems
7
Are there complexity classes with provably no complete problems?
7
What is the history of the Y-combinator?
6
Lower Bounds in Theoretical Computer Science
6
post correspondence problem
5
What is the intuitive meaning of star and box in a pure type system?
5
reversible Turing machines
5
Which math paper maximizes the ratio (importance)/(length)?
5
Is there a “primitive-recursively enumerable” set whose complement is not such?
5
Typesetting mathematics: how do {\em you} convert text into pdf?
3
Proofs of if and only if statements
2
Can I have an LL grammar for every deterministic context free language?
2
Interesting complexity classes $PR \subsetneq c \subsetneq R$
1
Provability of termination. Whats wrong with my reasoning?
1
Resources for learning domain theory?
0
What is some good introduction to lambda calculus?