Formalizing the Fermi paradox and combining consistent explanatory hypotheses

IF 1.7 4区物理与天体物理 Q3 ASTRONOMY & ASTROPHYSICS

International Journal of Astrobiology Pub Date : 2022-10-18 DOI:10.1017/s1473550422000374

Alexandre Costa-Leite

引用次数: 0

Abstract

A formalization of Fermi paradox inside the environment of classical propositional logic is proposed. The notion of Silentium Universi set is launched in order to establish that the Fermi paradox is truly paradoxical. Combining consistent explanatory hypotheses is taken into consideration and discussed inside this framework explaining what would count as a solution to the paradox. By the end, it is argued that Fermi paradox is an unsolvable problem in the domain of science.

查看原文本刊更多论文

将费米悖论形式化并结合一致的解释假设

提出了经典命题逻辑环境下费米悖论的形式化。寂静宇宙集的概念是为了证明费米悖论是真正的悖论而提出的。结合一致的解释性假设，在这个框架内进行了考虑和讨论，解释了什么可以算作悖论的解决方案。最后，论述了费米悖论是科学领域中一个无法解决的问题。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

International Journal of Astrobiology 地学天文-地球科学综合

CiteScore

3.70

自引率

11.80%

发文量

审稿时长

>12 weeks

期刊介绍： International Journal of Astrobiology is the peer-reviewed forum for practitioners in this exciting interdisciplinary field. Coverage includes cosmic prebiotic chemistry, planetary evolution, the search for planetary systems and habitable zones, extremophile biology and experimental simulation of extraterrestrial environments, Mars as an abode of life, life detection in our solar system and beyond, the search for extraterrestrial intelligence, the history of the science of astrobiology, as well as societal and educational aspects of astrobiology. Occasionally an issue of the journal is devoted to the keynote plenary research papers from an international meeting. A notable feature of the journal is the global distribution of its authors.