Zum Hauptinhalt springen

Autorenbild.

George S. Boolos (1940–1996)

Autor von Computability and Logic

5 Werke 504 Mitglieder 1 Rezension Lieblingsautor von 1 Lesern

Über den Autor

George Boolos was Professor of Philosophy, Massachusetts Institute of Technology

Beinhaltet den Namen: George Boolos

Werke von George S. Boolos

Beliebt Zuletzt

Computability and Logic (1974) — Autor — 374 Exemplare

Logic, Logic, and Logic (1998) 59 Exemplare

The Logic of Provability (1994) 45 Exemplare

The Unprovability of Consistency: An Essay in Modal Logic (1979) 17 Exemplare

Meaning and Method: Essays in Honor of Hilary Putnam (1990) 9 Exemplare

Informationen zu Werken

Getagged

amerikanisch/Amerikaner (2) and logic (1) Arbeit (3) Berechenbarkeit (18) Berechenbarkeitstheorie (3) Berechnung (6) Beweistheorie (3) Box 65 (2) browsed (1) Cambridge (2) Computer (2) Fiktion (1) Gelesen (2) gelesen 2012 (2) genre-computability (2) Im Besitz (3) im Besitz (2) Informatik (21) Informatik (4) Lehrbuch (4) Lese ich gerade (1) Logik (85) Mathematik (52) Mathematik/Logik (4) Mathematische Logik (6) Modallogik (2) most-interesting-philosophy (1) noch zu lesen (11) Philosophie (32) Philosophie der Mathematik (1) Philosophische Logik (1) recursion theory (2) Sachbuch (18) stue (1) Theoretische Informatik (2) theory of computation (3) Turing (2) ungelesen (2) Universalwissenschaft (2) Wissenschaft (4)

Tag-Übersetzung eingeschaltet

Wissenswertes

Geburtstag: 1940-09-04
Todestag: 1996-05-27
Geschlecht: male
Berufe: Professor of Philosophy, MIT

Mitglieder

Rezensionen

Computability and Logic von George S. Boolos

A truly shitty book. Proof that some people can make the most interesting things seem dry, dull, and boring beyond words.

½

Gekennzeichnet

PhilipSharman | Dec 9, 2006 |

Mehr Rezensionen ansehen

Listen

Books in the bibliography of Godel, Escher, Bach by Douglas Hofstadter (1)

Dir gefällt vielleicht auch

Jean van Heijenoort

Stewart Shapiro

Douglas Hofstadter

Nahestehende Autoren

Richard C. Jeffrey Author

John P. Burgess Author

Statistikseite

Werke: 5
Mitglieder: 504
Beliebtheit: #49,151
Bewertung: 3.8

Rezensionen: 1
ISBNs: 25
Sprachen: 1
Favoriten: 1

Diagramme & Grafiken

Weitere Diagramme und Grafiken anzeigen

Bilder

Autoren-Galerie

Links

Wikipedia (English)

Obituary - MIT News (English)

Helfer-Hub

LibraryThing-Mitglieder verbessern Autoren, indem sie Autorennamen und Werke kombinieren, gleichnamige Autoren in separate Identitäten aufteilen und vieles mehr.

Verdana Standard Verdana Small The Lorax System Standard System Large Georgia Large Text Atkinson

Diese Seite verwendet Cookies für unsere Dienste, zur Verbesserung unserer Leistungen, für Analytik und (falls Sie nicht eingeloggt sind) für Werbung. Indem Sie LibraryThing nutzen, erklären Sie dass Sie unsere Nutzungsbedingungen und Datenschutzrichtlinie gelesen und verstanden haben. Die Nutzung unserer Webseite und Dienste unterliegt diesen Richtlinien und Geschäftsbedingungen.