國立虎尾科技大學 |

Hajnal Andréka and István Németi on Unity of Science = From Computing to Relativity Theory Through Algebraic Logic /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Hajnal Andréka and István Németi on Unity of Science/ edited by Judit Madarász, Gergely Székely.
其他題名:	From Computing to Relativity Theory Through Algebraic Logic /
其他作者:	Székely, Gergely.
面頁冊數:	X, 517 p. 28 illus., 6 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic and Formal Languages. -
電子資源:	https://doi.org/10.1007/978-3-030-64187-0
ISBN:	9783030641870

Hajnal Andréka and István Németi on Unity of Science = From Computing to Relativity Theory Through Algebraic Logic /
Hajnal Andréka and István Németi on Unity of ScienceFrom Computing to Relativity Theory Through Algebraic Logic /[electronic resource] :edited by Judit Madarász, Gergely Székely. - 1st ed. 2021. - X, 517 p. 28 illus., 6 illus. in color.online resource. - Outstanding Contributions to Logic,192211-2766 ;. - Outstanding Contributions to Logic,7.

Part I: Computer Science, Machine Intelligence, Logic of Programs -- Chapter 1. Semiring Provenance for Guarded Logics (K. M. Dannert) -- Chapter 2. Implicit Partiality of Signature Morphisms in Institution Theory (R. Diaconescu) -- Chapter 3. An Overview of Query-Answering and Reasoning with Datalog+/- (G. Gottlob) -- Chapter 4. Action Axioms, Algebraically (V. Pratt) -- Chapter 5. Adding Guarded Constructions to the (Relational) Syllogistic (I. Pratt-Hartmann) -- Chapter 6. tba (J. Tucker) -- Part II . Algebraic Logic, Algebra, Logic -- Chapter 7 -- tba (J. Benthem) -- Chapter 8. Decomposing the discriminator in the semilattice of modal operators (I. Duentsch, W. Dzik, E. Orlowska) -- Chapter 9. Generalising Grzegorczyks logic by bounding cluster size (R. Goldblatt) -- Chapter 10. Undecidable decision problems for binary relations (Hirsch-Hodkinson-Jackson) -- Chapter 11. Relation algebras, residuated lattices and algebraic logic (P. Jipsen) -- Chapter 12. On canonical relativized relation and cylindric set algebras (R.D. Maddux) -- Chapter 13. Algebraic logic and logic geometry defined in universal algebra (B. PLotkin, E. Plotkin).-Chapter 14. Universal algebra as a foreign language (V. Pratt) -- Chapter 15. A brief history of Tarskian algebraic logic as enhanced by the outstanding contributions of Andreka and Nemeti (T. Sayed-Ahmed) -- Part III. Relativity Theory, spacetime, methodology of science -- Chapter 16. Freeing structuralism from model theory (N. Dewar) -- Chapter 17. Foundational thinking (H. Friedman) -- Chapter 18. In the footsteps of Hilbert: the logical foundations of theories in physics (G. Formica, M. Friend) -- Chapter 19. The network of theories (H. Halvorson) -- Chapter 20. Internal and external properties of spacetime (J.B. Manchak) -- Chapter 21. Why not categorical equivalence? (Weatherall) -- Chapter 22. Time travelling in emergent spacetime (C. Wuthrich).

This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives. Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of papers that hint at the intricate many-way connections between logic, algebra, and geometry. The third part explores novel applications of logic in relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of science. They include such exciting subjects as time travelling in emergent spacetime. The short autobiographies of Hajnal Andréka and István Németi at the end of the book describe an adventurous journey from electric engineering and Maxwell’s equations to a complex system of computer programs for designing Hungary’s electric power system, to exploring and contributing deep results to Tarskian algebraic logic as the deepest core theory of such questions, then on to applications of the results in such exciting new areas as relativity theory in order to rejuvenate logic itself.

ISBN: 9783030641870

Standard No.: 10.1007/978-3-030-64187-0doiSubjects--Topical Terms:

