Niezwykły świat pana Smullyana



Podobne dokumenty
Logika Matematyczna Spójniki logiczne Tautologie Dowodzenie Kwantyfikatory Zagadki. Logika Matematyczna. Marcelina Borcz.

Najtrudniejsza Zagadka Świata

KWESTIONARIUSZ DO POMIARU UMIĘTNOŚCI ROZWIĄZYWANIA PROBLEMÓW. Nazwa szkoły:. Imię i Nazwisko:.

Zadanie było trudne, ale w dawnych czasach uczono w szkole powszechnej algorytmu rozwiązywana tego

Zagadki II - reaktywacja

Alicja, Labirynty i Magiczny Ogród

Matematyczna wieża Babel. 6. Nieskończoność i myślaki materiały do ćwiczeń

WYKŁAD MONOGRAFICZNY: ZAGADKI ZAGADKI LOGICZNE 1: RYCERZE I ŁOTRZY

Czyli Wprowadzenie do logiki

Z reguł wnioskowania na oddzielne traktowanie zasługują reguły Claviusa:

Zadania z konkursów matematycznych

Wprowadzenie do logiki

ZAGADKI. JERZY POGONOWSKI Zakład Logiki i Kognitywistyki UAM

Część 4. Wyrażanie uczuć.

Weronika Łabaj. Geometria Bolyaia-Łobaczewskiego

Pseudaria. Autor: Laura Robińska

mnw.org.pl/orientujsie

Rodzaje argumentów za istnieniem Boga

Elementy logiki i teorii mnogości

Wydarzenia. Poniedziałek, 14 stycznia #Ferie2019

Wiadomości. Poniedziałek, 7 stycznia #Ferie2019

MBP ODDZIAŁ DLA DZIECI UL.SZEROKA 13

Zagadki Lilavati. Wymyślanie i sprawdzanie zadań Ciągi i odległości. Dla klasy III i klas wyższych Czas trwania: 45 minut

WYBUCHAJĄCE KROPKI ROZDZIAŁ 1 MASZYNY

5. OKREŚLANIE WARTOŚCI LOGICZNEJ ZDAŃ ZŁOŻONYCH

CIĄGI wiadomości podstawowe


Izabella Mastalerz siostra, III kl. S.P. Nr. 156 BAJKA O WARTOŚCIACH. Dawno, dawno temu, w dalekim kraju istniały następujące osady,

Wizyta w Gazecie Krakowskiej

logicznych oczywiście

Semiotyka logiczna. Jerzy Pogonowski. Dodatek 4. Zakład Logiki Stosowanej UAM

Tłumaczenie: JERZY POGONOWSKI

Matematyka Dyskretna Zestaw 2

ODKRYWCZE STUDIUM BIBLIJNE

Nasza Kosmiczna Grosikowa Drużyna liczy 77 małych astronautów i aż 8 kapitanów. PYTANIE DLACZEGO? Jesteśmy szkołą wyróżniającą się tym, że w klasach

LOGIKA I TEORIA ZBIORÓW

Tytuł ebooka Przyjmowanie nowego wpisujesz i zadajesz styl

Kazanie na uroczystość ustanowienia nowych animatorów. i przyjęcia kandydatów do tej posługi.

Scenariusz zajęć do programu kształcenia Myślę- działam- idę w świat

Poznajemy rodzaje podmiotu

Oskar i pani Róża Karta pracy

Logika Matematyczna. Zadania Egzaminacyjne, 2007

BURSZTYNOWY SEN. ALEKSANDRA ADAMCZYK, 12 lat

Szatan z siódmej klasy Escape room

ZALICZENIE WYKŁADU: 30.I.2019

MIESIĄC PAŹDZIERNIK 2015r. W GRUPIE POZIOMKI W PRZEDSZKOLU OMNIBUSEK W REDZIE

Rok Nowa grupa śledcza wznawia przesłuchania profesorów Unii.

