passa ai contenuti
There's something about Gödel : the complete guide to the incompleteness theorem Anteprima di questo documento
ChiudiAnteprima di questo documento
Stiamo controllando…

There's something about Gödel : the complete guide to the incompleteness theorem

Autore: Francesco Berto
Editore: Malden, MA : Wiley-Blackwell, 2009.
Edizione/Formato:   book_printbook : EnglishVedi tutte le edizioni e i formati
Banca dati:WorldCat
Sommario:
There's Something About Gödel is a lucid and accessible guide to Gödel's revolutionary Incompleteness Theorem, considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem. Divided into two parts, the first section introduces the reader to the Incompleteness Theorem--the argument that  Per saperne di più…
Voto:

(non ancora votato) 0 con commenti - Diventa il primo.

Soggetti
Altri come questo

 

Trova una copia in biblioteca

&AllPage.SpinnerRetrieving; Stiamo ricercando le biblioteche che possiedono questo documento…

Dettagli

Genere/forma: manuel
Persona incaricata: Kurt Gödel; Kurt Gödel
Tipo documento: Book
Tutti gli autori / Collaboratori: Francesco Berto
ISBN: 9781405197663 1405197668 9781405197670 1405197676
Numero OCLC: 361965956
Descrizione: xx, 233 pages : illustrations ; 24 cm
Contenuti: The Gödelian symphony --
Foundations and paradoxes --
"This sentence is false" --
The liar and Gödel --
Language and metalanguage --
The axiomatic method, or how to get the non-obvious out of the obvious --
Peano's axioms --
And the unsatisfied logicists, Frege and Russell --
Bits of set theory --
The abstraction principle --
Bytes of set theory --
Properties, relations, functions, that is, sets again --
Calculating, computing, enumerating, that is, the notion of algorithm --
Taking numbers as sets of sets --
It's raining paradoxes --
Cantor's diagonal argument --
Self-reference and paradoxes --
Hilbert --
Strings of symbols --
"In mathematics there is no ignorabimus" --
Gödel on stage --
Our first encounter with the incompleteness theorem --
And some provisos --
Gödelization, or say it with numbers! --
TNT --
The arithmetical axioms of TNT and the "standard model" N --
The fundamental property of formal systems --
The Gödel numbering --
And the arithmetization of syntax --
Bits of recursive arithmetic --
Making algorithms precise --
Bits of recursion theory --
Church's thesis --
The recursiveness of predicates, sets, properties, and relations --
And how it is represented in typographical number theory --
Introspection and representation --
The representability of properties, relations, and functions --
And the Gödelian loop --
"I am not provable" --
Proof pairs --
The property of being a theorem of TNI (is not recursive!) --
Arithmetizing substitution --
How can a TNT sentence refer to itself? --
Fixed point --
Consistency and omega-consistency --
Proving G1 --
Rosser's proof --
The unprovability of consistency and the "immediate consequences" of G1 and G2 --
G2 --
Technical interlude --
"Immediate consequences" of G1 and G2 --
Undecidable1 and undecidable 2 --
Essential incompleteness, or the syndicate of mathematicians --
Robinson arithmetic --
How general are Gödel's results? --
Bits of Turing machine --
G1 and G2 in general --
Unexpected fish in the formal net --
Supernatural numbers --
The culpability of the induction scheme --
Bits of truth (not too much of it, though) --
The world after Gödel --
Bourgeois mathematicians! : the postmodern interpretations --
What is postmodernism? --
From Gödel to Lenin --
Is "biblical proof" decidable? --
Speaking of the totality --
Bourgeois teachers! --
(Un)interesting bifurcations --
A footnote to Plato --
Explorers in the realm of numbers --
The essence of a life --
"The philosophical prejudices of our times" --
From Gödel to Tarski --
Human, too human --
Mathematical faith --
"I'm not crazy!" --
Qualified doubts --
From Gentzen to the Dialectica interpretation --
Mathematicians are people of faith --
Mind versus computer : Gödel and artificial intelligence --
Is mind (just) a program? --
"Seeing the truth" and "going outside the system" --
The basic mistake --
In the haze of the transfinite --
"Know thyself" : Socrates and the inexhaustibility of mathematics --
Gödel versus Wittgenstein and the paraconsistent interpretation --
When geniuses meet --
The implausible Wittgenstein --
"There is no metamathematics" --
Proof and prose --
The single argument --
But how can arithmetic be inconsistent? --
The costs and benefits of making Wittgenstein plausible.
Altri titoli: Tutti pazzi per Gödel!
Responsabilità: Francesco Berto.

Abstract:

