Monday March 27th, 1:00PM EST, Video Google Hangouts on Air
Dr. Doron Friedman, a computer scientist at the Interdisciplinary Center in Herzliya, Israel, has employed automated reasoning to tackle the problem, with his work published on the arXiv (meaning it is yet to go under peer-review).
Time travel plotlines can be brain-meltingly difficult to follow. But Friedman designed a program that can readily track the back and forth chain of events – and their logical consistency (or lack thereof).
He used a simplified version of the paradox, in which the protagonist goes back in time and kills his own father.
When Friedman ran this plotline through his program, it noticed the paradox by reporting a contradiction – namely that if the son travels back in time and kills his father, then how could the son have been conceived? Source: https://cosmosmagazine.com/physics/computer-solves-a-major-time-travel-problem