La s-definizione dell'arte / Harold Rosenberg

• Record Nr.: UNISA990001859920203316
• Autore: ROSENBERG, Harold
• Pubbl/distr/stampa: Milano : Feltrinelli, 1975
• Descrizione fisica: 247 p. : ill. ; 22 cm.
• Collana: I fatti e le idee , Saggi e biografie, Critica d'arte ; 307
• Disciplina: 709.4
• Soggetti: Arte - Sec. 20
• Collocazione: XII.2.D. 62 (Varie coll. 31/307); XII.2.D. 62a (Varie coll. 31/307 bis); XII.2.D. 62b (Varie coll. 31/307 a)
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Trad. di Maurizio Vitta

Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy

• Record Nr.: UNINA9910744597803321
• Autore: Hájek Petr
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer, , 1996; ©1996
• ISBN: 3-662-21963-8
• Edizione: [1st ed.]
• Descrizione fisica: 1 online resource (332 pages)
• Collana: Lecture Notes in Logic ; ; v.6
• Altri autori (Persone): GirardJ.-Y; LachlanAlistair H
• Disciplina: 511.3
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di contenuto: Lecture Notes in Logic 6 Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy -- Gödel '96 -- Copyright -- Preface -- Table of Contents -- Part I Invited Papers -- Gödel's program for new axioms: Why, where, how and what? -- Infinite-valued Gödel Logics with 0-1-Projections and Relativizations * -- Contributions of K. Gödel to Relativity and Cosmology * -- Kurt Gödel and the constructive Mathematics of A.A. Markov -- Hao Wang as Philosopher -- A bottom-up approach to foundations of mathematics * -- K-graph Machines: generalizing Turing's machines and arguments * -- Forcing on Bounded Arithmetic -- Uniform Interpolation and Layered Bisimulation * -- Part II Contributed Papers -- Gödel 's Ontological Proof Revisited * -- A Uniform Theorem Proving Tableau Method for Modal Logic* -- Decidability of the ∃*∀*-Class in the Membership Theory NWL * -- A Logical Approach to Complexity Bounds for Subtype Inequalities -- How to characterize provably total functions by the Buchholz operator method * -- Completeness has to be restricted: Gödel 's interpretation of the parameter t * -- A Bounded Arithmetic Theory for Constant Depth Threshold Circuits* -- Information content and computational complexity of recursive sets * -- Kurt Gödel and the Consistency of R##* -- Best possible answer is computable for fuzzy SLD-resolution * -- The finite stages of inductive definitions * -- Gödel and the Theory of Everything * -- Replacement→ ; Collection *.
• Sommario/riassunto: 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.