Gödel 96: Logical Foundations of Mathematics, Computer Science, and Physics: Lecture Notes in Logic 6

by Petr Hajek (Editor)

Overview

This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Godel's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of Godel 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.

Product Details

ISBN-13:	9781568811536
Publisher:	Taylor & Francis
Publication date:	03/26/2001
Series:	Lecture Notes in Logic Series
Edition description:	Reprint
Pages:	294
Product dimensions:	6.00(w) x 9.00(h) x (d)

About the Author

Institute for Computer Science Academy of Sciences of the Czech Republic Prague, Czech Republic.

Table of Contents

Preface — Part I. Invited Papers — Godel’s program for new axioms: Why, where, how and what? /@Solomon Feferman — Infinite-valued Godel Logics with 0-1-Projections and Relativizations /@Matthias Baaz — Contributions of K. Godel to Relativity and Cosmology /@G.F.E. Ellis — Kurt Godel and the constructive Mathematics of A.A. Markov /@Boris A. Kushner — Hao Wang as Philosopher /@Charles Parsons — A bottom-up approach to foundations of mathematics /@Pavel Pudlak — K-graph Machines: generalizing Turing’s machines and arguments /@Wilfried Sieg and John Byrnes — Forcing on Bounded Arithmetic /@Gaisi Takeuti and Masahiro Yasumoto — Uniform Interpolation and Layered Bisimulation — A@@@lbert Visser — Part II. Contributed Papers — Godel’s Ontological Proof Revisited /@C. Anthony Anderson and Michael Gettings — A Uniform Theorem Proving Tableau Method for Modal Logic /@Tadashi Araragi — Decidability of the 3*V*-Class in the Membership Theory NWL /@Dorella Belle and Franco Parlamento — A Logical Approach to Complexity Bounds for Subtype Inequalities /@Marcin Benke — How to characterize provably total functions /@Benjamin Blankertz and Andreas Weiermann — Completeness has to be restricted: Godel’s interpretation of the parameter t /@Giora Hon — A Bounded Arithmetic Theory for Constant Depth Threshold Circuits /@Jan Johannsen — Information content and computational complexity of recursive sets /@Lars Kristiansen — Kurt Godel and the Consistency of R^^ /@Robert K. Meyer — Best possible answer is computable for fuzzy SLD-resolution /@Leonard Pauh'k — The finite stages of inductive definitions /@Robert F. Stark — Godel and the Theory of Everything /@Michael Stoltzner — Replacement- /-* Collection /@Andrzej M. Zarach

Editorial Reviews

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)

Booknews