Goedel 96: Logical Foundations of Mathematics, Computer Science, and Physics
Lecture Notes in Logic 6
1st Edition
Published on 26. March 2001
Book
Paperback/Softback
294 pages
978-1-56881-153-6 (ISBN)
Description
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.
More details
Language
English
Place of publication
Natick
United States
Publishing group
Taylor & Francis Inc
Target group
Professional and scholarly
Dimensions
Height: 229 mm
Width: 152 mm
Weight
521 gr
ISBN-13
978-1-56881-153-6 (9781568811536)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Petr Hajek
Goedel 96: Logical Foundations of Mathematics, Computer Science, and Physics
Lecture Notes in Logic 6
Book
09/2017
1st Edition
CRC Press
€193.13
Shipment within 10-20 days
Person
Institute for Computer Science Academy of Sciences of the Czech Republic Prague, Czech Republic.
Content
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