Computability in Europe 2006
Logical Approaches to Computational Barriers
|Author(s):||Jose Felix Costa and Jerzy Mycka|
|Slot:||Sat, 14:30-14:50, Faraday J (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|