Zauważcie, że gdy rozmawiamy o szczęściu, zadajemy specyficzne pytania:

Rzut oka na współczesną matematykę (spotkanie nr 1)

Lista 1 (elementy logiki)

Maszyny logiczne Smullyana

W badaniach 2008 trzecioklasiści mieli kilkakrotnie za zadanie wyjaśnić wymyśloną przez siebie strategię postępowania.

i na matematycznej wyspie materiały dla ucznia, klasa III, pakiet 3, s. 1 KARTA:... Z KLASY:...

ROZDZIAŁ 7. Nie tylko miłość, czyli związek nasz powszedni

Kurs online JAK ZOSTAĆ MAMĄ MOCY

Matematyczna wieża Babel. 1. Wyprawa na Wyspę Rycerzy i Łotrów materiały do ćwiczeń

Zapominasz częściej niż przedtem? used

Sprawozdanie z realizacji projektu ABC Ekonomii Świat pieniądza

WYKŁAD MONOGRAFICZNY: ZAGADKI ZAGADKI LOGICZNE 3: ALICJA W KRAINIE ZAGADEK

mgr Małgorzata Czornik Szkoła Podstawowa nr 37 w Tychach Ośrodek tematyczny: W świecie książek. Temat dnia: Spotkanie z książką.

Zaimki wskazujące - ćwiczenia

Dzięki ćwiczeniom z panią Suzuki w szkole Hagukumi oraz z moją mamą nauczyłem się komunikować za pomocą pisma. Teraz umiem nawet pisać na komputerze.

Szczęść Boże, wujku! odpowiedział weselszy już Marcin, a wujek serdecznie uściskał chłopca.

Logika Stosowana. Wykład 2 - Logika modalna Część 2. Marcin Szczuka. Instytut Informatyki UW. Wykład monograficzny, semestr letni 2016/2017

ASERTYWNOŚĆ W RODZINIE JAK ODMAWIAĆ RODZICOM?

Andrzej Wiśniewski Logika II. Wykłady 10b i 11. Semantyka relacyjna dla normalnych modalnych rachunków zdań

Punkt 2: Stwórz listę Twoich celów finansowych na kolejne 12 miesięcy

NOWE ODKRYCIA W KLASYCZNEJ LOGICE?

Drzewa Semantyczne w KRZ

Matematyka dyskretna. Andrzej Łachwa, UJ, /15

Ćwiczenia do rozdziału 2, zestaw A: z książki Alfreda Tarskiego Wprowadzenie do logiki

W ten dzień prowadziłem lekcję w dwóch klasach pierwszych.

Rozumiem, że prezentem dla pani miał być wspólny wyjazd, tak? Na to wychodzi. A zdarzały się takie wyjazdy?

Ewangelia wg św. Jana. Rozdział 1

JAK WYKORZYSTAĆ STORYTELLING DO SPRZEDAŻY W SOCIAL MEDIACH? STRESZCZENIE VIDEO SZKOLENIA

Czyli mała gra detektywistyczna.

Olaf Tumski: Tomkowe historie 3. Copyright by Olaf Tumski & e-bookowo Grafika i projekt okładki: Zbigniew Borusiewicz ISBN

POTRENUJ PRZED KONKURSEM

Joanna Kluczenko 1. Spotkania z matematyka

Elementy logiki matematycznej

HARMONOGRAM ZAJĘĆ POZALEKCYJNYCH 2016/2017/II semestr SZKOŁA PODSTAWOWA - klasy 1-3 i świetlica szkolna

FILM - SALON SPRZEDAŻY TELEFONÓW KOMÓRKOWYCH (A2 / B1 )

Demografia członków PAN

MIND-BODY PROBLEM. i nowe nadzieje dla chrześcijańskiej antropologii

MAŁGORZATA PAMUŁA-BEHRENS, MARTA SZYMAŃSKA. Kim będę?

SPRAWDZIAN OD ROKU SZKOLNEGO 2014/2015 CZĘŚĆ 1. JĘZYK POLSKI I MATEMATYKA

