Overview
This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Gödel's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of Gödel s work in the logical foundations of mathematics, computer science, and physics is confirmed by the broad range of speakers who participated in making this gathering a scientific event.
Synopsis
This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Gödel's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of Gödel s work in the logical foundations of mathematics, computer science, and physics is confirmed by the broad range of speakers who participated in making this gathering a scientific event.
Booknews
The proceedings of the 1996 conference in Brno, the Czech Republic (birthplace of Kurt G(:o)del, in whose honor the conference was held) have been reprinted in a paper edition, making it more accessible to the scholars, researchers and graduate students who will be its audience. Topics include: G(:o)del's program for new axioms, infinite-valued G(:o)del logics with 0-1 projections and relativizations, contributions of G(:o)del to relativity and cosmology, G(:o)del and the constructive mathematics of A.A. Markov, Hao Wang as philosopher, generalizing Turing's machines and arguments, forcing on bounded arithmetic, and uniform and layered bisimulation. Annotation c. Book News, Inc., Portland, OR (booknews.com)