計算機解決了一個主要的時間旅行問題
我是斜杠青年，一個熱愛自然科學的“雜食性”學者！
時間旅行的“祖父悖論”多年來一直令人困惑。
自H.G.以來已經120多年了。Wells出版了《時間機器》，這部小說旨在普及時間旅行的概念，并導致無數關于這個主題的故事。
但直到現在，我們才最終為時間旅行制定了一個合乎邏輯的情節(jié)——它是由一臺機器寫的。
這一突破涉及祖父悖論——哲學家最喜歡的玩物，有人走進過去，殺死自己的祖父，阻止他們父母一方的存在，從而阻止他們自己的祖父的存在。
但問題是，如果主角不存在，那么他們怎么能回到過去，首先引發(fā)一連串事件呢？
這個悖論經常以各種幌子來看待任何改變過去的行動——例如Marty McFly避免他母親Lorraine的關注，并確保她在《回到未來》中嫁給他的父親George。
與此同時，斯蒂芬·霍金等物理學家利用這種因果鏈的不可能性（用物理學來說稱為“封閉的類時間曲線”）來論證，進入過去一定是不可能的。
當然，總是有一種可能的解決方案，可以調用量子力學的“許多世界”解釋。也就是說，當你回到過去時，你最終會進入另一個宇宙，所以你可能造成的任何傷害只會影響那個宇宙，而不是你出生的那個宇宙。
該解決方案有效，但它需要存在許多備用宇宙，并且你的時間機器可以兼作宇宙料斗。
事實證明，僅僅用一個宇宙來解決這個悖論更棘手。
現在，以色列赫茲利亞跨學科中心的計算機科學家Doron Friedman使用自動推理來解決這個問題，他的作品發(fā)表在arXiv上（這意味著它尚未接受同行評審）。
時間旅行情節(jié)可能很難理解。但弗里德曼設計了一個程序，可以隨時跟蹤事件的來回鏈——以及它們的邏輯一致性（或缺乏邏輯一致性）。
他使用了這個悖論的簡化版本，其中主角回到過去并殺死了自己的父親。
當弗里德曼在他的節(jié)目中運行這個情節(jié)時，它通過報告一個矛盾注意到了這個悖論——即如果兒子回到過去并殺死了他的父親，那么兒子怎么可能出生呢？
當弗里德曼要求解決矛盾時，該算法研究了數千種可能的場景，以找到那些邏輯上一致的場景——換句話說，兇殘的兒子的行為不會讓他消失。
顯然，有很多可能的解決方案，但在論文中，弗里德曼描述了其中兩個。
第一個涉及兒子（讓我們叫他馬蒂）成為自己的祖父。在回到過去殺死他年輕的父親（喬治）后，馬蒂然后生了一個孩子，這個孩子后來成為他的父親，另一個喬治。
這是一種解決方案，但它需要一些激進的因果體操（除了馬蒂和他自己祖母的糾纏）。
電腦的第二個解決方案更有趣。障礙是，只有當父親也有能力及時旅行時，它才會起作用。
故事是這樣的。
1954年，馬蒂的父親喬治在1955年前行了一年，當時他讓馬蒂的母親洛林懷孕，然后立即回到1954年——就像他未來的兒子馬蒂來殺了他一樣。
因為喬治對未來的快速突襲使她已經懷上了兒子，這個悖論消失了。
誠然，這很復雜（家庭動態(tài)并不比時間旅行前提本身更可信），但算法不僅僅是閑置的極客。
弗里德曼也沒有將他的程序設計成僅僅作為科幻情節(jié)引擎。他的主要目的是運行虛擬現實環(huán)境，用于培訓甚至心理康復。
他寫道：“與物理世界不同，數字領域允許你‘回到過去’，做出改變，并觀察后果?！泵總€文字處理器都有一個“撤銷”功能來回滾錯誤的散文。如果你在電子游戲中犯了錯誤，你可以返回到之前的保存點并重試。
在虛擬現實中向前和向后旅行可以幫助人們跟蹤決策的后果，同時接受新工作的培訓?；蛘咚梢詭椭睦碇委煹娜颂幚韯?chuàng)傷經歷的影響。
這可能不太有助于解決父子之間的糾紛。
了解最新前沿科學，關注我就是你最好的選擇！
拓展閱讀：
科普視頻：