II Miejski Konkurs Wiedzy Biblijnej A Słowo stało się Ciałem Ewangelia św. Mateusza ETAP MIĘDZYSZKOLNY 15 kwietnia 2015 r.

Dalszy ciąg rachunku zdań

Wstęp do logiki. Klasyczny Rachunek Predykatów I

Formularz zgłoszeniowy Przykłady dobrych praktyk w edukacji Dzielimy się doświadczeniami

Skala Postaw Twórczych i Odtwórczych dla gimnazjum

Mały Książę. Antoine de Saint-Exupéry

Konspekt do wykładu Logika I

Darmowy artykuł, opublikowany na:

Lekcja : Tablice + pętle

Sytuacja zawodowa pracujących osób niepełnosprawnych

Rachunek zdań i predykatów

Metody wnioskowania. Wnioskowanie w przód (ang. forward chaining) Wnioskowanie w tył (ang. Backward chaining) Od przesłanki do konkluzji Np..

O twórczej i nietwórczej Wenie na spotkaniu autorskim z Anną Czerwińską Rydel

Wywiady z pracownikami Poczty Polskiej w Kleczewie

Transkrypt:

Jest to zapis odczytu wygłoszonego na Seminarium Popularyzacji Matematyki działającym na Wydziale Matematyki, nformatyki i Mechaniki Uniwersytetu Warszawskiego, październik 2003. Niezwykły świat pana Smullyana Justyna CHĄDZYŃSKA, Warszawa Raymond Smullyan to znany matematyk i logik, profesor filozofii na Uniwersytecie ndiana, emerytowany profesor City University of New York. Cieszy się sławą najlepszego na świecie twórcy zagadek i najzabawniejszego logika, jaki kiedykolwiek żył. Jest autorem wielu zbiorów łamigłówek i paradoksów logicznych. Ma w swym dorobku również eseje filozoficzne i zbiory aforyzmów. Książki: Jaki jest tytuł tej książki?, Dama czy tygrys oraz Szatan, Cantor i nieskończoność łączy bardzo wiele. Wszystkie są jak powieści matematyczne, pełne zagadek logicznych, osadzonych w bajkowej fabule. Mają też wspólnego bohatera. Jest nim inspektor Craig, który wędruje po niezwykłych krainach i rozmawia z ich niezwykłymi mieszkańcami, odkrywając przy tym ich tajemnice. Niemniej jednak te książki nie stanowią trzech tomów jednej powieści. Każdą z nich można czytać niezależnie, nie tracąc przy tym żadnego wątku. W każdej też poziom trudności zagadek rośnie te z pierwszych rozdziałów są bardzo łatwe, z następnych nieco trudniejsze, a te z ostatnich naprawdę skomplikowane. Aby dowiedzieć się, jakie zagadki proponuje nam Smullyan, spójrzmy na kilka slajdów z podróży inspektora Craiga. Zagadki i małpie sztuczki Tozagadkiztakzwaną długąbrodą znane,alewciążlubiane.sąjednymi z łatwiejszych, ponieważ dotyczą świata, w którym poruszamy się na co dzień, i do którego reguł zdążyliśmy się przyzwyczaić. ch rozwiązanie wymaga sprytu i dlatego noszą nazwę małpie sztuczki. Jaki zysk? Pewien sprzedawca nabył jakiś artykuł za 700 zł, sprzedał za 800 zł, kupił znów za900złisprzedałza1000zł.lenatymzyskał? Odpowiedź: Chociaż na pierwszy rzut oka mogłoby się wydawać, że jest inaczej, to sprzedawca zarobił na tym interesie 200 zł: 100 zł po jednej sprzedaży i100złpodrugiej. Problem dwóch monet Dwiemonetydająłącznie3złote,choćjednaznichniejestzłotówką.Jakto możliwe? Odpowiedź: Druga jest złotówką. Wyspa rycerzy i łotrów Znajdujemy się na wyspie, której każdy mieszkaniec jest albo rycerzem, albo łotrem. Rycerze zawsze mówią prawdę, zaś łotrzy zawsze kłamią. Zagadka 1 SpotykamytrzechmieszkańcówA,B,iC.Każdyznichmożebyćrycerzemalbo łotrem. A i B wygłaszają następujące zdania: A:Bjestłotrem. B:AiCsąosobnikamitegosamegotypu. KimjestC? Rozwiązanie:JeśliAjestrycerzem,toBjestłotremiwtedyCteżjestłotrem. GdyAjestłotrem,toBjestrycerzem,więcCjestosobnikiemtegosamego typu, co A, czyli łotrem. Zatem niezależnie od sytuacji C jest łotrem. Zagadka 2(Przygoda inspektora Craiga) Bawiąc ongiś na wyspie rycerzy i łotrów napotkałem dwóch mieszkańców odpoczywających pod drzewem. Spytałem jednego z nich: Czy któryś z was jest rycerzem? Ten odpowiedział, a ja poznałem, jaka jest odpowiedź na pytanie. Kimjestosoba,doktórejzwróciłemsięzpytaniem?Akimjesttadrugaosoba? 43

