User Antonio E. Porreca - MathOverflow

Antonio E. Porreca

Member for 14 years
Last seen more than 1 year ago

Twitter
GitHub
aeporreca.org
Marseille, France

Network profile

16 Answers

Score Activity Newest

47 votes

What is your favorite "strange" function?

answered Apr 22, 2010 at 16:37

16 votes

Are there complexity classes with provably no complete problems?

answered Jun 9, 2010 at 19:39

11 votes

The best text to study both incompleteness theorems

answered Aug 1, 2010 at 11:29

10 votes

Accepted

What is the history of the Y-combinator?

answered Jul 14, 2010 at 19:54

9 votes

Accepted

post correspondence problem

answered Aug 12, 2010 at 23:03

8 votes

Lower Bounds in Theoretical Computer Science

answered Jul 11, 2010 at 21:08

8 votes

Is there a "primitive-recursively enumerable" set whose complement is not such?

answered Apr 12, 2010 at 12:26

8 votes

Accepted

Typesetting mathematics: how do {\em you} convert text into pdf?

answered Apr 15, 2010 at 15:12

7 votes

Accepted

Interesting complexity classes $PR \subsetneq c \subsetneq R$

answered Aug 13, 2010 at 14:01

6 votes

Which math paper maximizes the ratio (importance)/(length)?

answered May 21, 2010 at 21:21

5 votes

What is the intuitive meaning of star and box in a pure type system?

answered Apr 29, 2010 at 21:49

4 votes

reversible Turing machines

answered May 10, 2010 at 12:04

4 votes

Accepted

Can I have an LL grammar for every deterministic context free language?

answered Jul 13, 2010 at 18:47

4 votes

What is some good introduction to lambda calculus?

answered Jul 2, 2011 at 19:32

1 vote

Provability of termination. Whats wrong with my reasoning?

answered Apr 16, 2010 at 22:34

1 vote

Resources for learning domain theory?

answered May 15, 2010 at 8:57