Search Results for "the-universal-computer-the-road-from-leibniz-to-turing"

The Universal Computer

The Universal Computer

The Road from Leibniz to Turing

  • Author: Martin Davis
  • Publisher: CRC Press
  • ISBN: 1466505206
  • Category: Computers
  • Page: 240
  • View: 7411
DOWNLOAD NOW »
The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. Written by Martin Davis, respected logician and researcher in the theory of computation, The Universal Computer: The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age – the logicians. The story begins with Leibniz in the 17th century and then focuses on Boole, Frege, Cantor, Hilbert, and Gödel, before turning to Turing. Turing’s analysis of algorithmic processes led to a single, all-purpose machine that could be programmed to carry out such processes—the computer. Davis describes how this incredible group, with lives as extraordinary as their accomplishments, grappled with logical reasoning and its mechanization. By investigating their achievements and failures, he shows how these pioneers paved the way for modern computing. Bringing the material up to date, in this revised edition Davis discusses the success of the IBM Watson on Jeopardy, reorganizes the information on incompleteness, and adds information on Konrad Zuse. A distinguished prize-winning logician, Martin Davis has had a career of more than six decades devoted to the important interface between logic and computer science. His expertise, combined with his genuine love of the subject and excellent storytelling, make him the perfect person to tell this story.

Der Computer

Der Computer

Mein Lebenswerk

  • Author: Konrad Zuse
  • Publisher: Springer-Verlag
  • ISBN: 3662065169
  • Category: Computers
  • Page: 218
  • View: 3425
DOWNLOAD NOW »
Das Werk eines großen Mannes in wenigen Worten zusammenzu fassen, wird notwendig, wenn diese Worte in Stein gemeißelt werden sollen. Auch im Geleitwort zur Autobiographie eines solchen Mannes ist es angebracht, Kürze walten zu lassen und durch wenig Worte den Autor um so mehr zu ehren. Für Konrad Zuse lauten diese Worte: Schöpfer der ersten vollautomatischen, programmgesteuer ten und frei programmierten, in binärer Gleitpunktrechnung arbeitenden Rechenanlage. Sie war 1941 betriebsfähig. So oder ähnlich wird man einmal schreiben müssen, wenn Konrad Zuses Büste in der Walhalla neben denen Gregor Mendels und Wilhelm Conrad Röntgens - um nur zwei zu nennen, denen zuletzt diese Ehre zuteil wurde - aufgestellt wird. München,August1984 F. L. Bauer v GELEITWORT Wie lange und ausführlich immer eine Autobiographie ist, sie kann nicht vollständig sein. Ich freue mich daher, in diesem Geleitwort ein Beispiel dafür anführen zu können, wie das Werk des Verfassers ausgestrahlt hat. Es ist ein kleines Beispiel, von einer Art wie es Dutzende geben mag, aber ein persönliches, das als mein Dank für die Anregung und Unterstützung - die zu einer dauerhaften Freundschaft geführt hat - gelten darf, aber auch als symbolischer Dank aller anderen, die von Konrad Zuse Richtung und Hilfe erhalten haben.

Kurt Gödel

Kurt Gödel

Jahrhundertmathematiker und großer Entdecker

  • Author: Rebecca Goldstein
  • Publisher: N.A
  • ISBN: 9783492249607
  • Category:
  • Page: 312
  • View: 7445
DOWNLOAD NOW »

Erfindung des Computers, Elektronenrechner, Entwicklungen in Deutschland, England und der Schweiz

Erfindung des Computers, Elektronenrechner, Entwicklungen in Deutschland, England und der Schweiz

  • Author: Herbert Bruderer
  • Publisher: Walter de Gruyter GmbH & Co KG
  • ISBN: 311060261X
  • Category: Computers
  • Page: 849
  • View: 2069
