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

Abstract

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