{"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