Abstract

Even though we don't know if timelike curves exist, there is some speculation about
the nature of their existence. In 1991, David Deutsch presented a resolution to
this paradox. Though his resolution is not universally accepted, it has interesting
implications on our current models commutation. During my talk, I will discuss the
concept of timelike curves and explain Deutsch's resolution. Then I will illustrate
the proof for PSPACE = PCTC (PTIME under CTC), which proves that, given the 
existence of timelikes curves, P = NP.