東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Hajnal Andreka and Istvan Nemeti on ...

Madarasz, Judit.

FindBook

Google Book

Amazon

博客來

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Hajnal Andreka and Istvan Nemeti on unity of science/ edited by Judit Madarasz, Gergely Szekely.
其他題名:	from computing to relativity theory through algebraic logic /
其他作者:	Madarasz, Judit.
出版者:	Cham :Springer International Publishing : : 2021.,
面頁冊數:	x, 517 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Algebraic logic. -
電子資源:	https://doi.org/10.1007/978-3-030-64187-0
ISBN:	9783030641870

Hajnal Andreka and Istvan Nemeti on unity of science = from 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.19..

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

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

794607
Algebraic logic.

LC Class. No.: QA10 / .H35 2021

Dewey Class. No.: 511.324

Hajnal Andreka and Istvan Nemeti on unity of science = from computing to relativity theory through algebraic logic /
LDR:02453nmm a2200325 a 4500 001 2241058
003 DE-He213
005 20210531121134.0
006 m d
007 cr nn 008maaau
008 211111s2021 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 794607
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 1 4 $a Logic. $3 529544
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
700 1 $a Madarasz, Judit. $3 3496497
700 1 $a Szekely, Gergely. $3 3496498
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Outstanding contributions to logic ; $v v.19. $3 3496499
856 4 0 $u https://doi.org/10.1007/978-3-030-64187-0
950 $a Religion and Philosophy (SpringerNature-41175)