DOWNLOAD NOW »
Das preisgekrönte Werk „Meilensteine der Rechentechnik" liegt in der 2., völlig neu bearbeiteten und stark erweiterten Auflage vor. Die beiden Bände, die im Ganzen rund 1600 Seiten umfassen, sind ein Gesamtwerk, lassen sich aber auch einzeln nutzen. Diese Schrift behandelt sowohl analoge wie digitale Geräte und geht auf benachbarte Bereiche wie Automatenbau (z.B. Figuren- und Musikautomaten) sowie wissenschaftliche Instrumente (z.B. Himmelskunde, Vermessungswesen, Uhrmacherkunst) ein. Gestreift werden zudem frühe Schreibmaschinen und programmgesteuerte mechanische Webstühle. Schwerpunkte des ersten Bandes sind: Grundlagen, mechanische Rechenmaschinen, Rechenschieber, historische Automaten, Entwicklung der Rechenkunst, Schritt-für-Schritt-Anleitungen für analoge und digitale Rechengeräte. Alle wichtigen Fachbegriffe werden erklärt. Die weltweit prachtvollsten Rundbaurechenmaschinen und Androiden werden in Wort und Bild vorgestellt. Das Buch enthält ferner grundsätzliche Betrachtungen zu Themen wie Digitalisierung und künstliche Intelligenz sowie zur Rolle der Technikgeschichte und der Erhaltung des technischen Kulturguts. Der zweite Band widmet sich überwiegend den Elektronenrechnern: Erfindung des Computers, weltweite Entwicklung der Rechentechnik, insbesondere in Deutschland, England und der Schweiz. Er schließt überdies je ein Fachwörterbuch Deutsch-Englisch und Englisch-Deutsch ein. Die sollen das Lesen anspruchsvoller fremdsprachiger Texte und Übersetzungen fördern. Hinzu kommt eine umfassende weltweite Bibliografie. Beide Bände berichten über aufsehenerregende neue Funde von Dokumenten und Gegenständen (u.a. weltgrößte serienmäßig gefertigte Rechenwalze, weltweit kleinster mechanischer Parallelrechner, erster mechanischer Prozessrechner), sie eignen sich auch als Nachschlagewerke. Sie sind allgemein verständlich und richten sich an alle, die Freude haben an Technik-, Mathematik-, Informatik- und Kunstgeschichte. Mehrsprachige Bibliografie zur Mathematik-, Informatik, Technik- und Naturwissenschaftsgeschichte mit über 5000 Einträgen, Fachwörterbuch Deutsch-Englisch und Englisch-Deutsch mit je 4000 Einträgen, 18 Schritt-für-Schritt-Anleitungen für die Bedienung historischer analoger und digitaler Geräte, 100 tabellarische Übersichten, zahlreiche Zeittafeln, ausführliches Personen-, Orts- und Sachverzeichnis. Herbert Bruderer ist Dozent i.R. am Departement für Informatik der Eidgenössischen Technischen Hochschule (ETH) Zürich und Technikhistoriker. Er hat zahlreiche Bücher zur Informatik verfasst und ist mehrfacher Preisträger.

Meilensteine der Rechentechnik

Meilensteine der Rechentechnik

Zur Geschichte der Mathematik und der Informatik

  • Author: Herbert Bruderer
  • Publisher: Walter de Gruyter GmbH & Co KG
  • ISBN: 3110375613
  • Category: Computers
  • Page: 850
  • View: 6434
DOWNLOAD NOW »
This book presents key milestones in the history of computer technology and the early days of computer science. A focus is placed on the new devices and research findings that have aroused particular attention in past years. Many tables provide a global overview on the earliest digital computers. A multilingual bibliography with over 3,000 titles completes the volume.

Homo sapiens.

Homo sapiens.

Leben im 21. Jahrhundert. Was bleibt vom Menschen?

  • Author: Ray Kurzweil
  • Publisher: N.A
  • ISBN: 9783548750262
  • Category:
  • Page: 509
  • View: 1369
DOWNLOAD NOW »

Kryptografie verständlich

Kryptografie verständlich

Ein Lehrbuch für Studierende und Anwender

  • Author: Christof Paar,Jan Pelzl
  • Publisher: Springer-Verlag
  • ISBN: 3662492970
  • Category: Computers
  • Page: 416
  • View: 3371
DOWNLOAD NOW »
Das Buch gibt eine umfassende Einführung in moderne angewandte Kryptografie. Es behandelt nahezu alle kryptografischen Verfahren mit praktischer Relevanz. Es werden symmetrische Verfahren (DES, AES, PRESENT, Stromchiffren), asymmetrische Verfahren (RSA, Diffie-Hellmann, elliptische Kurven) sowie digitale Signaturen, Hash-Funktionen, Message Authentication Codes sowie Schlüsselaustauschprotokolle vorgestellt. Für alle Krypto-Verfahren werden aktuelle Sicherheitseinschätzungen und Implementierungseigenschaften beschrieben.

