SpiceQA
Questions
Tags
Users
Badges
proof
55 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Proof that the halting problem is NP-hard?
user_501557
0
•
asked Aug 9, 2011
28
1
32184
np
proof
halting-problem
theory
Explain the proof by Vinay Deolalikar that P != NP
user_61793
0
•
asked Aug 9, 2010
67
7
18225
proof
p-np
computer-science
math
complexity-theory
Functional proofs (Haskell)
user_124486
0
•
asked Jul 15, 2010
21
4
4258
proof
functional-programming
haskell
Why can't programs be proven?
user_40106
0
•
asked Jan 25, 2009
61
31
13021
formal-verification
axiom
proof
theory
math
What is the Pumping Lemma in Layman's terms?
shs_292
0
•
asked Jan 20, 2009
86
9
37591
pumping-lemma
proof
theory
Prev
Prev
2
3
4
5
6
(current)
Hot Questions