Gödel Without (Too Many) Tears - Peter Smith

Gödel Without (Too Many) Tears - Peter Smith

1. Incompleteness — The Very Idea 2. Incompleteness and undecidability 3. Two weak arithmetics 4. First-order Peano Arithmetic 5. Primitive recursive functions 6. Expressing and capturing the primitive recursive functions 7. The arithmetization of syntax 8. The first incompleteness theorem 9. The Diagonalization Lemma, Rosser and Tarski 10.Introducing the Second Theorem 11.Curry’s Paradox, Löb’s Theorem and other excitements źródło opisu: http://www.logicmatters.net/igt/further-notes/godel-without-tears/

język angielski
kategoria filozofia i etyka
tytuł oryginału Gödel Without (Too Many) Tears
słowa kluczowe matematyka, logika, Gödel
Aby oceniać i komentować zarejestruj się!
Rejestracja jest za darmo i jest bardzo szybka! Kliknij tutaj aby założyć konto. Trwa to tylko 15 sekund!.

Podobne wpisy do Gödel Without (Too Many) Tears - Peter Smith

Russell James - Heidi Klum, James Russell

One of the world’s top photographers, Russell James hails from Western Australia. His idiosyncratic work is heavily influenced by his homeland’s open landscapes and extraordinary light. Dream-like images combine the natural elements of air, sun, eart...

Inferno - Dan Brown

Światowej sławy specjalista od symboli, Robert Langdon budzi się na szpitalnym łóżku w zupełnie obcym miejscu. Nie pamięta, jak i dlaczego znalazł się w szpitalu. Nie potrafi też wyjaśnić, w jaki sposób wszedł w posiadanie tajemniczego przedmiotu, kt...

Strzelby, zarazki, maszyny. Losy ludzkich społeczeństw - Jared Diamond

Jak to się stało, że pewne ludy uzyskały przewagę nad innymi? Dlaczego strzelby, zarazki i maszyny pomogły właśnie Europejczykom w podboju świata, a inne cywilizacje zginęły bezpotomnie? Zagadki te próbuje rozwiązać Jared Diamond – biolog, z zamiłowa...

Cień wiatru - Carlos Ruiz Zafón

Zauroczony powieścią i zafascynowany jej autorem Daniel usiłuje odnaleźć inne jego książki i odkryć tajemnicę pisarza, nie podejrzewając nawet, iż zaczyna się największa i najbardziej niebezpieczna przygoda jego życia, która da również początek niezw...

Jedenaście minut - Paulo Coelho

Maria, młoda dziewczyna z brazylijskiej prowincji, wyrusza w daleką podróż. Jednak świat jest inny, niż sobie wyobrażała. Gorzkie doświadczenia sprawiają, że zostaje prostytutką. Decyduje się na życie bez miłości i wpada w pułapkę, z której wybawić m...

Dziennik Bridget Jones - Helen Fielding

Książka niezwykle zabawna, fenomenalna satyra na stosunki międzyludzkie we współczesnych miastach.Ta niesłychanie wciągająca lektura bezbłędnie pokazuje niedole niezamężnej kobiety. "The Times" tak pisze: "Kapitalny obraz życia niezamężnej dziewczyny...

Logowanie
Rejestracja