Rozwiązanie: Gdyby zapytany mieszkaniec odpowiedział: Tak, to byłyby trzy możliwości: rycerz i łotr, dwaj rycerze albo dwaj łotrzy. Gdyby zaś odpowiedział: Nie, to musiałby być łotrem. Wówczas jego wypowiedź, że żaden nie jest rycerzem, byłaby kłamstwem, czyli jego towarzysz musiałby być rycerzem. Zatem, skoro Craig poznał kim są ci dwaj mieszkańcy, to na zadane pytanie musiał usłyszeć odpowiedź nie. Odczasudoczasunawyspierycerzyiłotrówpojawiająsięteżzwykliludzie, którzy niekiedy mówią prawdę, a niekiedy kłamią. Zagadka 3 Mamytrzechosobników A,BiC zktórychjedenjestrycerzem,jeden łotrem, a jeden zwykłym człowiekiem. Wygłaszają oni następujące zdania: A: Jestem zwykłym człowiekiem. B: To prawda. C: Nie jestem zwykłym człowiekiem. KimsąA,BiC? Rozwiązanie: A nie jest rycerzem, bo rycerz nie mógłby powiedzieć, że jest zwykłym człowiekiem, gdyż to byłoby nieprawdą. Gdyby więc A był zwykłym człowiekiem,tobmusiałbybyćrycerzem,awtedyc łotrem.zdaniełotrac byłoby prawdziwe, doszliśmy do sprzeczności. W takim razie A jest łotrem, B zwykłym człowiekiem, a C rycerzem. to się rzeczywiście zgadza. Alicja w Lesie Zapomnienia Gdy Alicja ze znanej powieści Lewisa Carrolla weszła do Lasu Zapomnienia, nie zapomniała wszystkiego; zapomniała tylko pewne rzeczy. Często zapominała swoje imię, a najczęściej zdarzało jej się zapomnieć, jaki jest dzień tygodnia. Otóż w lesie tym często pojawiali się Lew i Jednorożec. Są to dziwne stworzenia. Lew kłamie w poniedziałki, wtorki i środy, a w pozostałe dni tygodnia mówi prawdę. Jednorożec natomiast kłamie w czwartki, piątki i soboty, lecz w pozostałe dni tygodnia mówi prawdę. Zagadka 1. Pewnego dnia Alicja spotkała Lwa i Jednorożca, odpoczywających pod drzewem. Wygłosili oni następujące zdania. Lew:Wczorajbyłjedenzdni,wktórekłamię. Jednorożec: Wczoraj był jeden z dni, w które ja również kłamię. Z tych dwóch zdań Alicja potrafiła wydedukować, jaki był dzień tygodnia. Jaki to był dzień? Rozwiązanie: Lew może powiedzieć, że wczoraj kłamał tylko w czwartek i w poniedziałek. Jednorożec może to powiedzieć tylko w czwartek i niedzielę. Zatem obaj mogli powiedzieć te zdania tylko w czwartek. Zagadka 2. W jakie dni tygodnia Lew może wygłosić następujące zdania: (1) Wczoraj kłamałem. (2) Jutro znów będę kłamał. Rozwiązanie: Lew może powiedzieć, że wczoraj kłamał tylko w czwartek i poniedziałek. Lew może zaś powiedzieć, że jutro będzie kłamał tylko wniedzielęiśrodę.zatemniemadnia,wktórymógłbywygłosićobatezdania. Zagadka 3. W jakie dni tygodnia Lew może wygłosić następujące zdanie: Wczoraj kłamałem i jutro znów będę kłamał.? Rozwiązanie: To zdanie byłoby prawdziwe tylko we wtorek, ale wtedy Lew kłamie, więc go nie powie. Jeśli to zdanie jest nieprawdziwe, to oznacza: wczoraj kłamałem lub jutro nie będę kłamał. To zdanie Lew mógł wypowiedzieć zarówno w poniedziałek, jak i we środę. Widzimy zatem, że wbrew pozorom ta zagadka znacząco różni się od poprzedniej. 44