670059
Mathematical Logic and Formal Languages.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Hajnal Andréka and István Németi on Unity of Science = From Computing to Relativity Theory Through Algebraic Logic /
LDR:04762nam a22004095i 4500 001 1055025
003 DE-He213
005 20210817123239.0
007 cr nn 008mamaa
008 220103s2021 sz | s |||| 0|eng d
020 $a 9783030641870 $9 978-3-030-64187-0
024 7 $a 10.1007/978-3-030-64187-0 $2 doi
035 $a 978-3-030-64187-0
050 4 $a BC1-199
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
245 1 0 $a Hajnal Andréka and István Németi on Unity of Science $h [electronic resource] : $b From Computing to Relativity Theory Through Algebraic Logic / $c edited by Judit Madarász, Gergely Székely.
250 $a 1st ed. 2021.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a X, 517 p. 28 illus., 6 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Outstanding Contributions to Logic, $x 2211-2766 ; $v 19
505 0 $a Part I: Computer Science, Machine Intelligence, Logic of Programs -- Chapter 1. Semiring Provenance for Guarded Logics (K. M. Dannert) -- Chapter 2. Implicit Partiality of Signature Morphisms in Institution Theory (R. Diaconescu) -- Chapter 3. An Overview of Query-Answering and Reasoning with Datalog+/- (G. Gottlob) -- Chapter 4. Action Axioms, Algebraically (V. Pratt) -- Chapter 5. Adding Guarded Constructions to the (Relational) Syllogistic (I. Pratt-Hartmann) -- Chapter 6. tba (J. Tucker) -- Part II . Algebraic Logic, Algebra, Logic -- Chapter 7 -- tba (J. Benthem) -- Chapter 8. Decomposing the discriminator in the semilattice of modal operators (I. Duentsch, W. Dzik, E. Orlowska) -- Chapter 9. Generalising Grzegorczyks logic by bounding cluster size (R. Goldblatt) -- Chapter 10. Undecidable decision problems for binary relations (Hirsch-Hodkinson-Jackson) -- Chapter 11. Relation algebras, residuated lattices and algebraic logic (P. Jipsen) -- Chapter 12. On canonical relativized relation and cylindric set algebras (R.D. Maddux) -- Chapter 13. Algebraic logic and logic geometry defined in universal algebra (B. PLotkin, E. Plotkin).-Chapter 14. Universal algebra as a foreign language (V. Pratt) -- Chapter 15. A brief history of Tarskian algebraic logic as enhanced by the outstanding contributions of Andreka and Nemeti (T. Sayed-Ahmed) -- Part III. Relativity Theory, spacetime, methodology of science -- Chapter 16. Freeing structuralism from model theory (N. Dewar) -- Chapter 17. Foundational thinking (H. Friedman) -- Chapter 18. In the footsteps of Hilbert: the logical foundations of theories in physics (G. Formica, M. Friend) -- Chapter 19. The network of theories (H. Halvorson) -- Chapter 20. Internal and external properties of spacetime (J.B. Manchak) -- Chapter 21. Why not categorical equivalence? (Weatherall) -- Chapter 22. Time travelling in emergent spacetime (C. Wuthrich).
520 $a This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives. Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of papers that hint at the intricate many-way connections between logic, algebra, and geometry. The third part explores novel applications of logic in relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of science. They include such exciting subjects as time travelling in emergent spacetime. The short autobiographies of Hajnal Andréka and István Németi at the end of the book describe an adventurous journey from electric engineering and Maxwell’s equations to a complex system of computer programs for designing Hungary’s electric power system, to exploring and contributing deep results to Tarskian algebraic logic as the deepest core theory of such questions, then on to applications of the results in such exciting new areas as relativity theory in order to rejuvenate logic itself.
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Logic. $3 558909
700 1 $a Székely, Gergely. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1360178
700 1 $a Madarász, Judit. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1360177
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030641863
776 0 8 $i Printed edition: $z 9783030641887
776 0 8 $i Printed edition: $z 9783030641894
830 0 $a Outstanding Contributions to Logic, $x 2211-2758 ; $v 7 $3 1253494
856 4 0 $u https://doi.org/10.1007/978-3-030-64187-0
912 $a ZDB-2-REP
912 $a ZDB-2-SXPR
950 $a Religion and Philosophy (SpringerNature-41175)
950 $a Philosophy and Religion (R0) (SpringerNature-43725)