There's Something About Godel is a lucid and accessible guide to Godel's revolutionary Incompleteness Theorem , considered one of the most astounding argumentative sequences in the history of human  Per saperne di più…

Commenti

Recensioni editoriali

Sinossi editore

"There's Something about G¨odel is a bargain: two books in one. The first half is a gentle but rigorous introduction to the incompleteness theorems for the mathematically uninitiated. The second is a Per saperne di più…

 
Commenti degli utenti
Recuperando commenti GoodReads…
Stiamo recuperando commenti DOGObooks

Etichette

Diventa il primo.
Conferma questa richiesta

Potresti aver già richiesto questo documento. Seleziona OK se si vuole procedere comunque con questa richiesta.

Dati collegati


Primary Entity

<http://www.worldcat.org/oclc/361965956> # There's something about Gödel : the complete guide to the incompleteness theorem
    a schema:Book, schema:CreativeWork ;
   bgn:translationOfWork <http://www.worldcat.org/title/-/oclc/361965956#CreativeWork/unidentifiedOriginalWork> ; # Tutti pazzi per Gödel!
   library:oclcnum "361965956" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/136788993#Place/malden_ma> ; # Malden, MA
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://id.worldcat.org/fast/968811> ; # Incompleteness theorems
   schema:about <http://experiment.worldcat.org/entity/work/data/136788993#Topic/theoreme_de_godel> ; # théorème de Gödel
   schema:about <http://id.worldcat.org/fast/1012213> ; # Mathematics--Philosophy
   schema:about <http://experiment.worldcat.org/entity/work/data/136788993#Person/godel_kurt> ; # Kurt Gödel
   schema:about <http://viaf.org/viaf/97851774> ; # Kurt Gödel
   schema:about <http://dewey.info/class/511.3/e22/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh85082153> ; # Mathematics--Philosophy
   schema:about <http://id.worldcat.org/fast/949806> ; # Gödel's theorem
   schema:bookFormat bgn:PrintBook ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/136788993#Person/berto_francesco> ; # Francesco Berto
   schema:datePublished "2009" ;
   schema:description "The Gödelian symphony -- Foundations and paradoxes -- "This sentence is false" -- The liar and Gödel -- Language and metalanguage -- The axiomatic method, or how to get the non-obvious out of the obvious -- Peano's axioms -- And the unsatisfied logicists, Frege and Russell -- Bits of set theory -- The abstraction principle -- Bytes of set theory -- Properties, relations, functions, that is, sets again -- Calculating, computing, enumerating, that is, the notion of algorithm -- Taking numbers as sets of sets -- It's raining paradoxes -- Cantor's diagonal argument -- Self-reference and paradoxes -- Hilbert -- Strings of symbols -- "In mathematics there is no ignorabimus" -- Gödel on stage -- Our first encounter with the incompleteness theorem -- And some provisos -- Gödelization, or say it with numbers! -- TNT -- The arithmetical axioms of TNT and the "standard model" N -- The fundamental property of formal systems -- The Gödel numbering -- And the arithmetization of syntax -- Bits of recursive arithmetic -- Making algorithms precise -- Bits of recursion theory -- Church's thesis -- The recursiveness of predicates, sets, properties, and relations -- And how it is represented in typographical number theory -- Introspection and representation -- The representability of properties, relations, and functions -- And the Gödelian loop -- "I am not provable" -- Proof pairs -- The property of being a theorem of TNI (is not recursive!) -- Arithmetizing substitution -- How can a TNT sentence refer to itself? -- Fixed point -- Consistency and omega-consistency -- Proving G1 -- Rosser's proof -- The unprovability of consistency and the "immediate consequences" of G1 and G2 -- G2 -- Technical interlude -- "Immediate consequences" of G1 and G2 -- Undecidable1 and undecidable 2 -- Essential incompleteness, or the syndicate of mathematicians -- Robinson arithmetic -- How general are Gödel's results? -- Bits of Turing machine -- G1 and G2 in general -- Unexpected fish in the formal net -- Supernatural numbers -- The culpability of the induction scheme -- Bits of truth (not too much of it, though) -- The world after Gödel -- Bourgeois mathematicians! : the postmodern interpretations -- What is postmodernism? -- From Gödel to Lenin -- Is "biblical proof" decidable? -- Speaking of the totality -- Bourgeois teachers! -- (Un)interesting bifurcations -- A footnote to Plato -- Explorers in the realm of numbers -- The essence of a life -- "The philosophical prejudices of our times" -- From Gödel to Tarski -- Human, too human -- Mathematical faith -- "I'm not crazy!" -- Qualified doubts -- From Gentzen to the Dialectica interpretation -- Mathematicians are people of faith -- Mind versus computer : Gödel and artificial intelligence -- Is mind (just) a program? -- "Seeing the truth" and "going outside the system" -- The basic mistake -- In the haze of the transfinite -- "Know thyself" : Socrates and the inexhaustibility of mathematics -- Gödel versus Wittgenstein and the paraconsistent interpretation -- When geniuses meet -- The implausible Wittgenstein -- "There is no metamathematics" -- Proof and prose -- The single argument -- But how can arithmetic be inconsistent? -- The costs and benefits of making Wittgenstein plausible."@en ;
   schema:description "There's Something About Gödel is a lucid and accessible guide to Gödel's revolutionary Incompleteness Theorem, considered one of the most astounding argumentative sequences in the history of human thought. It is also an exploration of the most controversial alleged philosophical outcomes of the Theorem. Divided into two parts, the first section introduces the reader to the Incompleteness Theorem--the argument that all mathematical systems contain statements which are true, yet which cannot be proved within the system. Berto describes the historical context surrounding Gödel's accomplishment, explains step-by-step the key aspects of the Theorem, and explores the technical issues of incompleteness in formal logical systems. The second half, The World After Gödel, considers some of the most famous--and infamous--claims arising from Gödel's theorem in the areas of the philosophy of mathematics, metaphysics, the philosophy of mind, Artificial Intelligence, and even sociology and politics. This book requires only minimal knowledge of aspects of elementary logic, and is written in a user-friendly style that enables it to be read by those outside the academic field, as well as students of philosophy, logic, and computing."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/136788993> ; # Tutti pazzi per Gödel!
   schema:inLanguage "en" ;
   schema:name "There's something about Gödel : the complete guide to the incompleteness theorem"@en ;
   schema:productID "361965956" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/361965956#PublicationEvent/malden_ma_wiley_blackwell_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/136788993#Agent/wiley_blackwell> ; # Wiley-Blackwell
   schema:workExample <http://worldcat.org/isbn/9781405197670> ;
   schema:workExample <http://worldcat.org/isbn/9781405197663> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/361965956> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/136788993#Agent/wiley_blackwell> # Wiley-Blackwell
    a bgn:Agent ;
   schema:name "Wiley-Blackwell" ;
    .

