Wyśmiać drozda

Wyśmiewać drozda i inne łamigłówki logiczne: w tym niesamowitą przygodę w logice kombinatorycznej
Autor	Raymonda Smullyana
Kraj	Stany Zjednoczone
Język	język angielski
Wydawca	Knopf
Data publikacji	1985
Typ mediów	Drukuj ( oprawa miękka )
Strony	246
ISBN	0-19-280142-2
OCLC	248314322

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic (1985, ISBN 0-19-280142-2 ) to książka matematyka i logika Raymonda Smullyana . Zawiera wiele nietrywialnych zagadek rekreacyjnych, z których Smullyan jest dobrze znany. Jest to także łagodne i pełne humoru wprowadzenie do logiki kombinatorycznej i związanej z nią metamatematyki , zbudowane na rozbudowanej metaforze ornitologicznej .

Logika kombinatoryczna, funkcjonalnie równoważna z rachunkiem lambda , jest gałęzią logiki symbolicznej mającej ekspresyjną moc teorii mnogości i głęboko powiązaną z kwestiami obliczalności i możliwości udowodnienia . Ekspozycja Smullyana ma formę wyimaginowanej relacji dwóch mężczyzn udających się do lasu i rozmawiających o niezwykłych „ptakach” (kombinatorach), które tam znajdują (obserwowanie ptaków było hobby jednego z założycieli logiki kombinatorycznej, Haskella Curry'ego, i innego założyciela Mojżesza Schönfinkla nazwa oznacza pięknego ptaka). Każdy gatunek ptaka w lesie Smullyana reprezentuje określony rodzaj kombinatora , który pojawia się w konwencjonalnym ujęciu logiki kombinatorycznej. Każdy ptak ma charakterystyczne wołanie, które emituje, gdy słyszy wołanie innego ptaka. Stąd początkowe nawoływanie pewnych „ptaków” powoduje kaskadową sekwencję nawoływań następujących po sobie ptaków.

Głęboko w lesie mieszka Przedrzeźniacz, który naśladuje słyszące się ptaki. Wynikająca z tego kaskada wezwań i odpowiedzi jest analogią do abstrakcyjnych modeli obliczeniowych . Mając tę analogię w ręku, można badać zaawansowane tematy z matematycznej teorii obliczalności , takie jak obliczalność Churcha-Turinga i twierdzenie Gödla .

Chociaż książka zaczyna się od prostych zagadek, ostatecznie przechodzi do opowieści o inspektorze Craigu ze Scotland Yardu, który pojawia się w innych książkach Smullyana; podróżując od lasu do lasu, ucząc się od różnych profesorów o różnych gatunkach ptaków. Zaczyna w pewnym zaczarowanym lesie, następnie udaje się do nienazwanego lasu, potem do Lasu Curry'ego (nazwanego tak na cześć Haskella Curry'ego), potem do Lasu Russella, potem do Lasu bez imienia, potem do Lasu Gödla i wreszcie do Lasu Mistrzów gdzie odpowiada również na Wielkie Pytanie.

Zobacz też

Linki zewnętrzne

Keenan, David C. (2001) „ Dokonać sekcji drozda ” .
Rathman, Chris, „ Ptaki kombinatorów ” .