Att håna en Mockingbird

Att håna en Mockingbird och andra logiska pussel: Inkludera ett fantastiskt äventyr i kombinationslogik
Författare	Raymond Smullyan
Land	Förenta staterna
Språk	engelsk
Utgivare	Knopf
Publiceringsdatum	1985
Mediatyp	Skriv ut ( Pocketbok )
Sidor	246
ISBN	0-19-280142-2
OCLC	248314322

To Mock a Mockingbird and Other Logic Puzzles: Inclusive an Amazing Adventure in Combinatory Logic (1985, ISBN 0-19-280142-2 ) är en bok av matematikern och logikern Raymond Smullyan . Den innehåller många icke-triviala rekreationspussel av den sort som Smullyan är välkänd för. Det är också en mild och humoristisk introduktion till kombinatorisk logik och tillhörande metamatematik , byggd på en utarbetad ornitologisk metafor .

Kombinationslogik, funktionellt likvärdig med lambdakalkylen , är en gren av symbolisk logik som har den uttrycksfulla kraften som mängdteorin , och med djupa kopplingar till frågor om beräkningsbarhet och bevisbarhet . Smullyans utläggning tar formen av en imaginär berättelse om två män som går in i en skog och diskuterar de ovanliga "fåglar" (kombinatorer) de hittar där (fågelskådning var en hobby för en av grundarna av kombinatorisk logik, Haskell Curry, och en annan grundare Moses Schönfinkels namn betyder vacker fågel). Varje fågelart i Smullyans skog står för en speciell typ av kombinator som förekommer i den konventionella behandlingen av kombinatorisk logik. Varje fågel har ett distinkt rop, som den avger när den hör en annan fågels rop. Följaktligen ger ett första rop av vissa "fåglar" upphov till en kaskadsekvens av rop av en följd av fåglar.

Djupt inne i skogen bor Mockingbird, som imiterar andra fåglar som hör sig själva. Den resulterande kaskaden av samtal och svar liknar abstrakta datormodeller . Med denna analogi i handen kan man utforska avancerade ämnen i den matematiska teorin om beräkningsbarhet , som Church–Turings beräkningsbarhet och Gödels teorem .

Medan boken börjar med enkla gåtor, övergår den så småningom till en berättelse om inspektör Craig från Scotland Yard, som förekommer i Smullyans andra böcker; resa från skog till skog, lära sig av olika professorer om alla olika sorters fåglar. Han börjar i en viss förtrollad skog, går sedan till en icke namngiven skog, sedan till Curry's Forest (uppkallad efter Haskell Curry), sedan till Russell's Forest, sedan till The Forest Without a Name, sedan till Gödels skog och slutligen till The Master Forest. där han också svarar på The Grand Question.

Se även

externa länkar

Keenan, David C. (2001) " To Dissect a Mockingbird. "
Rathman, Chris, " Kombinatorfåglar. "