Gödel '96. Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings.

Hájek, Petr:

ISBN 10: 3540614346 / ISBN 13: 9783540614340

Verlag: Berlin, Springer, 1996

Beschreibung

VIII, 322 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D04217 9783540614340 Sprache: Englisch Gewicht in Gramm: 550.

Bestandsnummer des Verkäufers 2513937

Bibliografische Details

• Titel: Gödel '96. Logical foundations of mathematics, computer science and physics - Kurt Gödel's legacy : Bruno [sic], Czech Republic, August 1996, proceedings.
• Verlag: Berlin, Springer
• Erscheinungsjahr: 1996
• Sprache: Englisch
• ISBN-10: 3540614346
• ISBN-13: 9783540614340
• Einband: Softcover
• Verkäuferkataloge:
  • AA Varia

Über diesen Titel

Inhaltsangabe

This is a proceedings volume of the conference celebrating the 90th anniversary of the birth of Kurt Goedel. The conference has been recognized as an ASL sponsored meeting. Invited papers and contributed papers concern mainly mathematical logic but also philosophy of mathematics, computer science and physics and are devoted to topics related to Goedel's work and reflect the present state of knowledge domains deeply influenced by Goedel.

Reseña del editor

The aim of the conference Logical Foundations of Mathematics, Computer Science and Phycics - Kurt Godel's Legacy (GO DEL '96}, organized to the occasion of the ninetieth anniversary of the birth of Kurt Godel, is to pay tribute to Kurt Godel by arranging a scientific event presenting a forum for papers relevant to foundational aspects of Logic in Mathematics, Computer Science, Philosophy and Physics - areas influenced by Kurt Godel's work. The conference has been organized in Brno, the birthplace of Godel, by Masaryk University Brno in co-operation with the Institute of Computer Science of the Academy of Sciences of the Czech Republic, Prague, and with the international Kurt Godel Society based in Vienna (Organizing Committee chaired by J. Zlatuska). The Association for Symbolic Logic has recognized the conference as an ASL sponsored meeting. The Program Committee has consisted of Z. Adamowicz, Warsaw; J. Bicak, Prague; L. Bukovsky, Kosice; D. de Jongh, Amsterdam; J. Grygar, Prague; E. Kohler, Vienna; J. Krajicek, Prague; P. Hajek (chair), Prague; A. Leitsch, Vienna; D. Mundici, Milano; G. Miiller, Heidelberg; J. Paris, Manchester; C. Parsons, Harvard.