Einführung in die nicht-klassische Logik

Einführung in die nicht-klassische Logik

  • Author: Graham Priest
  • Publisher: N.A
  • ISBN: 9783897855427
  • Category: Nonclassical mathematical logic
  • Page: 306
  • View: 5854
DOWNLOAD NOW »

Grundkurs Codierung

Grundkurs Codierung

Verschlüsselung, Kompression, Fehlerbeseitigung

  • Author: Wilfried Dankmeier
  • Publisher: Springer-Verlag
  • ISBN: 383489009X
  • Category: Computers
  • Page: 393
  • View: 2265
DOWNLOAD NOW »
Codierungsverfahren haben ein interessantes und vielfältiges Anwendungsspektrum. Das Buch bietet aktuelles Wissen - anwendungsnah und beispielhaft vermittelt - für Studierende und die berufliche Weiterbildung. Profitieren Sie von der verständlichen Darstellung und der Erfahrung, die der Autor über viele Jahre unter Beweis gestellt hat. In der 3. Auflage wurde das Buch um einige Verfahren erweitert, so z. B. die Nutzung des MAP-Prinzips bei der Fehlerkorrektur, Verschlüsselungen nach dem neuen Standard AES (Advanced Encryption Standard) oder der Quantenkryptologie und Datenkompression mit Wavelet- und Fraktal-Techniken.

Darwin im Reich der Maschinen

Darwin im Reich der Maschinen

Die Evolution der globalen Intelligenz

  • Author: George B. Dyson
  • Publisher: Springer
  • ISBN: 9783211835883
  • Category: Computers
  • Page: 316
  • View: 9312
DOWNLOAD NOW »
"Beim Spiel von Leben und Evolution sitzen drei Spieler am Tisch: Menschen, die Natur und Maschinen. Ich bin entschieden auf der Seite der Natur. Die Natur, vermute ich, ist aber auf der Seite der Maschinen." George Dyson führt vor, dass das Leben, nachdem es sich zunächst durch die biologische Evolution entwickelte, nun noch einmal entsteht, diesmal durch die spontane Evolution der Intelligenz innerhalb unseres rasch expandierenden Informationsnetzes. Das Ergebnis ist eine digitale Wildnis, in der bisher unbekannte Geschöpfe entstehen – Geschöpfe, die uns in Hinblick auf Geschwindigkeit, Intelligenz und Langlebigkeit bald überlegen sein werden. Dieses originelle Buch zeigt, wie die Entstehung der Maschinen mit ihrem Eigenleben – und möglicherweise einem eigenen Geist – schon lange in der Literatur und Wissenschaft vorausgesehen wurde, nachweisbar in den Werken von Hobbes, Samuel Butler, Erasmus Darwin und anderen. Dyson beschreibt diese alternative intellektuelle Geschichte und erzählt, wie frühere Denker das durchgespielt haben, was dann zu den Entdeckungen der wissenschaftlichen Abenteurer des 20. Jahrhunderts, unter ihnen Alan Turing, Norbert Wiener und John von Neumann, wurde. Wie Dyson schreibt, handelt dieses Buch nicht von der Zukunft. Es geht darum, wo wir jetzt stehen und wie wir hierher kamen; was aufregend genug ist.

Cryptonomicon

Cryptonomicon

Roman

  • Author: Neal Stephenson
  • Publisher: Manhattan
  • ISBN: 3894806915
  • Category: Fiction
  • Page: 1184
  • View: 5453
DOWNLOAD NOW »
Während des Zweiten Weltkriegs legt Japan mit Unterstützung von Nazi-Deutschland eine gigantische Goldreserve an. Die Alliierten werden zwar auf verschlüsselte Mitteilungen aufmerksam, aber selbst ihren besten Kryptographen gelingt es nicht, den Code zu knacken. Mehr als ein halbes Jahrhundert später stößt eine Gruppe junger amerikanischer Unternehmer im Wrack eines U-Boots auf die Anzeichen einer riesigen Verschwörung und auf das Rätsel um einen verborgenen Schatz.

Relationen und Graphen

Relationen und Graphen

  • Author: Gunther Schmidt,Thomas Ströhlein
  • Publisher: Springer-Verlag
  • ISBN: 3642836089
  • Category: Mathematics
  • Page: 306
  • View: 5289
