WorldCat Identities

Sieg, Wilfried 1945-

Overview
Works: 58 works in 131 publications in 3 languages and 1,391 library holdings
Genres: Conference papers and proceedings  Records and correspondence 
Roles: Author, Editor, Other, Arranger, Thesis advisor, Publishing director
Classifications: QA3, 511.3
Publication Timeline
.
Most widely held works by Wilfried Sieg
Hilbert's programs and beyond by Wilfried Sieg( Book )

14 editions published in 2013 in English and held by 253 WorldCat member libraries worldwide

Presents the foundational work of David Hilbert in a sequence of thematically organized essays. They first trace the roots of Hilbert's work to the radical transformation of mathematics in the 19th century and bring out his pivotal role in creating mathematicallogic and proof theory. They then analyze techniques and results of "classical" proof theory as well as their dramatic expansion in modern proof theory. This intellectual experience finally opens horizons for reflection on the nature of mathematics in the 21st century: Sieg articulates his position of reductive structuralism and explores mathematical capacities via computational models
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 by Workshop on Logic and Computation( Book )

14 editions published between 1987 and 1990 in English and held by 242 WorldCat member libraries worldwide

Acting and reflecting : the interdisciplinary turn in philosophy by Wilfried Sieg( Book )

12 editions published between 1989 and 1990 in English and held by 230 WorldCat member libraries worldwide

In the fall of 1985 Carnegie Mellon University established a Department of Philosophy. The focus of the department is logic broadly conceived, philos ophy of science, in particular of the social sciences, and linguistics. To mark the inauguration of the department, a daylong celebration was held on April 5, 1986. This celebration consisted of two keynote addresses by Patrick Sup pes and Thomas Schwartz, seminars directed by members of the department, and a panel discussion on the computational model of mind moderated by Dana S. Scott. The various contributions, in modified and expanded form, are the core of this collection of essays, and they are, I believe, of more than parochial interest: they turn attention to substantive and reflective interdis ciplinary work. The collection is divided into three parts. The first part gives perspec tives (i) on general features of the interdisciplinary enterprise in philosophy (by Patrick Suppes, Thomas Schwartz, Herbert A. Simon, and Clark Gly mour), and (ii) on a particular topic that invites such interaction, namely computational models of the mind (with contributions by Gilbert Harman, John Haugeland, Jay McClelland, and Allen Newell). The second part con tains (mostly informal) reports on concrete research done within that enter prise; the research topics range from decision theory and the philosophy of economics through foundational problems in mathematics to issues in aes thetics and computational linguistics. The third part is a postscriptum by Isaac Levi, analyzing directions of (computational) work from his perspective
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman by Reflections( Book )

10 editions published in 2002 in English and held by 142 WorldCat member libraries worldwide

David Hilbert's lectures on the foundations of mathematics and physics, 1891-1933 by David Hilbert( Book )

in German and held by 91 WorldCat member libraries worldwide

David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933 by David Hilbert( Book )

9 editions published in 2013 in English and German and held by 47 WorldCat member libraries worldwide

Proofs, categories and computations : essays in honor of Grigori Mints by Solomon Feferman( Book )

3 editions published in 2010 in English and held by 24 WorldCat member libraries worldwide

Collected works by Kurt Gödel( Book )

in German and held by 9 WorldCat member libraries worldwide

Collected works by Kurt Gödel( Book )

7 editions published between 2003 and 2014 in English and held by 9 WorldCat member libraries worldwide

Geometries and groups : proceedings of a colloquium held at the Freie Universität, Berlin May 1981 by Jonathan A Hillman( Book )

4 editions published in 1981 in English and held by 6 WorldCat member libraries worldwide

David Hilbert's lectures on the foundations of mathematics and physics, 1891-1933 by David Hilbert( Book )

2 editions published in 2013 in German and English and held by 5 WorldCat member libraries worldwide

