Vysmívat ptáčka - To Mock a Mockingbird
Autor | Raymond Smullyan |
---|---|
Země | Spojené státy |
Jazyk | Angličtina |
Vydavatel | Knopf |
Datum publikace | 1985 |
Typ média | Tisk (Brožura ) |
Stránky | 246 |
ISBN | 0-19-280142-2 |
OCLC | 248314322 |
Vysmívat se ptákovi a jiným logickým hádankám: Zahrnutí úžasného dobrodružství do kombinované logiky (1985, ISBN 0-19-280142-2) je kniha od matematik a logik Raymond Smullyan. Obsahuje mnoho netriviálních rekreačních hlavolamů, pro které je Smullyan dobře známý. Je to také jemný a vtipný úvod do hry kombinační logika a související metamatematika, postaveno na komplikovaném ornitologický metafora.
Kombinovaná logika, funkčně ekvivalentní s lambda kalkul, je pobočkou symbolická logika s expresivní silou teorie množin as hlubokými souvislostmi s otázkami vypočítatelnost a prokazatelnost. Smullyanova expozice má podobu imaginárního popisu dvou mužů, kteří jdou do lesa a diskutují o neobvyklých „ptácích“ (kombinátorech), které tam najdou (pozorování ptáků bylo koníčkem jednoho ze zakladatelů kombinační logiky, Haskell Curry a další zakladatel Moses Schönfinkel jméno znamená krásný pták). Každý druh ptáka v Smullyanově lese představuje určitý druh kombinátor objevující se v konvenčním zpracování kombinatorické logiky. Každý pták má výrazné volání, které vysílá, když uslyší volání jiného ptáka. Proto počáteční volání určitých „ptáků“ vede ke kaskádové posloupnosti volání sledem ptáků.
Hluboko v lese přebývá Mockingbird, který napodobuje ostatní ptáky, kteří se slyší. Výsledná kaskáda hovorů a odpovědí analogicky k abstraktu modely výpočtu. S touto analogií v ruce, jeden může prozkoumat pokročilá témata v matematické teorie vyčíslitelnosti, jako Církev – Turingova vyčíslitelnost a Gödelova věta.
Zatímco kniha začíná jednoduchými hádankami, nakonec se posune k příběhu inspektora Craiga ze Scotland Yardu, který se objevuje v dalších Smullyanových knihách; cestování z lesa do lesa, učení se od různých profesorů o všech různých druzích ptáků. Začíná v určitém začarovaném lese, poté jde do nejmenovaného lesa a poté do Curryho lesa (pojmenovaného po Haskell Curry ), pak do Russelova lesa, poté do lesa bez jména, pak do Gödel's Forest a nakonec do Mistrovského lesa, kde také odpovídá na Velkou otázku.
Viz také
- SKI kombinátorový počet
- Systém B, C, K, W.
- Kombinátor pevných bodů
- Lambda kalkul
- Logická hádanka
- Hlavolam
- Paradox
externí odkazy
- Keenan, David C. (2001) "Pitvat ptáčka. "
- Rathman, Chris, "Combinator Birds. "