Salta al contenuto principale

Come join our latest LibraryThing Hunt!

Immagine dell'autore.

George S. Boolos (1940–1996)

Autore di Computability and Logic

5 opere 504 membri 1 recensione 1 preferito

Sull'Autore

George Boolos was Professor of Philosophy, Massachusetts Institute of Technology

Comprende il nome: George Boolos

Opere di George S. Boolos

Popolari Recenti

Computability and Logic (1974) — Autore — 374 copie

Logic, Logic, and Logic (1998) 59 copie

The Logic of Provability (1994) 45 copie

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

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

Esplora le opere

Etichette

2012-letti (2) Americano (2) and logic (1) Box 65 (2) browsed (1) Cambridge (2) computability (18) computation (6) computazione (4) computer (2) da leggere (11) Filosofia (32) Filosofia della matematica (1) genre-computability (2) in lettura (1) Informatica (21) Informatica teorica (2) lavoro (3) letto (2) Libro di testo (4) Logica (85) Logica filosofica (1) Logica matematica (6) Logica modale (2) Matematica (52) Mathematics/Logic (4) most-interesting-philosophy (1) Narrativa (1) non letto (2) philosophy of logic (2) posseduto (2) posseduto (3) proof theory (3) recursion theory (2) Saggistica (18) Scienza (4) stue (1) Teoria della calcolabilità (3) Teoria della computazione (3) Turing (2)

Traduzione delle etichette attiva

Informazioni generali

Data di nascita: 1940-09-04
Data di morte: 1996-05-27
Sesso: male
Attività lavorative: Professor of Philosophy, MIT

Utenti

Recensioni

Computability and Logic di George S. Boolos

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

½

Segnalato

PhilipSharman | Dec 9, 2006 |

Vedi altre recensioni

Liste

Elenco Pile di libri

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

Potrebbero anche piacerti

Jean van Heijenoort

Stewart Shapiro

Autori correlati

Richard C. Jeffrey Author

John P. Burgess Author

Statistiche

Opere: 5
Utenti: 504
Popolarità: #49,151
Voto: 3.8

Recensioni: 1
ISBN: 25
Lingue: 1
Preferito da: 1

Grafici & Tabelle

Vedi altri Grafici e tabelle

Immagini

Galleria dell'autore

Collegamenti

Wikipedia (English)

Obituary - MIT News (English)

Centro di assistenza

I membri di LibraryThing migliorano gli autori combinando nomi di autori e opere, separando gli autori omonimi in identità distinte e altro ancora.

Centro di assistenza

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

Questo sito utilizza i cookies per fornire i nostri servizi, per migliorare le prestazioni, per analisi, e (per gli utenti che accedono senza fare login) per la pubblicità. Usando LibraryThing confermi di aver letto e capito le nostre condizioni di servizio e la politica sulla privacy. Il tuo uso del sito e dei servizi è soggetto a tali politiche e condizioni.