The bulk of this volume consists of six sets of notes for lectures Hilbert gave (often in collaboration with Bernays) on the foundations of mathematics between 1917 and the early 1930s. The notes detail the increasing dominance of the metamathematical perspective in Hilbert?s treatment, i.e., the development of modern mathematical logic, the evolution of proof theory, and the parallel emergence of Hilbert's finitist standpoint. The notes are mostly very polished expositions; e.g., the 1917-18 lectures are in effect a first draft of Hilbert and Ackermann?s Grundzüge der theoretischen Logik (1928), reprinted in this Volume. They are thus essential for understanding the development of modern mathematical logic leading up to Hilbert and Bernays?s Grundlagen der Mathematik (1934, 1938). Also included is a complete version of Bernay?s Habilitationschrift of 1918, only partially published in 1926. TOC: Introduction.- Hilbert's Lectures on Principles of Mathematics from 1917-18.- Hilbert's Lectures on the Logical Calculus from 1920.- Chapter 3: Hilbert's Lectures on Problems of Mathematical Logic from 1920.- Hilbert's Lectures on Foundations of Mathematics from 1921-22.- Hilbert's Lectures on Logical Foundations of Mathematics from 1922-23.- Hilbert's Lectures on the Infinite from 1924-25.- Hilbert's Typescript on the Foundations of Thought from c. 1925.- Hilbert's Lecture on Infinity from 1933.-Miscellanea.- Appendix A: Bernays's Habilitation Thesis from 1918.- Appendix B: First Edition of Hilbert and Ackermann, 1928
Proceedings of the Workshop on Logic and Computation : proceedings of a conference held June 30-July 2, 1987, at Carnegie Mellon University by Workshop on Logic and Computation( Book )

1 edition published in 1989 in English and held by 4 WorldCat member libraries worldwide

Kurt Gödel : collected works by Kurt Gödel( Book )

1 edition published in 2014 in English and held by 4 WorldCat member libraries worldwide

David Hilbert's lectures on the foundations of arithmetic and logic, 1894-1917 by David Hilbert( Book )

1 edition published in 2016 in German and held by 4 WorldCat member libraries worldwide

Collected works by Kurt Gödel( Book )

2 editions published in 1990 in German and English and held by 3 WorldCat member libraries worldwide

Kurt Godel (1906-1978) was the most outstanding logician of the 20th century. This second volume of Godel's works collects the remainder of his published work, covering the period 1938-1974. Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in its historical context
Trees in mathematics : theory of inductive definitions and subsystems of analysis by Wilfried Sieg( Book )

2 editions published in 1977 in English and held by 2 WorldCat member libraries worldwide

Collected works by Kurt Gödel( Book )

1 edition published in 1995 in English and held by 2 WorldCat member libraries worldwide

Collected works by Kurt Gödel( Book )

in Multiple languages and held by 2 WorldCat member libraries worldwide

Logic and computation : Workshop : Papers by Wilfried Sieg( Book )

2 editions published in 1990 in English and held by 1 WorldCat member library worldwide

David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933 by William Bragg Ewald( )

2 editions published in 2013 in German and held by 0 WorldCat member libraries worldwide

The core of Volume 3 consists of lecture notes for seven sets of lectures Hilbert gave (often in collaboration with Bernays) on the foundations of mathematics between 1917 and 1926. These texts make possible for the first time a detailed reconstruction of the rapid development of Hilbert's foundational thought during this period, and show the increasing dominance of the metamathematical perspective in his logical work: the emergence of modern mathematical logic; the explicit raising of questions of completeness, consistency and decidability for logical systems; the investigation of the relative strengths of various logical calculi; the birth and evolution of proof theory, and the parallel emergence of Hilbert's finitist standpoint. The lecture notes are accompanied by numerous supplementary documents, both published and unpublished, including a complete version of Bernays's Habilitationschrift of 1918, the text of the first edition of Hilbert and Ackermann's Grundzüge der theoretischen Logik (1928), and several shorter lectures by Hilbert from the later 1920s. These documents, which provide the background to Hilbert and Bernays's monumental Grundlagen der Mathematik (1934, 1938), are essential for understanding the development of modern mathematical logic, and for reconstructing the interactions between Hilbert, Bernays, Brouwer, and Weyl in the philosophy of mathematics
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.43 for Collected ... to 0.94 for Collected ...)

Acting and reflecting : the interdisciplinary turn in philosophy
Alternative Names
Sieg, W.

Sieg, Wilfried

Languages
Covers
Reflections on the foundations of mathematics : essays in honor of Solomon FefermanDavid Hilbert's lectures on the foundations of mathematics and physics, 1891-1933David Hilbert's lectures on the foundations of arithmetic and logic, 1917-1933Collected worksCollected worksGeometries and groups : proceedings of a colloquium held at the Freie Universität, Berlin May 1981David Hilbert's lectures on the foundations of mathematics and physics, 1891-1933David Hilbert's lectures on the foundations of arithmetic and logic, 1894-1917