WorldCat Identities

Sieg, Wilfried 1945-

Overview
Works: 56 works in 123 publications in 2 languages and 1,228 library holdings
Genres: Conference proceedings  Records and correspondence 
Roles: Author, Editor, Arranger, Publishing director, Thesis advisor
Classifications: QA3, 511.3
Publication Timeline
.
Most widely held works by Wilfried Sieg
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 by Workshop on Logic and Computation( Book )

13 editions published between 1987 and 1990 in English and held by 238 WorldCat member libraries worldwide

Hilbert's programs and beyond by Wilfried Sieg( Book )

12 editions published in 2013 in English and held by 226 WorldCat member libraries worldwide

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

9 editions published between 1989 and 1990 in English and held by 208 WorldCat member libraries worldwide

Reflections on the foundations of mathematics : essays in honor of Solomon Feferman by Reflections( Book )

11 editions published in 2002 in English and held by 137 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 92 WorldCat member libraries worldwide

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

10 editions published in 2013 in German and English and held by 34 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
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 )

5 editions published in 1995 in German and English and held by 14 WorldCat member libraries worldwide

Dynamical systems and turbulence, Warwick 1980 : proceedings of a symposium held at the University of Warwick 1979-80 by Jonathan A Hillman( Book )

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

Kurt Gödel : collected works( Book )

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

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

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

Kurt Gödel. collected works( Book )

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

A abstract model for parallel computations : Gandyś thesis by Wilfried Sieg( Book )

2 editions published between 1998 and 1999 in English and held by 2 WorldCat member libraries worldwide

Collected works by Kurt Gödel( Book )

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

Trees in metamathematics : theories 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

K-graph machines : generalizing Turing's machines and arguments by Wilfried Sieg( Book )

2 editions published between 1994 and 1996 in English and held by 2 WorldCat member libraries worldwide

Abstract: "The notion of mechanical process has played a crucial role in mathematical logic since the early thirties; it has become central in computer science, artificial intelligence, and cognitive psychology. But the discussion of Church's Thesis, which identifies the informal concept with a mathematically precise one, has hardly progressed beyond the pioneering work of Church, Gödel, Post, and Turing. Turing addressed directly the question: What are the possible mechanical processes a human computor [sic] can carry out in calculating values of a number-theoretic function? He claimed that all such processes can be simulated by machines, in modern terms, by deterministic Turing machines. Turing's considerations for this claim involed, first, a formulation of boundedness and locality conditions (for linear symbolic configurations and mechanical operations); second, a proof that computational processes (satisfying these conditions) can be carried out by Turing machines; third, the central thesis that all mechanical processes carried out by human computors [sic] must satisfy the conditions. In Turing's presentation these three aspects are intertwined and important steps in the proof are only hinted at. We introduce K-graph machines and use them to give a detailed mathematical explication of the first two aspects of Turing's considerations for general configurations, i.e. K-graphs. This generalization of machines and theorems provides, in our view, a significant strengthening of Turing's argument for his central thesis."
Mechanisms and search : aspects of proof theory by Wilfried Sieg( Book )

2 editions published between 1992 and 1993 in English and held by 2 WorldCat member libraries worldwide

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

1 edition published in 2013 in English and held by 2 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
Collected works by Kurt Gödel( )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.46 for Collected ... to 0.95 for Trees in m ...)

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

Sieg, Wilfried

Languages
English (74)

German (12)

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 worksDynamical systems and turbulence, Warwick 1980 : proceedings of a symposium held at the University of Warwick 1979-80David Hilbert's lectures on the foundations of arithmetic and logic, 1894-1917Kurt Gödel. collected worksCollected worksDavid Hilbert's lectures on the foundations of mathematics and physics, 1891 - 1933