From Frege To G Del

Author: Jean van Heijenoort
Editor: Harvard University Press
ISBN: 9780674324497
File Size: 48,65 MB
Format: PDF, ePub
Read: 8720
Download

Gathered together here are the fundamental texts of the great classical period in modern logic. A complete translation of Gottlob Frege's Begriffsschrift--which opened a great epoch in the history of logic by fully presenting propositional calculus and quantification theory--begins the volume, which concludes with papers by Herbrand and by Gödel.

From Frege To Goedel

Author:
Editor:
ISBN:
File Size: 63,72 MB
Format: PDF, ePub, Mobi
Read: 7924
Download


From Frege To Goedel A Source Book In Mathematical Logic 1879 1931

Author: van Heijenoort (J.)
Editor:
ISBN:
File Size: 41,53 MB
Format: PDF, ePub, Mobi
Read: 2944
Download


From Frege To Goedel A Source Book In Mathematical Logic 1879 1931 Ed By

Author: Jean Van heijenoort
Editor:
ISBN:
File Size: 15,35 MB
Format: PDF, ePub, Docs
Read: 3890
Download


Kurt G Del Und Die Mathematische Logik

Author:
Editor: Werner DePauli-Schimanovich
ISBN: 385487815X
File Size: 80,45 MB
Format: PDF, Docs
Read: 1946
Download


Ad Radices

Author: Anton von Gotstedter
Editor: Franz Steiner Verlag Wiesbaden GmbH
ISBN:
File Size: 18,40 MB
Format: PDF, Kindle
Read: 283
Download

Anlasslich des 50-Jahrigen Bestehens des Instituts fur Geschichte der Naturwissenschaften der Johann Wolfgang Goethe-Universitat Frankfurt am Main fasst der Festband Beitrage zahlreicher ehemaliger und gegenwartiger Mitarbeitern des Instituts zusammen. Die Themenvielfalt ihrer Forschungsinteressen reicht von der Astronomie und astronomischen Instrumenten bis hin zur Mathematik und zur Philosophia Naturalis.

Selected Works In Logic

Author: Thoralf Skolem
Editor: Oslo : Universitetsforlaget
ISBN:
File Size: 48,82 MB
Format: PDF, Docs
Read: 2702
Download


Karl Menger Ergebnisse Eines Mathematischen Kolloquiums

Author: Egbert Dierker
Editor: Springer-Verlag
ISBN: 3709164702
File Size: 51,97 MB
Format: PDF, Mobi
Read: 3946
Download

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.

Arbeitspapiere Zur Linguistik

Author:
Editor:
ISBN:
File Size: 77,95 MB
Format: PDF, ePub, Mobi
Read: 3136
Download


Contemporary Authors

Author: Gale Group
Editor: Gale / Cengage Learning
ISBN: 9780787619947
File Size: 43,31 MB
Format: PDF, Docs
Read: 4044
Download

Your students and users will find biographical information on approximately 300 modern writers in this volume of Contemporary Authors®. Authors in this volume include: Charles Frazier Joshua Henkin Gabrielle Reeche Arthur Stringer

Contemporary Authors

Author:
Editor:
ISBN:
File Size: 31,92 MB
Format: PDF, ePub
Read: 4845
Download


Philosophia Naturalis

Author:
Editor:
ISBN:
File Size: 34,12 MB
Format: PDF, Kindle
Read: 8120
Download


Erkenntnistheoretische Grundlagen Der Mathematik

Author: Christian Thiel
Editor:
ISBN:
File Size: 53,40 MB
Format: PDF, Docs
Read: 8471
Download


In The Shadow Of The Machine

Author: Jeremy Naydler
Editor: Temple Lodge Publishing
ISBN: 1912230143
File Size: 15,10 MB
Format: PDF, Kindle
Read: 9522
Download

Contemporary life is so deeply reliant upon digital technology that the computer has come to dominate almost every aspect of our culture. What is the philosophical and spiritual significance of this dependence on electronic technology, both for our relationship to nature and for the future of humanity? And, what processes in human perception and awareness have produced the situation we find ourselves in? As Jeremy Naydler elucidates in this penetrating study, we cannot understand the emergence of the computer without seeing it within the wider context of the evolution of human consciousness, which has taken place over millennia. Modern consciousness, he shows, has evolved in conjunction with the development of machines and under their intensifying shadow. The computer was the product of a long historical development, culminating in the scientific revolution of the 17th century. It was during this period that the first mechanical calculators were invented and the project to create more complex ‘thinking machines’ began in earnest. But the seeds were sown many hundreds of years earlier, deep in antiquity. Naydler paints a vast panorama depicting human development and the emergence of electronic technology. His painstaking research illuminates an urgent question that concerns every living person today: What does it mean to be human and what, if anything, distinguishes us from machines?

Studien Zu Frege Logic And Philosophy Of Language

Author: Matthias Schirn
Editor:
ISBN: 9783772806186
File Size: 12,97 MB
Format: PDF, Docs
Read: 2091
Download


Cla Booklist

Author: Catholic Library Association
Editor:
ISBN:
File Size: 28,30 MB
Format: PDF, ePub
Read: 8242
Download


Compint 85

Author: Institute of Electrical and Electronics Engineers
Editor: IEEE
ISBN: 9780818606212
File Size: 17,51 MB
Format: PDF, ePub
Read: 223
Download


Archiv F R Geschichte Der Philosophie

Author:
Editor:
ISBN:
File Size: 52,58 MB
Format: PDF, ePub
Read: 8452
Download

Vols. 1-23 (1888-1910) include "Jahresberichte über sämtliche Erscheinungen auf dem Gebiete der Geschichte der Philosophie"; v.24-41 include section "Die neuesten Erscheinungen auf dem Gebiete der Geschichte der Philosophie" (varies slightly)

The Foundations Of Us Air Doctrine

Author: Barry D. Watts
Editor:
ISBN:
File Size: 52,45 MB
Format: PDF, Mobi
Read: 8267
Download

This study analyzes airpower doctrine from the viewpoint of Clausewitzian friction. The study concludes that American airpower doctrine has changed very little since the 1930s and that it is fundamentally flawed.

Symbolic Computing With Lisp And Prolog

Author: Robert A. Mueller
Editor: John Wiley & Sons Incorporated
ISBN:
File Size: 45,79 MB
Format: PDF, Docs
Read: 3915
Download

A practical introduction to symbolic computing and denotational programming. First part of the book covers programming. Second part addresses symbolic computing in such areas as game playing, language translation, and theorem proving. For each topic there are example problems, with proposed solutions, followed by working programs using the techniques presented earlier in the text. Two programs, using a denotational approach, accompany each of the applications in symbolic computing—one in Lisp and one in Prolog.