DOWNLOAD NOW »
Dieses Buch gibt eine neuartige systematische Darstellung der Diskreten Mathematik; sie orientiert sich an Methoden der Relationenalgebra. Ähnlich wie man es sonst nur für die weit entwickelte Analysis im kontinuierlichen Fall und die Matrizenrechnung gewohnt ist, stellt dieses Buch auch für die Behandlung diskreter Probleme geeignete Techniken und Hilfsmittel sowie eine einheitliche Theorie bereit. Die einzelnen Kapitel beginnen jeweils mit anschaulichen und motivierenden Beispielen und behandeln anschließend den Stoff in mathematischer Strenge. Es folgen jeweils praktische Anwendungen. Diese entstammen der Semantik der Programmierung, der Programmverifikation, dem Datenbankbereich, der Spieltheorie oder der Theorie der Zuordnungen und Überdeckungen aus der Graphentheorie; sie reichen aber auch bis zu rein mathematischen "Anwendungen" wie der transfiniten Induktion. Im Anhang ist dem Buch eine Einführung in die Boolesche Algebra und in die Axiomatik der Relationenalgebra beigegeben, sowie ein Abriß der Fixpunkt- und Antimorphismen-Theorie.

Grundlagen der Mathematik I

Grundlagen der Mathematik I

  • Author: David Hilbert,Paul Bernays
  • Publisher: Springer-Verlag
  • ISBN: 3642868940
  • Category: Mathematics
  • Page: 480
  • View: 4827
DOWNLOAD NOW »
Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt.

Die wundermaschine

Die wundermaschine

die unendliche geschichte der datenverarbeitung -- von der rechenuhr zum internet

  • Author: Herbert Matis
  • Publisher: N.A
  • ISBN: 9783832309367
  • Category: Computers
  • Page: 392
  • View: 7242
DOWNLOAD NOW »

Essential Scrum

Essential Scrum

Umfassendes Scrum-Wissen aus der Praxis

  • Author: Kenneth S. Rubin
  • Publisher: mitp Verlags GmbH & Co. KG
  • ISBN: 3826690478
  • Category: Computers
  • Page: 480
  • View: 936
DOWNLOAD NOW »
Umfassendes Scrum-Wissen aus der Praxis Mit Vorworten von Mike Cohn und Ron Jeffries Umfassendes Scrum-Wissen auf Team-, Produkt- und Portfolio-Ebene Kernkonzepte, Rollen, Planung und Sprints ausführlich erläutert Auch geeignet zur Vorbereitung auf die Scrum-Zertifizierung Aus dem Inhalt: 1. Teil: Kernkonzepte Scrum-Framework Agile Prinzipien Sprints Anforderungen und User Stories Das Product Backlog Schätzungen und Velocity Technische Schulden 2. Teil: Rollen Product Owner ScrumMaster Entwicklungsteam Strukturen des Scrum-Teams Manager 3. Teil: Planung Scrum-Planungsprinzipien Mehrstufige Planung Portfolio-Planung Visionsfindung/Produktplanung Release-Planung 4. Teil: Sprints Sprint-Planung Sprint-Ausführung Sprint Review Sprint-Retrospektive Dieses Buch beschreibt das Wesen von Scrum – die Dinge, die Sie wissen müssen, wenn Sie Scrum erfolgreich einsetzen wollen, um innovative Produkte und Dienstleistungen zu entwickeln. Es ist entstanden, weil der Autor Kenneth S. Rubin als Agile- und Scrum-Berater oft nach einem Referenzbuch für Scrum gefragt worden ist – einem Buch, das einen umfassenden Überblick über das Scrum-Framework bietet und darüber hinaus die beliebtesten Ansätze für die Anwendung von Scrum präsentiert. Dieses Buch ist der Versuch, die eine entscheidende Quelle für alles Wesentliche über Scrum bereitzustellen. Rubin beleuchtet die Werte, Prinzipien und Praktiken von Scrum und beschreibt bewährte, flexible Ansätze, die Ihnen helfen werden, sie viel effektiver umzusetzen. Dabei liefert er mehr als nur die Grundlagen und weist zudem auf wichtige Probleme hin, die Ihnen auf Ihrem Weg begegnen können. Ob Sie sich nun zum ersten Mal an Scrum versuchen oder es schon seit Jahren benutzen: Dieses Buch weiht Sie in die Geheimnisse des Scrum-Entwicklungsverfahrens ein und vermittelt Ihnen ein umfangreiches Scrum-Wissen auf Team-, Produkt- und Portfolio-Ebene. Für diejenigen, die bereits mit Scrum vertraut sind, eignet es sich als Scrum-Referenz. Rubin hat das Buch nicht für eine bestimmte Scrum-Rolle geschrieben. Stattdessen soll es allen, die direkt oder indirekt mit Scrum zu tun haben, ein gemeinsames Verständnis von Scrum und den Prinzipien, auf denen es beruht, vermitteln. Stellen Sie sich meine Überraschung und mein Entzücken vor, als ich feststellte, dass das Buch praktisch alles behandelt, was man über Scrum wissen muss – sowohl für Anfänger als auch für alte Hasen. Ron Jeffries (aus dem Vorwort) Über den Autor: Kenneth S. Rubin ist zertifizierter Scrum- und Agile-Trainer und -Berater und hilft Unternehmen, ihre Produktentwicklung effektiver und wirtschaftlicher zu gestalten. Er hat inzwischen mehr als 18.000 Menschen in den Bereichen Agile und Scrum, Organisation objektorientierter Projekte und Übergangsmanagement unterwiesen und Hunderten von Unternehmen als Berater zur Seite gestanden. Rubin war der erste Managing Director der weltweit agierenden Scrum Alliance und erfolgreich als Scrum-Product-Owner, ScrumMaster und Entwickler unterwegs.

