國立高雄大學圖資館 |

Language: English

Back

Hajnal Andreka and Istvan Nemeti on ...

Madarasz, Judit.

Hajnal Andreka and Istvan Nemeti on unity of sciencefrom computing to relativity theory through algebraic logic /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Hajnal Andreka and Istvan Nemeti on unity of scienceedited by Judit Madarasz, Gergely Szekely.
Reminder of title:	from computing to relativity theory through algebraic logic /
other author:	Madarasz, Judit.
Published:	Cham :Springer International Publishing :2021.
Description:	x, 517 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Algebraic logic.
Online resource:	https://doi.org/10.1007/978-3-030-64187-0
ISBN:	9783030641870$q(electronic bk.)

Hajnal Andreka and Istvan Nemeti on unity of sciencefrom computing to relativity theory through algebraic logic /
Hajnal Andreka and Istvan Nemeti on unity of sciencefrom computing to relativity theory through algebraic logic /[electronic resource] :edited by Judit Madarasz, Gergely Szekely. - Cham :Springer International Publishing :2021. - x, 517 p. :ill. (some col.), digital ;24 cm. - Outstanding contributions to logic,v.192211-2758 ;. - Outstanding contributions to logic ;v.3..

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.

ISBN: 9783030641870$q(electronic bk.)

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

522723
Algebraic logic.

LC Class. No.: QA10 / .H35 2021

Dewey Class. No.: 511.324

Hajnal Andreka and Istvan Nemeti on unity of sciencefrom computing to relativity theory through algebraic logic /
LDR:02453nmm a2200325 a 4500 001 599002
003 DE-He213
005 20210531121134.0
006 m d
007 cr nn 008maaau
008 211025s2021 sz s 0 eng d
020 $a 9783030641870$q(electronic bk.)
020 $a 9783030641863$q(paper)
024 7 $a 10.1007/978-3-030-64187-0 $2 doi
035 $a 978-3-030-64187-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA10 $b .H35 2021
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 511.324 $2 23
090 $a QA10 $b .H154 2021
245 0 0 $a Hajnal Andreka and Istvan Nemeti on unity of science $h [electronic resource] : $b from computing to relativity theory through algebraic logic / $c edited by Judit Madarasz, Gergely Szekely.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a x, 517 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Outstanding contributions to logic, $x 2211-2758 ; $v v.19
520 $a 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.
650 0 $a Algebraic logic. $3 522723
650 0 $a Logic, Symbolic and mathematical. $3 180452
650 1 4 $a Logic. $3 180785
650 2 4 $a Mathematical Logic and Foundations. $3 274479
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
700 1 $a Madarasz, Judit. $3 892965
700 1 $a Szekely, Gergely. $3 892966
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Outstanding contributions to logic ; $v v.3. $3 678078
856 4 0 $u https://doi.org/10.1007/978-3-030-64187-0
950 $a Religion and Philosophy (SpringerNature-41175)