{"title":"将费米悖论形式化并结合一致的解释假设","authors":"Alexandre Costa-Leite","doi":"10.1017/s1473550422000374","DOIUrl":null,"url":null,"abstract":"\n 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.","PeriodicalId":13879,"journal":{"name":"International Journal of Astrobiology","volume":null,"pages":null},"PeriodicalIF":1.7000,"publicationDate":"2022-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Formalizing the Fermi paradox and combining consistent explanatory hypotheses\",\"authors\":\"Alexandre Costa-Leite\",\"doi\":\"10.1017/s1473550422000374\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\\n 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.\",\"PeriodicalId\":13879,\"journal\":{\"name\":\"International Journal of Astrobiology\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.7000,\"publicationDate\":\"2022-10-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Journal of Astrobiology\",\"FirstCategoryId\":\"101\",\"ListUrlMain\":\"https://doi.org/10.1017/s1473550422000374\",\"RegionNum\":4,\"RegionCategory\":\"物理与天体物理\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"ASTRONOMY & ASTROPHYSICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Astrobiology","FirstCategoryId":"101","ListUrlMain":"https://doi.org/10.1017/s1473550422000374","RegionNum":4,"RegionCategory":"物理与天体物理","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"ASTRONOMY & ASTROPHYSICS","Score":null,"Total":0}
Formalizing the Fermi paradox and combining consistent explanatory hypotheses
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.
期刊介绍:
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.