Sieg, Wilfried 1945
Overview
Works:  55 works in 116 publications in 2 languages and 1,184 library holdings 

Genres:  Conference proceedings Records and correspondence 
Roles:  Author, Editor, Thesis advisor, Arranger 
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 260 WorldCat member libraries worldwide
13 editions published between 1987 and 1990 in English and held by 260 WorldCat member libraries worldwide
Hilbert's programs and beyond
by
Wilfried Sieg(
Book
)
13 editions published in 2013 in English and held by 224 WorldCat member libraries worldwide
13 editions published in 2013 in English and held by 224 WorldCat member libraries worldwide
Acting and reflecting : the interdisciplinary turn in philosophy
by
Wilfried Sieg(
Book
)
7 editions published between 1989 and 1990 in English and held by 222 WorldCat member libraries worldwide
7 editions published between 1989 and 1990 in English and held by 222 WorldCat member libraries worldwide
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 137 WorldCat member libraries worldwide
10 editions published in 2002 in English and held by 137 WorldCat member libraries worldwide
David Hilbert's lectures on the foundations of arithmetic and logic, 19171933
by
David Hilbert(
)
9 editions published in 2013 in German and English and held by 121 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
9 editions published in 2013 in German and English and held by 121 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
David Hilbert's lectures on the foundations of mathematics and physics, 18911933
by
David Hilbert(
Book
)
in German and held by 91 WorldCat member libraries worldwide
in German and held by 91 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
3 editions published in 2010 in English and held by 24 WorldCat member libraries worldwide
Geometries and groups : proceedings of a colloquium held at the Freie Universität, Berlin May 1981
by
Jonathan A Hillman(
)
4 editions published in 1981 in English and held by 23 WorldCat member libraries worldwide
4 editions published in 1981 in English and held by 23 WorldCat member libraries worldwide
Collected works
by
Kurt Gödel(
)
1 edition published in 2014 in English and held by 7 WorldCat member libraries worldwide
1 edition published in 2014 in English and held by 7 WorldCat member libraries worldwide
Collected works
by
Kurt Gödel(
)
1 edition published in 2014 in English and held by 7 WorldCat member libraries worldwide
1 edition published in 2014 in English and held by 7 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
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."
Kurt Gödel. collected works
(
Book
)
1 edition published in 2014 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2014 in English and held by 2 WorldCat member libraries worldwide
An abstract model for parallel computations : Gandy's 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
Kurt Gödel : collected works
(
Book
)
1 edition published in 2014 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2014 in English and held by 2 WorldCat member libraries worldwide
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
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
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
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
 Majer, Ulrich Editor
 Sommer, Richard 1961
 Talcott, Carolyn L.
 Ewald, William Author Editor
 Ewald, William 1954 Editor
 Schlimm, Dirk Editor
 Parsons, Charles 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 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