Common Gnoseological Meaning of Gödel and Caratheodory Theorems

Bohdan Hejna
{"title":"Common Gnoseological Meaning of Gödel and Caratheodory Theorems","authors":"Bohdan Hejna","doi":"10.5772/intechopen.87975","DOIUrl":null,"url":null,"abstract":"We will demonstrate that the I. and the II. Caratheodory theorems and their common formulation as the II. Law of Thermodynamics are physically analogous with the real sense of the Gödel ’ s wording of his I. and II. incompleteness theorems . By using physical terms of the adiabatic changes the Caratheodory theorems express the properties of the Peano Arithmetic inferential process (and even properties of any deductive and recursively axiomatic inference generally); as such, they set the physical and then logical limits of any real inference (of the sound, not paradoxical thinking), which can run only on a physical/thermodynamic basis having been compared with, or translated into the formulations of the Gödel ’ s proof, they represent the first historical and clear statement of gnoseological limitations of the deductive and recursively axiomatic inference and sound thinking generally. We show that semantically understood and with the language of logic and meta-arithmetics, the full meaning of the Gödel proof expresses the universal validity of the II. law of thermodynamics and that the Peano arithmetics is not self-referential and is consistent . 1","PeriodicalId":169290,"journal":{"name":"Ontological Analyses in Science, Technology and Informatics","volume":"21 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Ontological Analyses in Science, Technology and Informatics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5772/intechopen.87975","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

We will demonstrate that the I. and the II. Caratheodory theorems and their common formulation as the II. Law of Thermodynamics are physically analogous with the real sense of the Gödel ’ s wording of his I. and II. incompleteness theorems . By using physical terms of the adiabatic changes the Caratheodory theorems express the properties of the Peano Arithmetic inferential process (and even properties of any deductive and recursively axiomatic inference generally); as such, they set the physical and then logical limits of any real inference (of the sound, not paradoxical thinking), which can run only on a physical/thermodynamic basis having been compared with, or translated into the formulations of the Gödel ’ s proof, they represent the first historical and clear statement of gnoseological limitations of the deductive and recursively axiomatic inference and sound thinking generally. We show that semantically understood and with the language of logic and meta-arithmetics, the full meaning of the Gödel proof expresses the universal validity of the II. law of thermodynamics and that the Peano arithmetics is not self-referential and is consistent . 1
Gödel和Caratheodory定理的通用灵知学意义
我们将证明i和II。Caratheodory定理和它们的共同表述。热力学定律在物理上与Gödel在他的I.和II.的措词的真正意义是相似的。不完备定理。通过使用绝热变化的物理项,Caratheodory定理表达了Peano算术推理过程的性质(甚至一般任何演绎和递归公理推理的性质);因此,他们设定了任何真实推理(声音,而不是矛盾思维)的物理和逻辑限制,这些限制只能在物理/热力学基础上运行,与Gödel的证明进行比较,或转化为公式,他们代表了演绎和递归公理化推理和一般声音思维的灵知学限制的第一个历史和清晰的陈述。我们表明,语义理解和与逻辑和元算术的语言,Gödel证明的全部意义表达了II的普遍有效性。热力学定律,皮亚诺算法不是自指的,是一致的。1
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信