New Scientist

New Scientist

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Science
  • Page: N.A
  • View: 8458
DOWNLOAD NOW »

Die Differenzmaschine

Die Differenzmaschine

Roman

  • Author: William Gibson,Bruce Sterling
  • Publisher: Heyne Verlag
  • ISBN: 3641087562
  • Category: Fiction
  • Page: 624
  • View: 3599
DOWNLOAD NOW »
Mit diesem Roman wurde der Steampunk erfunden London 1855: Das viktorianische England schickt sich an, dank seiner dampfbetriebenen Informationstechnologie ein neues, glücklicheres Zeitalter einzuleiten. Doch in dieser Ära des Aufbruchs und des technischen Fortschritts geraten vier Menschen in einen Strudel aus Brutalität, Gewalt und Zerstörung.

Graph Theory Notes of New York

Graph Theory Notes of New York

  • Author: N.A
  • Publisher: N.A
  • ISBN: N.A
  • Category: Graph theory
  • Page: N.A
  • View: 3592
DOWNLOAD NOW »

Vor dem Anfang

Vor dem Anfang

Eine Geschichte des Universums

  • Author: Martin Rees
  • Publisher: S. Fischer Verlag
  • ISBN: 3105608508
  • Category: Science
  • Page: 352
  • View: 3580
DOWNLOAD NOW »
Gibt es neben unserem noch andere Universen? Wie und wann sind sie entstanden? Welche physikalischen Gesetze herrschen dort? – Die Grundfragen der Kosmologie, beantwortet von Martin Rees, einem der renommiertesten Astronomen der Welt. (Dieser Text bezieht sich auf eine frühere Ausgabe.)

Mischling

Mischling

Roman

  • Author: Affinity Konar
  • Publisher: Carl Hanser Verlag GmbH Co KG
  • ISBN: 3446257659
  • Category: Fiction
  • Page: 368
  • View: 400
DOWNLOAD NOW »
Eine Seele in zwei Körpern – Perle und Stasia sind zwölf und unzertrennlich, als sie 1944 deportiert werden. Doktor Mengele sucht eineiige Zwillinge für seinen "Zoo". Um zu überleben, flüchten sich die Geschwister in magische Welten, schmeicheln sich sogar beim Arzt ein. Doch eines Tages, kurz vor der Befreiung, verschwindet Perle und ein unheilbarer Riss geht durch Stasia. Zusammen mit Feliks, einem weiteren Opfer Mengeles, reist sie durch die verwüsteten Landschaften Polens auf der Suche nach ihrer Schwester. In der eindringlichen Sprache eines Märchens behauptet Affinity Konars „Mischling“ noch im Abgrund des Grauens die Kraft der Fantasie, des Widerstands und der Hoffnung.