Hajnal Andréka and István Németi on Unity of Science

Hajnal Andréka and István Németi on Unity of Science
Author :
Publisher : Springer Nature
Total Pages : 517
Release :
ISBN-10 : 9783030641870
ISBN-13 : 3030641872
Rating : 4/5 (872 Downloads)

Book Synopsis Hajnal Andréka and István Németi on Unity of Science by : Judit Madarász

Download or read book Hajnal Andréka and István Németi on Unity of Science written by Judit Madarász and published by Springer Nature. This book was released on 2021-05-31 with total page 517 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Hajnal Andréka and István Németi on Unity of Science Related Books

Hajnal Andréka and István Németi on Unity of Science
Language: en
Pages: 517
Authors: Judit Madarász
Categories: Philosophy
Type: BOOK - Published: 2021-05-31 - Publisher: Springer Nature

GET EBOOK

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 appl
Universal Algebraic Logic
Language: en
Pages: 337
Authors: Hajnal Andréka
Categories: Mathematics
Type: BOOK - Published: 2022-11-01 - Publisher: Springer Nature

GET EBOOK

This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii)
Relational and Algebraic Methods in Computer Science
Language: en
Pages: 309
Authors: Roland Glück
Categories: Computers
Type: BOOK - Published: 2023-03-07 - Publisher: Springer Nature

GET EBOOK

This book constitutes the proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2023, which took plac
Foundations of Information and Knowledge Systems
Language: en
Pages: 254
Authors: Ivan Varzinczak
Categories: Mathematics
Type: BOOK - Published: 2022-07-09 - Publisher: Springer Nature

GET EBOOK

This book constitutes the refereed proceedings of the 12th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2022, held in Hels
Logic, Rationality, and Interaction
Language: en
Pages: 460
Authors: Patrick Blackburn
Categories: Mathematics
Type: BOOK - Published: 2019-10-09 - Publisher: Springer Nature

GET EBOOK

This LNCS book is part of the FOLLI book series and constitutes the proceedings of the 7th International Workshop on Logic, Rationality, and Interaction, LORI 2