Értékelés:
Jelenleg nincsenek olvasói vélemények. Az értékelés 10 olvasói szavazat alapján történt.
Gdel Without (Too Many) Tears
Kurt Gödel híres első teljességtelenségi tétele megmutatja, hogy bármely elég gazdag elmélet esetében, amely elegendő aritmetikát tartalmaz, vannak olyan aritmetikai igazságok, amelyeket az elmélet ki tud fejezni, de nem tud bizonyítani. Hogyan állapítható meg ez a figyelemre méltó eredmény? Ez a rövid könyv megmagyarázza.
Emellett tárgyalja Gödel második hiánytalansági tételét is. A cél az, hogy a tételeket világosan és érthetően hozzáférhetővé tegye, még azok számára is, akiknek meglehetősen korlátozott a formális hátterük.
Az első kiadás egy Cambridge-ben évekig tartott kurzus sokat letöltött előadásjegyzetei alapján készült. Ez a második kiadás kibővített és alaposan átdolgozott.
© Book1 Group - minden jog fenntartva.
Az oldal tartalma sem részben, sem egészben nem másolható és nem használható fel a tulajdonos írásos engedélye nélkül.
Utolsó módosítás időpontja: 2024.11.13 21:05 (GMT)