Kurt G del und die mathematische Logik

Kurt G  del und die mathematische Logik

Kurt Gödel Collected Works, Vol.l (Publications 1929 - 1936), Oxford Univ. Press, N.Y./Oxford, 1986. [Feferman et al. 2]: Solomon Feferman et al. (eds.): Kurt Gödel Collected Works, Vol. II (remainder of the published work), ...

Author:

Publisher: Werner DePauli-Schimanovich

ISBN: 9783854878155

Category: Logic, Symbolic and mathematical

Page: 560

View: 782

Categories: Logic, Symbolic and mathematical

David Hilbert s Lectures on the Foundations of Arithmetic and Logic 1917 1933

David Hilbert s Lectures on the Foundations of Arithmetic and Logic 1917 1933

Gödel 1986 Kurt Gödel: Kurt Gödel: Collected Works, Volume 1: Publications 1929– 1936. Edited by Solomon Feferman, John W. Dawson Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort.

Author: William Ewald

Publisher: Springer-Verlag

ISBN: 9783540694441

Category: Mathematics

Page: 1062

View: 187

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.
Categories: Mathematics

Kurt G del

Kurt G  del

Gödels Gesammelte Werke – Collected Works Fefferman, S., J. Dawson, S. Kleene, G. Moore, R. Solovay, J. van Heijenoort (eds), Kurt Gödel: Collected Works Vol. 1–V, Oxford University Press, New York, 1986–2003 Bücher über Kurt Gödel ...

Author: Karl Sigmund

Publisher: Springer-Verlag

ISBN: 9783834891891

Category: Mathematics

Page: 222

View: 153

Time Magazine reihte ihn unter die hundert wichtigsten Personen des zwanzigsten Jahrhunderts. Die Harvard University verlieh ihm das Ehrendoktorat für die Entdeckung "der bedeutsamsten mathematischen Wahrheit des Jahrhunderts". Er gilt allgemein als der größte Logiker seit Aristoteles. Sein Freund Einstein ging, nach eigener Aussage, nur deshalb ans Institut, um Gödel auf dem Heimweg begleiten zu dürfen. Und John von Neumann, einer der Väter des Computers, schrieb: "Gödel ist tatsächlich absolut unersetzlich. Er ist der einzige Mathematiker, von dem ich das zu behaupten wage." Dieses Buch ist eine leichtverdauliche, einfache und anschauliche Einführung in Gödels Leben und Werk, gedacht für jene, die sich für die menschlichen und kulturellen Aspekte der Wissenschaft interessieren. Ausgangspunkt des Buches waren die Vorbereitungen zu einer Ausstellung über Kurt Gödel aus Anlass seines hundertsten Geburtstags. Eine Ausstellung hat etwas von einem Spaziergang an sich, und gerade das wollen wir bieten: einen Spaziergang mit Gödel. Albert Einstein genoss solche Spaziergänge sehr. Man kann also Gödel genießen.
Categories: Mathematics

Kurt G del Collected Works

Kurt G  del  Collected Works

The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish ...

Author: Kurt Gödel

Publisher: Clarendon Press

ISBN: 9780191003776

Category: Mathematics

Page: 692

View: 275

Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Gödel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Gödel's Nachlass. These long-awaited final two volumes contain Gödel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Gödel's Nachlass. All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Gödel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.
Categories: Mathematics

Karl Menger Ergebnisse eines Mathematischen Kolloquiums

Karl Menger  Ergebnisse eines Mathematischen Kolloquiums