Damy czy tygrysy? Pewien król, inspirowany opowiadaniem Franka Stocktona Dama czy tygrys?, postanowił wypróbować swoich więźniów. Mają oni wybierać między pokojami,wktórychmogąbyćdamyalbotygrysy.król,niechcączdawaćsięna przypadek, postanowił, że za każdym razem umieści na drzwiach napisy i ujawni więźniowi pewne fakty dotyczące tych napisów. Wtedy więzień potrafiący logicznie myśleć, nie tylko ocali życie, ale też zdobędzie piękną narzeczoną. Próba pierwsza Król wskazał na napisy na drzwiach dwóch pokojów: WTYMPOKOJUJEST DAMA,AWTAMTYM POKOJU JEST TYGRYS WJEDNYMZTYCH POKOJÓW JEST DAMA WJEDNYMZTYCH POKOJÓW JEST TYGRYS Czy napisy mówią prawdę? spytał więzień. Jeden z nich jest prawdziwy, lecz drugi fałszywy odparł król. Które drzwi powinien otworzyć więzień? Rozwiązanie: Gdyby drugi napis był fałszywy, to w obu pokojach byłyby damy albo w obu pokojach byłyby tygrysy. Ale wtedy pierwszy napis również byłby fałszywy. Wnioskujemy stąd, że drugi napis jest prawdziwy, a pierwszy fałszywy. Tozkoleioznacza,iżwpierwszympokojuznajdujesiętygrys,awdrugim dama. Zatem więzień powinien otworzyć drugie drzwi. Więźniom udało się szczęśliwie pokonać kilka kolejnych prób i tak doszli do próby szóstej. Tym razem król postanowił nieco utrudnić im zadanie. Próba szósta Król wyjaśnił, że tym razem obowiązują inne zasady: jeśli w pokoju po lewej stronie()jestdama,tonapisnadrzwiachjestprawdziwy,zaśjeślijestwnim tygrys, to napis jest fałszywy. NE MA ZNACZENA, KTÓRY POKÓJ WYBERZESZ DAMA JEST W PERWSZYM POKOJU Wpokojupoprawejstronie()przeciwnie:jeślijestwnimdama,tonapisjest fałszywy, a jeśli tygrys, to prawdziwy. Które drzwi powinien otworzyć więzień tym razem? Rozwiązanie: Gdyby w pierwszym pokoju była dama, to napis byłby prawdziwy i oznaczałby, że w drugim pokoju też jest dama. Ale wtedy drugi napis musiałby być fałszywy, a to znaczyłoby, że w pierwszym pokoju nie ma damy, wbrew wcześniejszemu założeniu. A co, jeśli w pierwszym pokoju nie ma damy? Wówczas pierwszy napis jest fałszywy, a więc i ma znaczenie, który pokój wybierze więzień. Zatem w drugim pokoju musi być dama i wszystko się zgadza, bo teraz faktycznie drugi napis jest nieprawdziwy. Więzień i tym razem powinien otworzyć drugie drzwi. W następnych próbach więźniom znów się powiodło, toteż król postanowił dołączyć dla utrudnienia trzeci pokój. Próba jedenasta(wybór pierwszy, drugi i trzeci) Król wyjaśnił więźniowi, że w tej próbie w jednym z trzech pokojów znajduje się dama,wdrugimtygrys,atrzecijestpusty.napisnadrzwiachpokojuzdamą jest prawdziwy, napis na drzwiach pokoju z tygrysem jest fałszywy, zaś napis na drzwiach pokoju pustego może być prawdziwy albo fałszywy. A oto napisy: POKÓJ JEST PUSTY 45 TYGRYS JEST WTYMPOKOJU TEN POKÓJ JEST PUSTY

