1.

Record Nr.

UNINA990006044990403321

Autore

Horatius Flaccus, Quintus <65-8 a. C.>

Titolo

Le Satire Le epistole / Quintus Horatius Flaccus ; testo latino e traduzione in versi italiani di Ettore Romagnoli

Pubbl/distr/stampa

Bologna : Zanichelli, 1984

Descrizione fisica

XXVIII, 412 p. ; 19 cm

Collana

Poeti di Roma

Disciplina

870

Locazione

FGBC

Collocazione

IV ZZ PO (8)

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910452538503321

Autore

Nagel Ernest <1901-1985., >

Titolo

Godel's proof / / by Ernest Nagel and James R. Newman

Pubbl/distr/stampa

London ; ; New York : , : Routledge, , 2005

ISBN

0-203-71522-5

1-283-88476-3

1-135-86532-9

Edizione

[3rd ed.]

Descrizione fisica

1 online resource (105 p.)

Collana

Routledge classics

Altri autori (Persone)

NewmanJames Roy <1907-1966.>

Disciplina

511.3

Soggetti

Gödel's theorem

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

First published 1958 by Routledge.

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

Gödel's Proof; Copyright; Contents; Acknowledgments; 1 Introduction;



2 The Problem of Consistency; 3 Absolute Proofs of Consistency; 4 The Systematic Codification of Formal Logic; 5 An Example of a Successful Absolute Proof of Consistency; 6 The Idea of Mapping and its Use in Mathematics; 7 Gödel's Proofs; A Gödel numbering; B The arithmetization of meta-mathematics; C The heart of Gödel's argument; 8 Concluding Reflections; Notes; Brief Bibliography; Index

Sommario/riassunto

'Nagel and Newman accomplish the wondrous task of clarifying the argumentative outline of Kurt Godel's celebrated logic bomb.' - The GuardianIn 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of physicist Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system. The importance of Godel's Proof rests upon its radical implications and has echoed throughout many fields