Information thermodynamics IV. : Goedel theorems, Information Transfer, Thermodynamics and Caratheodory Theorems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F60461373%3A22340%2F17%3A43913132" target="_blank" >RIV/60461373:22340/17:43913132 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Informační termodynamika IV. : Goedelovy věty, přenos informace, termodynamika a Caratheodoryho věty

Original language description

The author shows that the Caratheodory $I$. and $II.$ theorems and his formulation of the $II.$ Law of Thermodynamics are physically analogous with the real meaning of the Goedel I. and II. incompleteness theorems. Using terms of the adiabatic changes the Caratheodory theorems express the properties of the Peano arithmetic inferential process (and even properties of deductive and recursively axiomatic inference genarally); they set physical and then logical limits of any real inference which can run only on a physical basis. The real, physical sense of the Publikace navazuje na předcházející práce autora Informačni termodynamika I. a Informačni termodynamika III. Zabývá se obecnými rysy problému tvrzení nerozhodnutelných v rekurzívně axiomatizovatelných teoriích. Neaplikuje ale běžnou logicko-syntaktickou konstrukci důkazu nerozhodnutelnosti bezespornosti. Volí cestu jisté analogie mezi procesy v základních strukturách Teorie vyčíslitelnosti, Teorie informace a Termodynamiky. V celku významově komentuje originální Goedelův důkaz. Popsatelnost procesu odvozování tvrzení Peanovy aritmetiky i popsatelnost samotného Goedelova důkazu o její neúplnosti v termínech přenosu informace a toho pak v termínech procesu změny stavu adiabatického termodynamického systému autorovi umožňuje vyslovit to, že Goedelův důkaz a jeho tvrzení o existenci nerozhodnutelného tvrzení (v rekurzívně axiomatizovatelné teorii, speciálně v Peanově aritmetice) má fyzikální význam důkazu platnosti II. hlavní věty termodynamické, a že historicky první formulace jeho významu je podána I. a II. Caratheodoryho větou a jejich sjednocením v Caratheodoryho formulaci tohoto základního přírodního principu.

Czech name

Informační termodynamika IV. : Goedelovy věty, přenos informace, termodynamika a Caratheodoryho věty

Czech description

The author shows that the Caratheodory $I$. and $II.$ theorems and his formulation of the $II.$ Law of Thermodynamics are physically analogous with the real meaning of the Goedel I. and II. incompleteness theorems. Using terms of the adiabatic changes the Caratheodory theorems express the properties of the Peano arithmetic inferential process (and even properties of deductive and recursively axiomatic inference genarally); they set physical and then logical limits of any real inference which can run only on a physical basis. The real, physical sense of the Publikace navazuje na předcházející práce autora Informačni termodynamika I. a Informačni termodynamika III. Zabývá se obecnými rysy problému tvrzení nerozhodnutelných v rekurzívně axiomatizovatelných teoriích. Neaplikuje ale běžnou logicko-syntaktickou konstrukci důkazu nerozhodnutelnosti bezespornosti. Volí cestu jisté analogie mezi procesy v základních strukturách Teorie vyčíslitelnosti, Teorie informace a Termodynamiky. V celku významově komentuje originální Goedelův důkaz. Popsatelnost procesu odvozování tvrzení Peanovy aritmetiky i popsatelnost samotného Goedelova důkazu o její neúplnosti v termínech přenosu informace a toho pak v termínech procesu změny stavu adiabatického termodynamického systému autorovi umožňuje vyslovit to, že Goedelův důkaz a jeho tvrzení o existenci nerozhodnutelného tvrzení (v rekurzívně axiomatizovatelné teorii, speciálně v Peanově aritmetice) má fyzikální význam důkazu platnosti II. hlavní věty termodynamické, a že historicky první formulace jeho významu je podána I. a II. Caratheodoryho větou a jejich sjednocením v Caratheodoryho formulaci tohoto základního přírodního principu.

Type

B - Specialist book

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2017

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

978-80-7080-985-3

Number of pages

463

Publisher name

Vysoká škola chemicko-technologická v Praze

Place of publication

Praha

UT code for WoS book

—