Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi's user avatar
Joey Eremondi
  • Member for 10 years, 6 months
  • Last seen this week
14 votes
Accepted

Are Turing machines still useful as model of computation?

14 votes

Why is the Curry-Howard isomorphism?

14 votes
Accepted

Which universities in the U.S. are doing research in type theory?

6 votes
Accepted

Program equivalence wherein the programs are known to always halt

4 votes
Accepted

Formal theory about explaining algorithms

4 votes
Accepted

Calculating least fixed points in equations

2 votes

Is it decidable whether the langauge accepted by a reversal-bounded counter machine is deterministic?

2 votes

Any fundamental papers in TCS which were found to be incorrect/wrong later?

2 votes

Type theory and fixed points of datatypes

1 vote

Why is it impossible to prove software to be correct?

0 votes

What is the best text of computation theory/theory of computation?