<http://experiment.worldcat.org/entity/work/data/136788993#Person/berto_francesco> # Francesco Berto
    a schema:Person ;
   schema:familyName "Berto" ;
   schema:givenName "Francesco" ;
   schema:name "Francesco Berto" ;
    .

<http://experiment.worldcat.org/entity/work/data/136788993#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://experiment.worldcat.org/entity/work/data/136788993#Topic/theoreme_de_godel> # théorème de Gödel
    a schema:Intangible ;
   schema:name "théorème de Gödel"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85082153> # Mathematics--Philosophy
    a schema:Intangible ;
   schema:name "Mathematics--Philosophy"@en ;
    .

<http://id.worldcat.org/fast/1012213> # Mathematics--Philosophy
    a schema:Intangible ;
   schema:name "Mathematics--Philosophy"@en ;
    .

<http://id.worldcat.org/fast/949806> # Gödel's theorem
    a schema:Intangible ;
   schema:name "Gödel's theorem"@en ;
    .

<http://id.worldcat.org/fast/968811> # Incompleteness theorems
    a schema:Intangible ;
   schema:name "Incompleteness theorems"@en ;
    .

<http://viaf.org/viaf/97851774> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
    .

<http://worldcat.org/entity/work/id/136788993> # Tutti pazzi per Gödel!
   schema:name "Tutti pazzi per Gödel!" ;
    .

<http://worldcat.org/isbn/9781405197663>
    a schema:ProductModel ;
   schema:isbn "1405197668" ;
   schema:isbn "9781405197663" ;
    .

<http://worldcat.org/isbn/9781405197670>
    a schema:ProductModel ;
   schema:isbn "1405197676" ;
   schema:isbn "9781405197670" ;
    .

<http://www.worldcat.org/title/-/oclc/361965956>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/361965956> ; # There's something about Gödel : the complete guide to the incompleteness theorem
   schema:dateModified "2016-05-10" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .

<http://www.worldcat.org/title/-/oclc/361965956#CreativeWork/unidentifiedOriginalWork> # Tutti pazzi per Gödel!
    a schema:CreativeWork ;
   schema:inLanguage "it" ;
   schema:name "Tutti pazzi per Gödel!" ;
    .


Content-negotiable representations

Chiudi finestra

Per favore entra in WorldCat 

Non hai un account? Puoi facilmente crearne uno gratuito.