Wyśmiewać się z przedrzeźniacza —To Mock a Mockingbird

Nie mylić z Zabić drozda .
Wyśmiewanie drozda i inne zagadki logiczne: w tym niesamowita przygoda w logice kombinatorycznej
Wyśmiewać drozda.jpg
Autor Raymond Smullyan
Kraj Stany Zjednoczone
Język język angielski
Wydawca Knopf
Data publikacji
 1985
Typ mediów Druk ( Miękka oprawa )
Strony 246
Numer ISBN 0-19-280142-2
OCLC 248314322

Wyśmiewać drozda i inne łamigłówki logiczne: w tym niesamowita przygoda w logice kombinatorycznej (1985, ISBN  0-19-280142-2 ) to książka matematyka i logika Raymonda Smullyana . Zawiera wiele nietrywialnych zagadek rekreacyjnych, z których znany jest Smullyan. To także łagodne i dowcipne 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ącą moc ekspresyjną teorii mnogości i mającą głębokie powiązania z zagadnieniami obliczalności i dowodliwości . Ekspozycja Smullyana przybiera formę wyimaginowanej relacji dwóch mężczyzn idących do lasu i omawiających niezwykłe „ptaki” (kombinatory), 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). Imię Mosesa Schönfinkela oznacza piękny ptak). Każdy gatunek ptaka w lesie Smullyana oznacza określony rodzaj kombinatora występującego w konwencjonalnym ujęciu logiki kombinatorycznej. Każdy ptak ma charakterystyczny głos, który wydaje, gdy słyszy wołanie innego ptaka. Stąd pierwsze nawoływanie niektórych „ptaków” powoduje kaskadową sekwencję nawoływań kolejnych ptaków.

W głębi lasu mieszka przedrzeźniacz, który imituje inne ptaki słyszące siebie. Powstała kaskada wezwań i odpowiedzi jest analogią do abstrakcyjnych modeli obliczeniowych . Mając tę ​​analogię w ręku, można badać zaawansowane zagadnienia matematycznej teorii obliczalności , takie jak obliczalność Churcha-Turinga i twierdzenie Gödla .

Chociaż książka zaczyna się od prostych zagadek, w końcu przechodzi w opowieść 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, potem udaje się do nienazwanego lasu, potem do Lasu Curry'ego (nazwa pochodzi od Haskella Curry), potem do Lasu Russela, 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ż

Zewnętrzne linki