Fritanke Fritanke
Kundvagn (0)
Till Kassan
Din kundvagn är tom
Meny

Douglas Hofstadter om Gödel och kunskapens gränser

Douglas Hofstadter föreläser på Pi-konferensen om Kurt Gödel och hans ofullständighetsteorem som visar att det finns sanna matematiska satser som inte är bevisbara inom det formaliserade matematiska system som satsen förekommer i. Gödel visar alltså att sanning och härledbarhet inte är ekvivalenta.

In english: Kurt Gödel showed that mathematical thinking cannot be captured in a formal axiomatic reasoning system. What does this deep result mean in practice? What are the limits of computer thinking? Can beauty and creativity and a sense of humor be formalized?

Kassa

Artiklar

Önskelista

Här är böckerna som ligger i din önskelista.

Anmäl din epostadress om du vill få uppdateringar och erbjudanden om de böcker som ligger i din önskelista. Vi lämnar aldrig ut din epostadress.
Din epostadresss är knuten till din önskelista så att du kan få uppdateringar och erbjudanden om böcker som ligger i här.
Jag är säker på att jag vill ta bort min epostadress

Meddelande

Meddelande text

Arbetar...