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
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 30July 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
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
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
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, 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
David Hilbert's lectures on the foundations of arithmetic and logic, 19171933 by
David Hilbert(
Book
)
9 editions published in 2013 in English and German and held by 47 WorldCat member libraries worldwide
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
3 editions published in 2010 in English and held by 24 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
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
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, 18911933 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 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
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 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
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
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
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, 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
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 (19061978) 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 19381974. Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in its historical context
2 editions published in 1990 in German and English and held by 3 WorldCat member libraries worldwide
Kurt Godel (19061978) 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 19381974. 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
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
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
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
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 19171933 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
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
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Hilbert, David 18621943 Author
 Ewald, William Author Editor
 Hallett, Michael 1930 Editor
 Talcott, Carolyn L.
 Sommer, Richard 1961
 Feferman, Solomon Honoree
 Feferman, Solomon Editor
 Majer, Ulrich Editor
 Goldfarb, Warren D. Editor
 Parsons, Charles 1933 Editor
Associated Subjects
Alexander ideals Algebra Algebraic spaces ArithmeticFoundations 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 (Logic) Induction (Mathematics) Interdisciplinary approach to knowledge Knot theory Logic Logic, Symbolic and mathematical Mathematical analysisFoundations Mathematical physics Mathematics MathematicsPhilosophy Number theory Philosophy Physics Probabilistic number theory Proof theory Turbulence
Alternative Names
Sieg, W.
Sieg, Wilfried
Languages
Covers