Hajnal Andréka and István Németi on unity of science : from computing to relativity theory through algebraic logic / Judit Madrász, Gergely Székely, editors.
Madrász, Judit, editor.
2021
QA10 .H35 2021
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Hajnal Andréka and István Németi on unity of science : from computing to relativity theory through algebraic logic / Judit Madrász, Gergely Székely, editors.
ISBN
9783030641870 (electronic book)
3030641872 (electronic book)
3030641864
9783030641863
DOI
https://doi.org/10.1007/978-3-030-64187-0
Published
Cham, Switzerland : Springer, [2021]
Language
English
Description
1 online resource (x, 517 pages) : illustrations (some color)
Item Number
10.1007/978-3-030-64187-0 doi
Call Number
QA10 .H35 2021
Dewey Decimal Classification
511.3/24
Summary
This book features more than 20 papers that celebrate the work of Hajnal Andreka and Istvan Nemeti. 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 Andreka and Istvan Nemeti at the end of the book describe an adventurous journey from electric engineering and Maxwells equations to a complex system of computer programs for designing Hungarys 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.
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from digital title page (viewed on June 17, 2021).
Added Author
Madrász, Judit, editor.
Series
Outstanding contributions to logic.
Available in Other Form
Print version: 9783030641863
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
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).

Browse Subjects

Show more subjects...

Statistics

from
to
Export