K. Gödel, Ein Spezialfall des Entscheidungsproblems der theoretischen Logik, ERG 2 (1931) 27–8. cf. p.18 of S. Feferman, Gödels Life and Work, in Kurt Gödel ... W. Goldfarb, Introductory note, in Kurt GödelCollected Works Vol. I (ed.

Author: Egbert Dierker

Publisher: Springer-Verlag

ISBN: 9783709164709

Category: Mathematics

Page: 470

View: 888

Die von Karl Menger und seinen Mitarbeitern (darunter Kurt Gödel) herausgegebenen "Ergebnisse eines Mathematischen Kolloquiums" zählen zu den wichtigsten Quellenwerken der Wissenschafts- und Geistesgeschichte der Zwischenkriegszeit, mit bahnbrechenden Beiträgen von Menger, Gödel, Tarski, Wald, John von Neumann und vielen anderen. In diesem Band liegt der Inhalt erstmals gesammelt vor. Der Nobelpreisträger Gerard Debreu schrieb die Einleitung, die Kommentare wurden vom Logiker und Gödel-Biographen John Dawson jr., dem Topologen Ryszard Engelking und dem Wirtschaftstheoretiker Werner Hildenbrand verfasst. Außerdem enthält der Band einen biographischen Aufsatz über Karl Menger sowie einen von Menger verfassten Überblick über die wichtigsten topologischen und geometrischen Arbeiten des Kolloquiums.
Categories: Mathematics

Kurt G del Collected Works Volume I

Kurt G  del  Collected Works  Volume I

The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish ...

Author: Kurt Gödel

Publisher: Oxford University Press, USA

ISBN: 9780195039641

Category: Mathematics

Page: 490

View: 657

Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Gödel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Gödel's Nachlass. These long-awaited final two volumes contain Gödel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Gödel's Nachlass. L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Gödel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Gödel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.
Categories: Mathematics

Kurt G del Collected Works Volume III

Kurt G  del  Collected Works  Volume III

Kurt Gödel was the greatest logician of this century. This third volume of his collected works consists of previously unpublished material, both essays and lectures.

Author: Kurt Gödel

Publisher: Oxford University Press on Demand

ISBN: 9780195072556

Category: Mathematics

Page: 532

View: 484

Kurt Gödel was the greatest logician of this century. This third volume of his collected works consists of previously unpublished material, both essays and lectures.
Categories: Mathematics

One Hundred Years of Russell s Paradox

One Hundred Years of Russell   s Paradox

Godel, Kurt: 1938. The Consistency of the Axiom ofChoice and the Generalized C ontinuum Hypothesis. Proc. Natl. Acad. Sci., USA 24: 556—557. Reprinted in: S. Feferman et. al. (eds), Kurt Go'del Collected Works, Volume II, ...

Author: Godehard Link

Publisher: Walter de Gruyter

ISBN: 9783110199680

Category: Mathematics

Page: 671

View: 586

Die in diesem Band zusammengefassten Beiträge stellen die wesentlichen Forschungsergebnisse der internationalen Münchner Konferenz "100 Jahre Russell-Paradoxon" im Jahr 2001 dar, auf der an die Entdeckung des berühmten Russell Paradoxons vor 100 Jahren erinnert wurde. Die 31 Beiträge und der Einführungsessay des Herausgebers wurden alle - bis auf zwei Ausnahmen - ursprünglich für diesen Band verfasst.
Categories: Mathematics

David Hilbert s Lectures on the Foundations of Physics 1915 1927

David Hilbert s Lectures on the Foundations of Physics 1915 1927

Reprinted in Gödel 1990, 190–198. Gödel 1990 Kurt Gödel: Collected Works, Vol. 2. S. Fefferman et al. [eds.]. Oxford, Oxford University Press, 1990. Goethe 1993a Johann Wolfgang von Goethe: Faust. Eine Tragödie.

Author: Tilman Sauer

Publisher: Springer Science & Business Media

ISBN: 9783540682424

Category: Mathematics

Page: 690

View: 376

These documents do nothing less than bear witness to one of the most dramatic changes in the foundations of science. The book has three sections that cover general relativity, epistemological issues, and quantum mechanics. This fascinating work will be a vital text for historians and philosophers of physics, as well as researchers in related physical theories.
Categories: Mathematics

Am Anfang war die Logik

Am Anfang war die Logik

Für den Selbstunterricht dargestellt. Kiel/Leipzig 1894. Gödel, K., "Über die Vollständigkeit des Logikkalküls" (1929/30), in: Kurt Gödel. Collected Works, Volume I. Publications 1929-1936. Hrsg. v. S. Feferman et al.

Author: George Heffernan

Publisher: John Benjamins Publishing

ISBN: 9789060323069

Category: Philosophy

Page: 255

View: 983

Categories: Philosophy