Więzień poznał już damę i bardzo chciałby ją poślubić, dlatego zależy mu na znalezieniu jej, a nie tylko na ocaleniu życia. Który pokój powinien wybrać? Rozwiązanie: Łatwo zauważyć, że w trzecim pokoju nie ma damy, a wpierwszymniematygrysa.zatemdamyniemateżwdrugimpokoju,bo napis na jego drzwiach jest fałszywy. W takim razie dama jest w pierwszym pokoju, tygrys w drugim, a trzeci pokój jest pusty. nspektor Craig odwiedza Transylwanię Transylwanię zamieszkują wampiry, które zawsze kłamią oraz ludzie, którzy zawsze mówią prawdę. Ale połowa mieszkańców jest obłąkana i żywi całkowicie złudne przeświadczenia zdania prawdziwe uznają za fałszywe, a zdania fałszywe za prawdziwe. Podsumowując, zdrowi ludzie i obłąkane wampiry wygłaszają wyłącznie zdania prawdziwe, natomiast obłąkani ludzie i zdrowe wampiry wygłaszają jedynie zdania fałszywe. Przypadek Anny i Marii Anna i Maria to siostry, z których jedna jest człowiekiem, a druga wampirem. Craig musiał określić, która jest wampirem. Pamiętajmy jednak, że nic nie było wiadomo o ich zdrowiu. Oto przebieg badania: Craig(zwracającsiędoAnny):Powiedzmicośosobie. Anna: Obie jesteśmy obłąkane. Craig(zwracając się do Marii): Czy to prawda? Maria: Oczywiście, że nie! Na podstawie tych odpowiedzi Craig był w stanie wskazać, która z sióstr jest wampirem. Mianowicie która? Odpowiedź: Anna jest wampirem, a Maria człowiekiem. Przypadek Karola i Marty Drakulów KaroliMartatobliźnięta,októrychzgórybyłowiadomonietylko,żejedno jest człowiekiem, a drugie wampirem, ale również, że jedno jest zdrowe, a drugie obłąkane. Craig nie miał jednak pojęcia, kto jest kim. A oto ich wypowiedzi: Karol: Moja siostra jest wampirem. Marta: Mój brat jest obłąkany. Które z nich jest wampirem? A które jest obłąkane? Odpowiedź: Karol jest zdrowym wampirem, a Marta obłąkanym człowiekiem. Przypadek Jerzego i Glorii Gurescu Jerzy i Gloria są małżeństwem. W Transylwanii prawo nie zezwala na małżeństwa mieszane, więc albo oboje są wampirami, albo oboje są ludźmi. Craig: Powiedzcie mi coś o sobie. Gloria: Wszystko, co mówi mój mąż, jest prawdziwe. Jerzy: Moja żona jest obłąkana. Choć uwaga męża nie wydała się Craigowi nadto elegancka, to te dwie odpowiedzi wystarczyły mu do wyjaśnienia sytuacji. Czy jest to para ludzi, czy wampirów? Odpowiedź: Oboje są wampirami. Wyspa pytaczy Ta bardzo dziwna wyspa czerpie swą nazwę stąd, że jej mieszkańcy nigdy nie wygłaszają twierdzeń. Oni tylko pytają. Zadają tylko takie pytania, na które można odpowiedzieć tak lub nie. Wśród mieszkańców wyróżnia się dwa typy. Mieszkańcy typu A zadają tylko pytania, na które trzeba odpowiedzieć tak, żeby odpowiedzieć właściwie; mieszkańcy typu B zadają wyłącznie pytania, na które trzeba odpowiedzieć nie, by odpowiedzieć właściwie. Zagadka 1. Załóżmy,żespotykamytubylca,którypyta: CzyjanależędotypuB? Co można o nim wywnioskować? Rozwiązanie: Gdyby odpowiedź na to pytanie była twierdząca, to mieszkaniec byłby typu A, więc dochodzimy do sprzeczności. Gdyby zaś była przecząca, to 46

