Computability in Europe 2006
Logical Approaches to Computational Barriers

Regular Talk:
The conjecture P ≠ NP given by some analytic condition

Author(s): Jose Felix Costa and Jerzy Mycka
Slot: Array, 14:30-14:50, col. 5


In this paper, we prove that there exists some analytic condition,
involving only the Laplace transform  and differential equations,
which is equivalent to $P \ne NP$. 

websites: Arnold Beckmann 2006-04-19