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 30July 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
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
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
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
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, 18911933 by
David Hilbert(
Book
)
in German and held by 92 WorldCat member libraries worldwide
in German and held by 92 WorldCat member libraries worldwide
David Hilbert's lectures on the foundations of arithmetic and logic, 19171933 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
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
3 editions published in 2010 in English and held by 24 WorldCat member libraries worldwide
Collected works by
Kurt Gdel(
Book
)
5 editions published in 1995 in German and English and held by 14 WorldCat member libraries worldwide
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 197980 by
Jonathan A Hillman(
Book
)
4 editions published in 1981 in English and held by 13 WorldCat member libraries worldwide
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
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 30July 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
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, 18941917 by
David Hilbert(
Book
)
1 edition published in 2016 in German and held by 4 WorldCat member libraries worldwide
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
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
2 editions published between 1998 and 1999 in English and held by 2 WorldCat member libraries worldwide
Collected works by
Kurt Gdel(
Book
)
2 editions published between 2003 and 2014 in English and held by 2 WorldCat member libraries worldwide
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
2 editions published in 1977 in English and held by 2 WorldCat member libraries worldwide
Kgraph 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 numbertheoretic 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 Kgraph machines and use them to give a detailed mathematical explication of the first two aspects of Turing's considerations for general configurations, i.e. Kgraphs. This generalization of machines and theorems provides, in our view, a significant strengthening of Turing's argument for his central thesis."
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 numbertheoretic 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 Kgraph machines and use them to give a detailed mathematical explication of the first two aspects of Turing's considerations for general configurations, i.e. Kgraphs. 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
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 191718 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 191718. 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 192122. Hilbert's Lectures on Logical Foundations of Mathematics from 192223. Hilbert's Lectures on the Infinite from 192425. 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
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 191718 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 191718. 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 192122. Hilbert's Lectures on Logical Foundations of Mathematics from 192223. Hilbert's Lectures on the Infinite from 192425. 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 Gdel(
)
1 edition published in 2014 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 2014 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Hilbert, David 18621943 Author
 Feferman, Solomon Honoree Author Editor
 Hallett, Michael 1930 Author Editor
 Ewald, William Author Editor
 Majer, Ulrich Editor
 Talcott, Carolyn L.
 Sommer, Richard 1961
 Ewald, William Bragg 1925 Author Editor
 Gödel, Kurt Author
 Goldfarb, Warren D. Editor
Associated Subjects
Alexander ideals Algebra Algebraic spaces ArithmeticFoundations Artificial intelligence Combinatorial analysis Computable functions Computable functionsData processing Computational linguistics Computer scienceMathematics Differentiable dynamical systems Differential equations Differential equations, Partial Dimension theory (Algebra) Fluids Geometry Geometry, Algebraic Gödel, Kurt Group theory Hilbert, David, Humanities Induction (Mathematics) Interdisciplinary approach to knowledge Knot theory Logic Logic, Symbolic and mathematical Machine theory Mathematical analysisFoundations Mathematical physics Mathematics MathematicsPhilosophy Number theory Parallel processing (Electronic computers) Philosophy Physics Probabilistic number theory Proof theory Turbulence Turing machines