Hajnal Andréka and István Németi on Unity of Science : from computing to relativity theory through Algebraic Logic
Author(s)
Bibliographic Information
Hajnal Andréka and István Németi on Unity of Science : from computing to relativity theory through Algebraic Logic
(Outstanding contributions to logic, v. 19)
Springer, c2021
Available at 2 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Includes bibliographical references
Description and Table of Contents
Description
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 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.
Table of Contents
Part I. Computer Science, Machine Intelligence, Logic of Programs
Dannert, K. M., Graedel, E.: Semiring provenance for guarded logics.
Diaconescu, R.: Implicit Partiality of Signature Morphisms in Institution Theory.
Gottlob, G., Pieris, A.: An Overview of Query-Answering and Reasoning with Datalog+/-.
Pratt, V.: Action axioms, algebraically.
Pratt-Hartmann, I.: Adding Guarded Constructions to the (Relational) Syllogistic.
Tucker, J.: tba
Part II . Algebraic Logic, Algebra, Logic
Benthem, J.: tba
Duentsch, I., Dzik, W., Orlowska, E.: Decomposing the discriminator in the semilattice of modal operators.
Goldblatt, R.: Generalising Grzegorczyks logic by bounding cluster size.
Hirsch-Hodkinson-Jackson: Undecidable decision problems for binary relations.
Jipsen, P.: relation algebras, residuated lattices and algebraic logic
Maddux, R.D.: On canonical relativized relation and cylindric set algebras.
Plotkin, B., Plotkin, E.: Algebraic logic and logic geometry defined in universal algebra.
Pratt, V: Universal algebra as a foreign language.
Sayed-Ahmed, T.: A brief history of Tarskian algebraic logic as enhanced by the outstanding contributions of Andreka and Nemeti.
Part III. Relativity Theory, spacetime, methodology of science
Dewar, N.: Freeing structuralism from model theory.
Friedman, H.: Foundational thinking.
Formica, G., Friend, M.: In the footsteps of Hilbert: the logical foundations of theories in physics
Halvorson, H.: The network of theories.
Manchak, J.B.: Internal and external properties of spacetime.
Weatherall: Why not categorical equivalence?
Wuthrich, C.: Time travelling in emergent spacetime.
by "Nielsen BookData"