mieszkaniec musiałby reprezentować typ B, ale jednocześnie by temu zaprzeczał, czyli znowu mamy sprzeczność. Żaden tubylec z tej wyspy nie może zadać takiego pytania. Zagadka 2. Załóżmy, że spotykamy tubylca, który pyta: Czy należę do takiego typu, że mogę zadać pytanie, które teraz zadaję? Czy można coś o nim wywnioskować? Rozwiązanie: Tubylec zadał to pytanie, a więc mógł je zadać. Odpowiedź na pytanie jest twierdząca, zatem należy on do typu A. Czytając książki Smullyana, możemy jeszcze rozwikłać tajemnice szkatułek Porcji, odwiedzić Wyspę Snów, Wyspę Baala czy Wyspę Kukieł, na których nie zabraknie nowych atrakcji i okazji do logicznego myślenia. Możemy również wraz z inspektorem Craigiem rozwiązać tajemnicę szyfrowego zamka sejfu wmontecarlo.taostatniaczęśćwprowadzawteorięautomatów,awkońcu doprowadza do wielkiego twierdzenia Gödla o nierozstrzygalności. Ponadto, wraz z czarnoksiężnikiem bohaterem książki Szatan, Cantor i nieskończoność, możemy odbyć wycieczkę po nieskończoności i dowiedzieć się na czym polegały odkrycia Georga Cantora. Miłośników gry w szachy zainteresuje też pewnie jeszcze inna książka Smullana Zagadki szachowe Sherlocka Holmesa. Nasuwa się pytanie, czy Smullyan popularyzuje matematykę, czy te pełne tajemnic i bajkowych stworów powieści mają coś wspólnego z formalną logiką? Można przecież rozwiązywać zawarte w nich zagadki, nie wiedząc nic o prawach logiki, a posługując się wyłącznie zdrowym rozsądkiem. Z drugiej strony znajomość tych praw niekiedy bardzo ułatwia zadanie. Weźmy chociażby taką zagadkę: Przypadek głupiego obrońcy Pewnego człowieka sądzono za udział w rabunku. Oskarżyciel i obrońca wygłosili następujące zdania. Oskarżyciel: Jeśli oskarżony jest winny, to ma on współwinnego. Obrońca: To nieprawda! Dlaczego była to najgorsza rzecz, jaką mógł powiedzieć obrońca? Wprawne oko matematyka od razu zauważy, że obrońca, mimo szczerych chęci, zaprzeczył implikację, a więc wyraził, że: Oskarżony jest winny i nie ma współwinnego. Stąd wniosek, że choć książki Smullyana niekoniecznie uczą praw logiki, to mogą je w pewien sposób ilustrować i przybliżać dzięki osadzeniu w jakiejś, co prawda oryginalnej, rzeczywistości. 47