Professional Documents
Culture Documents
Ahölgyvagy
a tigris?
és egyéblogikaifeladatok
J, 1
■
i ,.../
1
}
lJ
"'
,, .1
-=t-L s,10
~tele8pé!4ánr. s Cg
A mü eredeti címe:
'Aa. ÁAOg_E>
Raymond Smullyan: The La.dy or the Tiger?
and Other Logical Puzzles
Copyright© 1982 by Raymond Smullyan
This tra.nslation published by a.rrangement with
Alúed A. Knopf, Inc.
ETO: 7557 5
ISBN: 963 7546 01 4
Előszó 5
Első rész A hölgy vagy a tigris 9
1. Fejtörők
- régiek és újak 11
Megoldások 17
2. Hölgyek vagy tigrisek? 22
Megoldások 32
3. Kátrány doktor és Toll professzor
elmegyógyintézete 37
Megoldások 43
4. Craig felügyelő Erdélybe látogat 53
Megoldások 61
Második rész Rejtvények
és metarejt vények 69
5. Kérdezők szigete 71
Mego_ldások 77
6. Álmok szigete 86
Megoldások 91
7. Metarejtvények 99
Megoldások 103
Harmadik rész A monte-carlói zár
rejtélye 109
8. A monte-carlói zár rejtélye 111
9. Egy különös gép 11·7
Megoldások 125
10. Craig törvénye 132
Megoldások 146
11. Fergusson törvénye 152
Megoldások 159
12. Közjáték: általánosítsunk! 163
Megoldá!iok 166
13. A kulcs 168
Megoldások 171
Negyedik rész Megoldható
vagy .megoldhatatlan? 177
14. Fergusson logikai gépe 179
Megoldások 188
15. Bizonyíthatóság fos igazság 190
Megoldások 199
16. Gépek, amelyek önmagukról
beszélnek 203
Megoldások 211
17. Halandó
és halhatatlan számok 218
Megoldások 222
18. A gép, amely sosem készült el 226
Megoldások 230
19. Leibniz álma 232
Előszó
Raymond Smullyan
5. Háziállatok etetése
Tanulságos vonása ennek a rejtvénynek, hogy bár könnyen
megoldható elemi algebrai módszerekkel, megoldható
egyenletek nélkül is, pusztán józan ésszel. Sőt, mi több, az
utóbbi megoldás véleményem szerint sokkal érdekesebb,
tartalmasabb, és persze kreatívabb, mint az algebrai meg-
oldás.
Ötvenhat kekszet osztanak szét tíz háziállat között.
Az állatok mindegyike vagy kutya, vagy macska. Minden
kutya hat kekszet kap, a macskák pedig ötöt.
Hány kutyával és hány macskával van dolgunk?
Algebrában jártas olvasó könnyen megkaphatja az
eredményt. Ezen kívül a feladat szisztematikus próbálga-
tással is megoldható: a macskák számára nézve tizenegy
lehetőség van (nulla és tíz között), így minden lehetőséget
kipróbálhatunk, amíg meg nem találjuk a helyes választ.
De ha megfelelő megvilágításban nézzük a feladatot, van
egy meglepően egyszerű megoldása, ami sem algebrát,
sem próbálgatást nem tartalmaz. Ezért azt javaslom,
hogy még azok is nézzék meg az én megoldásomat, akik
egyébként saját eszközeikkel megoldották a feladatot.
6. Nagy madarak és kis madarak
Íme még egy feladat, amely akár algebrával, akár józan
ésszel megoldható, és nekem most is jobban tetszik a
józan ésszel történő megoldás.
Egy állatkereskedésben kis és nagy madarak kapha-
tók. A nagy madarak ára kétszerese a kis madarak árá-
nak. Bejön egy hölgy, aki öt nagy madarat és három kicsit
vásárol. Ha ehelyett három nagy madarat és öt kicsit
vásárolt volna, 20 dollárral kevesebbet költött volna.
Mennyibe kerültek a madarak?
1. Fejtörők - régiek &, újak 13
7. A szórakozottság hátrányai
A következő eset való~an megtörtént:
Közismert tény, hogy egy legalább 23 emberből álló
társaság esetén 50 százaléknál nagyobb az esélye annak,
hogy van közülük legalább kettő, akinek ugyanarra a nap-
ra esik a születésnapja. Egyszer egy egyetemi matemati-
kus évfolyamot tanítottam Princetonban. Vettem velük
egy kis elemi valószínűségszámítást is. Elmagyaráztam,
hogy ha 23 helyett 30 emberrel számolunk, akkor igen
nagy lesz annak esélye, hogy legalább kettőnek egyszerre
van a születésnapja.
„Itt és most - folytattam-, mivel csak tizenkilenc
hallgató van az évfolyamon, ötven százaléknál sokkal ki-
sebb az esélye annak, hogy van önök között két ember,
akinek ugyanazon a napon van a születésnapja."
Ekkor az egyik hallgató jelentkezett, és ezt mondta:
,,Én fogadni mernék, hogy van köztünk legalább két em-
ber, akinek ugyanakkor van a ·születésnap ja."
„Nem lenne tisztességes, ha fogadnék - válaszoltam
- hifzen a valószínűségek erősen nekem kedveznek."
,,Nem számít - mondta a hallgató. - Akkor is fo-
gadjunk!"
„Rendben van" - mondtam, arra gondolva., hogy
most kap az illető egy jó kis leckét. Aztán sorban meg-
kértem a hallgatókat, hogy mondják meg, mikor van a
születésnapjuk. Körülbelül .a felénél tartottunk, amikor
belőlem is és az évfolyamból is kitört a nevetés, butasá-
gom láttán.
A fiú, aki olyan magabiztosan ajánlott fogadást, asa-
játján kívül egy jelenlevőnek sem tudta a születésnapját.
Rájön -e, mitől volt az illető olyan magabiztos?
14 A hölgy vagy a tigris?
8. Republikánusok és demokraták
Egy társaságnak minden tagja vagy republikánus, vagy
demokrata volt. Egy napon az egyik demokrata elhatá-
rozta, hogy republikánussá válik. Miután ez megtörtént,
a republikánusok száma megegyezett a demokratákéval.
Néhány héttel később ez az új republikánus elhatározta,
hogy mégis inkább demokrata lesz, így visszaállt az ere-
deti állapot. Később egy másik republikánus is úgy dön-
tött, hogy demokratává válik, aminek következtében a
demokraták száma kétszerese lett a republikánusokénak.
Hány tagú volt a társaság?
9. Egy régi rejtvény új megfogalmazásban
Három ember - A, B és C - mindegyike tökéletes
logikával gondolkozik. Mindnyájan le tudják vonni az
összes lehetséges következtetést bármilyen premisszából.
Mindnyájan tisztában vannak azzal is, hogy a többiek is
hibátlanul okoskodnak. Megmutatnak nekik hét bélyeget:
két pirosat, két sárgát és három zöldet. Ezután bekötik a
szemüket, és a homlokukra ragasztanak egy-egy bélyeget;
a megmaradt négy bélyeget pedig eldugják egy fiókba.
Miután eltávolítják a szemükről a kötést, megkérdezik
A-tól: ,,Tud mondani egy olyan színt, ami biztosan, nem
az öné?" A válasza: ,,Nem" Ezután felteszik ugyanezt a
kérdést B-nek, és ő is „Nem"-et válaszol.
Meg lehet mondani ezek alapján, hogy milyen színű
volt-A bélyege, vagy B-é, vagy C-é?
10. Azok számára, akik tudnak sakkozni
Szeretném felhívni a figyelmüket sakkfeladványok egy ér-
dekes csoportjára, amely a hagyományos sakkrejtvények-
kel ellentétben - ahol világos lép és valahány lépésben
mattot ad - az állás előtörténetének elemzését igényli:
azaz hogyan jöhetett létre ez az állás.
1. Fejtörők - régiek és újak 15
MEGOLDÁSOK
1.
A szokásos rossz válasz: 10 dollár. Tegyük fel mármost,
hogy mindkettőnknek 50 dollárja volt. Ha én ekkor 10
dollárt adtam volna önnek, akkor most 60 dollárja lenne,
nekem pedig csak 40, így önnek nem 10, hanem 20 dol-
lárral lenne többje. A helyes válasz 5 dollár.
2.
Egy meglehetősen gyakori válasz, hogy 50 tisztességes és
50 tisztességtelen. Egy másik elég gyakori válasz, hogy 51
tisztességes és 49 tisztességtelen. Mindkét válasz rossz!
Nézzük most a helyes megoldást:
Tudjuk, hogy van legalább egy tisztességes embe-
rünk. Válasszunk ki egy tisztességes embert a társaság-
ból, akinek a neve, mondjuk Frank. Ezután válasszunk ki
egy másik valakit a maradék 99 ember közül, mondjuk
Johnt. A második feltétel szerint a két ember - Frank
és John - közül legalább az egyik tisztességtelen. Mivel
Frank nem tisztességtelen, ez csak John lehet. Mivel John
bárki lehet a maradék 99 ember közül, mind a 99-nek
tisztességtelennek kell lennie. Vagyis az a válasz, hogy
egy tisztességes és 99 tisztességtelen.
Egy másik bizonyítás: Az az állítás, hogy bármelyik
kettő közül legalább az egyik tisztességtelen, sem többet,
sem kevesebbet nem mond, mint hogy két adott ember
esetén nem lehet mindkettő tisztességes. Más szavakkal:
nincs két tisztességes ember. Ez azt jelenti, hogy legfel-
jebb az egyik ember tisztességes . Azt is tudjuk ( első fel-
tétel), hogy legalább egy ember tis .~ Tehát pon-
tosan egy tisztességes. .::::,~
t. ~·, .
3.
A szokásos rossz válasz 1 dollár. Ha a palack tényleg 1
dollár lenne, akkor a bor, mivel 9 dollárral kerül többe,
mint a palack, 10 dollárt érne. Ekkor a bor és a palack
együttesen 11 dollárba kerülne. A helyes válasz az, hogy
a palack fél dollár, a bor pedig 9,5 dollár. Ezek összege
10 dollár.
4.
Vannak, akik így okoskodnak: Miután 7 dollárért megvet-
te és 8 dolláráért eladta, volt 1 dollár nyeresége. Ezután,
mivel 9 dollárért vásárolta vissza azt, amit 8-ért adott
el, vesztett egy dollárt, így ekkor éppen a pénzénél van.
Ekkor viszont azzal, hogy 10 dollárért adta el azt, amit
9-ért vásárolt, megint 1 dollár haszonra tett szert, tehát
összesen 1 dollár volt volt a nyeresége.
Egy másik gondolatmenet szerint a kereskedönek sem
haszna, sem kára nem volt az üzleten. Amikor 8 dollárért
adta el azt, amit 7-ért vett, szert tett 1 dollár haszon-
ra. Ezután viszont 2 dollárt veszített, amikor 9 dollárért
vásárolta vissza azt, ami eredetileg 7 dollárba került, így
ekkor 1 dollár vesztesége volt. Ezt az egy dollárt kapta
vissza, amikor 10 dollárért adta el azt, amiért ö utoljára
9 dollárt fizetett; így végül a pénzénél maradt.
Mindkét okoskodás rossz, a helyes válasz az, hogy a
kereskedönek 2 dollár nyeresége volt. Ezt sokféleképpen
beláthatjuk, egy lehetőség a következő: Először is, miután
8 dollárért adta el azt, amit 7-ért vett, nyilvánvalóan
volt 1 dollár nyeresége. Most képzeljük el, ahelye\t, hogy
ugyanazt az árut vásárolta volna meg 9, majd adta volna
el 10 dollárért, valami mást vett meg 9 dollárért, és azt
adta el 10-ért. Különbözne ez az eset bármiben is az
eredetitöl, ha tisztán csak gazdaságossági szempontból
nézzük? Természetesen nem! Ekkor viszont a második áru
megvételéböl és eladásából nyilvánvalóan újabb 1 dollár
nyeresége lett volna. Vagyis 2 dollár nyeresége volt.
1. Fejtörők - régiek és újak 19
Az első nap
Az első napon három rabot tettek próbára. Mindhármuk-
nak elmagyarázta a király, hogy a két szoba mindegyiké-
ben vagy egy hölgy, vagy egy tigris található. Az is lehet,
hogy mindkettőben tigris van, az is, hogy mindkettőben
hölgy, és persze az is, hogy az egyikben hölgy, a másikban
tigris.
11. Az első rab
,,Tegyük fel, hogy mindkét szobában tigris található -
mondta a rab. - Akkor mi van?"
,,Akkor peched van!" - válaszolta a király.
2. Hölgyek vagy tigrisek? 23
I. II.
EBBEN A EGYIK SZOBÁBAN
SZOBÁBAN HÖLGY HÖLGY VAN, A
VAN, A MÁSIKBAN MÁSIKBAN PEDIG
PEDIG TIGRIS TIGRIS
1. II.
LEGALÁBB AZ A MÁSIK SZOBÁBAN
EGYIK SZOBÁBAN TIGRIS VAN
HÖLGY VAN
1. II.
EBBEN A SZOBÁBAN A MÁSIK
TIGRIS VAN, VAGY A SZOBÁBAN
MÁSIK SZOBÁBAN HÖLGY VAN
HÖLGY VAN
A második nap
,,A tegnapi nap fiaskó volt - mondta a király miniszte-
rének. - Mindhárom rab megoldotta a maga rejtvényét!
No de sebaj, ma öt rabot teszünk próbára. Megpróbálom
az ö dolgukat egy kicsit megnehezíteni."
2. Hölgyek vagy tigrisek? 25
1. II.
MINDKÉT MINDKÉT
SZOBÁBAN HÖLGY SZOBÁBAN HÖLGY
VAN VAN
1. II.
LEGALÁBB AZ A MÁSIK SZOBÁBAN
EGYIK SZOBÁBAN HÖLGY VAN
HÖLGY VAN
•
26 A hölgy vagy a tigris?
1. II.
MINDEGY, MELYIK A MÁSIK SZOBÁBAN
SZOBÁT HÖLGY VAN
VÁLASZTOD
1. II.
NEM MINDEGY, JOBBAN JÁRSZ, HA A
MELYIK SZOBÁT MÁSIK SZOBÁT
VÁLASZTOD VÁLASZTOD
1.
EBBEN A
SZOBÁBAN
TIGRIS VAN
II.
MINDKÉT
SZOBÁBAN
TIGRIS VAN
A harmadik nap
„Az ördög vigye el! - mondta a király. - Megint minden
rab nyert! Azt hiszem, holnap három szoba lesz kettő
hdyett. Az egyikbe hölgyet fogok költöztetni, a másik
kettőbe pedig tigrist. Aztán majd meglátjuk, hogyan bol-
dogulnak a rabok!"
,,Nagyszerű ötlet!" - válaszolta a miniszter.
28 A hölgy vagy a tigris?
1. II. III.
EBBEN A EBBEN A A MÁSODIK
SZOBÁBAN SZOBÁBAN SZOBÁBAN
TIGRIS VAN HÖLGY VAN TIGRIS VAN
1. II. III.
AII. EBBEN A AZ 1.
SZOBÁBAN SZOBÁBAN SZOBÁBAN
TIGRIS VAN TIGRIS VAN TIGRIS VAN
I. II. III.
A III. AZ I. EZA
SZOBA SZOBÁBAN SZOBA
ÜRES TIGRIS VAN ÜRES
A negyedik nap
1. II. III.
A HÖLGY EZA AZV.
EGY SZOBA FELIRAT
PÁRATLAN ÜRES IGAZ, VAGY
SORSZÁMÚ A VII.
SZOBÁBAN FELIRAT
VAN HAMIS
IV. V. VI.
AZ 1. A 11, VAGY A A Ill.
FELIRAT IV. FELIRAT FELIRAT
HAMIS IGAZ HAMIS
MEGOLDÁSOK
11.
Tudjuk, hogy az egyik felirat igaz, a másik hamis. Lehet-
séges, hogy az első igaz, a második hamis? Természetesen
nem, mert ha az első igaz lenne, akkor a második is igaz
lenne, hiszen ha az első szobában hölgy van, és a máso-
dik szobában tigris, akkor nyilvánvaló, hogy az egyikben
hölgy van, a másikban tigris. Mivel nem lehetséges, hogy
az első felirat igaz, és a második hamis, a másodiknak
kell igaznak és az elsőnek hamisnak lennie. Ha viszont
a második felirat igaz, akkor tényleg hölgy van az egyik
szobában, tigris a másikban. De mivel az első felirat ha-
mis, a tigris van az első, és a hölgy a második szobában.
Így a rabnak ajánlatos a második szobát választania.
12.
Ha a második felirat hamis lenne, akkor az első szobában
hölgy volna, vagyis legalább az egyik szobában hölgy vol-
na, ami azt jelentené, hogy az első felirat igaz. Az t.ehát
nem lehetséges, hogy mindkét felirat hamis. Ezek szerint
mindkét felirat igaz (mivel tudjuk, hogy vagy mindkettő
igaz, vagy mindkettő hamis). Tehát az első szobában tig-
ris van, a második szobában hölgy, így a rabnak megint
a második szobát kell választania.
13.
A király bizonyára igen nagylelkű hangulatban volt, mert
ezúttal mindkét szobában hölgy van! Ezt a következőkép
pen bizonyíthatjuk:
Az első felirat lényegében azt mondja, hogy a követ-
kező két lehetőség közül legalább az egyik teljesül: a) az
egyik szobában tigris van, b) a második szobában hölgy
MEGOLDÁSOK 33
16.
Az első felirat lényegében azt mondja, hogy vagy mindkét
szobában hölgy van, vagy mindkettőben tigris - csak
ebben az esetben mindegy, melyiket választjuk.
Tegyük fel, hogy az első szobában hölgy van. Ekkor
az első felirat igaz, ami azt jelenti, hogy a második szobá-
ban is hölgy van. Tegyük fel most, hogy az első szobában
tigris van. Ekkor az első felirat hamis, ami azt jelenti,
hogy a szobák lakói nem egyformák, így a második szo-
bában megint hölgy van. Ezzel bebizonyítottuk, hogy a
második szobában hölgy van, függetlenül attól, mi van az
első szobában. Ha viszont a második szobában hölgy van,
akkor a második felirat hamis , és ezért az első szobában
tigrisnek kell lennie.
17.
Az első felirat lényegében azt mondja, hogy a szobák
lakói különbözőek (az egyik hölgy, a másik tigris), de azt
nem mondja meg, hogy melyik szobában mi van. Ha az
első szobában hölgy van, akkor a felirat igaz, így a másik
szobában tigris van. Másrészt, ha az első szobában tigris
van, akkor az első felirat hamis, ami azt jelenti, hogy a
szobák lakói valójában nem különbözőek, így a második
szobában is tigris van. A második szobában tehát min -
denképp tigris van. Ez azt jelenti, hogy a második felirat
igaz, így az első szobában biztosan hölgy van.
18.
Tegyük fel, hogy a felső felirat - EBBEN A SZOBÁ -
BAN TIGRIS VAN - az első szoba ajtajára való. Ha
a szobában hölgy volna, akkor a felirat hamis lenne, így
ellentmondásra jutnánk a király által elmondott feltéte-
lekkel. Ha tigris volna a szobában, akkor a felirat igaz
lenne, így megint ellentmondásra jutnánk a király felté-
teleivel. A fölső felirat tehát nem lehet az első ajtón, így
MEGOLDÁSOK 35
23.
Be fogjuk bizonyítani, hogy Jones vagy Smith (nem tud-
juk, melyikük) vagy örült orvos, vagy egészséges ápolt
(ezt most sem tudjuk, hogy melyik).
Jones vagy egészséges, vagy örült. Tegyük fel, hogy
egészséges. Ekkor amit hisz, az igaz, vagyis Smith tényleg
orvos. Ha Smith örült, akkor ö őrült orvos. Ha Smith
egészséges, akkor amit hisz, az igaz, ami azt jelenti, hogy
Jones ápolt, méghozzá egészséges ápolt (hiszen feltettük,
hogy Jones egészséges). Ezzel beláttuk, hogy ha Jones
egészséges, akkor vagy ő egészséges ápolt, vagy Smith
örült orvos.
Tegyük fel, hogy Jones örült. Ekkor hiedelme hamis,
vagyis Smith valójában ápolt. Ha Smith egészséges, akkor
ő egészséges ápolt. Ha Smith őrült, akkor hiedelme hamis,
vagyis Jones valójában orvos, méghozzá örült orvos. Ezzel
belát'tuk, hogy ha Jones örült, akkor vagy ö örült orvos,
vagy Smith egészséges ápolt.
Összefoglalva, ha Jones egészséges, akkor vagy ö
egészséges ápolt, vagy Smith őrült orvos, ha pedig Jones
örült, akkor vagy ő örült orvos, vagy Smith egészséges
ápolt.
24.
Sok megoldás lehetséges. Azt hiszem, a legegyszerűbb az,
ha azt mondja: ,,Nem vagyok egészséges orvos". Ekkor a
következőképp bizonyíthatjuk, hogy az illető egy egészsé-
ges ápolt:
Örült orvos nem hiheti azt az igazságot, hogy ö nem
egészséges orvos. Egészséges orvos nem hiheti azt a va-
•1 1 /\ h11lgy vagy a tigris?
25.
Egy megfelelő kijelentés: ,, Őrült ápolt vagyok". Egészsé-
ges ápolt nem hiheti azt a valótlanságot, hogy ö örült
ápolt. Örült ápolt nem hiheti azt az igazságot, hogy ö
örült ápolt. Ezek szerint az illető nem ápolt volt, ha.nem
orvos. Egészséges orvos azonban nem hihetné azt, hogy ö
örült ápolt. Az illető tehát örült orvos, aki abban a hamis
tényben hisz, hogy ö örült ápolt.
26.
Az illető azt hiszi, hogy ápolt. Ha egészséges, akkor igaz,
hogy az, vagyis ö egészséges ápolt, így nem kellene az
intézetben lennie. Ha örült, akkor valótlant hisz, vagyis ö
nem ápolt, hanem orvos, de mivel örült orvos, nem kel-
lene a személyzethez tartoznia. Azt nem lehet eldönt eni,
hogy az illető egészséges ápolt vagy örült orvos, de egyik
esetben sincs az intézetben megfelelő helyen.
27.
Most teljesen más a helyzet! Pusztán abból, hogy az illető
azt mondja, hogy ö azt hiszi, hogy ápolt, nem szükségkép-
pen következik, hogy tényleg azt hiszi, hogy ápolt! Mivel
azt mondja, hogy ö azt hiszi, hogy ápolt, és mivel őszinte,
ö azt hiszi, hogy azt hiszi, hogy ápolt. Tegyük fel, hogy az
illető örült. Ekkor minden hiedelme hamis - még az is,
amit saját hiedelmeiröl hisz - , így abban való hite, hogy
ő azt hiszi, hogy ápolt, azt jelenti, hogy hamisan hiszi,
hogy azt hiszi, hogy ápolt, vagyis valójában azt hiszi,
hogy ő orvos. De mivel az illető örült, és azt hiszi, hog y
ö orvos, csak ápolt lehet. Tehát, ha az illető örült, akkor
MEGOLDÁSOK 45
30.
Az e) megállapítás szerint van egy olyan lakó - ne-
vezzük Arthurnak -, aki megbízik az összes ápoltban,
de nem bízik meg egy orvosban sem. A d) megállapítás
szerint van olyan lakó - nevezzük Billnek-, aki éppen
azokban a lakókban bízik meg, akiknek van legalább egy
olyan tanáruk, akiben Arthur megbízik. Ez azt jelenti,
hogy tetszőleges X lakó esetén, ha Bill megbízik X-ben,
akkor Arthur megbízik X-nek legalább egy tanárában, és
ha Bill nem bízik meg X-ben, akkor J\_rthur nem bízik
meg X egyetlen tanárában sem. Mivel az, hogy Arthur
megbízik valakiben, ugyanazt jelenti, mint az, hogy az il-
lető ápolt (az e) megállapítás szerint), az előző mondatot
átfogalmazhatjuk a következőképpen: tetszőleges X lakó
esetén, ha Bill megbízik X-ben, akkor X-nek legalább az
egyik tanára ápolt, ha pedig Bill nem bízik meg X-ben,
akkor X-nek egyik tanára sem ápolt. Mivel az előbbiek
minden X lakóra igazak, akkor is teljesülnek, ha magát
Billt tekintjük X-nek. Így a következőket tudjuk:
1. Ha Bill megbízik saját magában, akkor Billnek van
legalább egy olyan tanára, aki ápolt.
2. Ha Bill nem bízik meg saját magában, akkor Bill-
nek egyik tanára sem ápolt.
Két lehetőségünk van: Bill vagy megbízik magában,
vagy nem. Nézzük, mi következik az egyes lehetőségekből.
1. eset - Bill megbízik magában: Ekkor Billnek van
legalább egy tanára - nevezzük öt Peternek -, aki á-
polt. Mivel Peter a tanára Billnek, Peter hisz abban, hogy
Bill megbízik saját magában (a e) megállapítás szerint).
És mivel Bill tényleg megbízik saját magában, Peter he-
MEGOLDÁSOK 47
j
MEGOLDÁSOK 51
Az első öt eset
Ezekben az esetekben mindig két lakos szerepel, és tud-
juk, hogy az egyik vámpír, a másik ember, de azt nem
tudjuk, hogy melyikük micsoda lény (vagy lehet, hogy
inkább úgy kellene fogalmaznom, hogy melyikük a cso-
dalény). Az 5. eset (40. feladat) kivételével nem tudunk
semmit az elmeállapotukról sem.
36. Lucy és Minna esete
Az első esetben két nővér szerepel, Lucy és Minna, és
Craignek ki kell derítenie, hogy melyikük a vámpír. Mint
már említettem, egyikük elmeállapotáról sem tudunk sem-
mit. Íme a nyomozás·jegyzökönyve:
Craig (Lucynak ): Mondjon valamit magukról!
Lucy: Mindketten örültek vagyunk.
Craig (Minnának): Igaz ez?
Minna: Természetesen nem!
Ebből Craig mindenkit kielégítő módon be tudta bi-
wnyíta.ni, hogy melyikük a vámpír. Melyikük?
4. Craig felügyelő Erdélybe látogat 55
Ot házaspár
A következö öt eset szereplői házaspárok. Mint tudjuk
(ha Ön eddig nem tudta volna, akkor most megtudja),
Erdélyben tilos embereknek vámpírokkal összeházasodni-
uk, így minden házaspárban vagy mindketten emberek,
vagy mindketten vámpírok. Az első négy feladathoz ha-
sonlóan a szereplők elmeállapotáról semmit nem tudunk.
41. Sylvan és Sylvia Nitrate esete
Feladatcsoportunk első esetének szereplői Sylvan és
Sylvia Nitrate. Mint azt már elmagyaráztam, vagy mind-
ketten emberek, vagy mindketten vámpírok. Íme Craig
kihallgatási jegyzőkönyve:
Craig (Mrs. Nitrate-nek): Mondjon valamit maguk-
ról!
Sylvia: A férjem ember.
Sylvan: A feleségem vámpír .
Sylvia: Egyikünk egészséges, a másikunk nem.
Emberek vagy vámpírok?
42. George és Gloria Globule esete
A következő eset szereplői a Globule-ok.
Craig: Mondjanak valamit magukról!
Gloria: Akármit is mond a férjem, az igaz.
George: A feleségem örült .
4. Craig felügyelő Erdélybe látogat 57
46. A és B esete
Craj.g, miután a végére járt ezeknek a kellemetlen esetek-
nek, megkönnyebbülten kezdte összecsomagolni a holmi-
ját, hogy visszatérjen Londonba, amikor váratlanul be-
rontott hozzá egy erdélyi tisztviselő, könyörögve, hogy
legalább csak egy napig maradjon, és segítsen megoldani
egy frissen felmerült esetet. Craig nem volt különösebben
elragadtatva az ötlettől, de úgy érezte, hogy kötelessége
segíteni, ha tud, így beleegyezett.
Kiderült, hogy az erdélyi rendőrség elkapott két gya-
nús külsejű egyént. Mivel mindketten jelentős személyisé-
gek voltak, Craiget megkérté~, hogy az illetőknek sem a
nevét, sem a nemét ne hozza nyilvánosságra, így én is csak
A-nak és B-nek fogom őket nevezni. Az első tíz esettel
ellentétben most semmiféle kapcsolatról nem tudunk köz-
tük, lehet, hogy mindketten vámpírok, vagy hogy mind-
ketten emberek, és az is lehet, hogy az egyikük vámpír,
a másikuk ember. Lehet, hogy mindketten egészségesek,
vagy hogy mindketten örültek, és az is lehet, hogy egyikük
egészséges, a másikuk örült.
A bírósági tárgyaláson A azt állította, hogy B egész-
séges, B pedig azt, hogy A örült. Ezután A azt állította,
hogy B vámpír, B pedig azt jelentette ki, hogy A ember .
Mit mondhatunk A-ról és B-röl?
4 7. Két erdélyi filozófus
Miután végre ez a hátborzongató bírósági tárgyalás is
végetért, Craig boldogan várakozott egy-erdélyi pályaud-
varon a vonatára, ami kiviszi öt az országból. Már annyi- '
ra szeretett volna megint Londonban lenni! Várakozás
közben felfigyelt két erdélyi filozófus beszélgetésére, akik
hevesen vitatkoztak a következő problémán:
4. Craig felügyelő Erdélybe látogat 59
36.
Lucy állítása vagy igaz, vagy hamis. Ha igaz, akkor tény-
leg mindketten örültek, így Lucy is örült, és az örült er-
délyiek közül csak a vámpírok mondanak igazat. Vagyis,
ha Lucy állítása igaz, akkor Lucy vámpír.
Tegyük most fel, hogy Lucy állítása hamis. Ekkor leg-
alább egyikük egészséges. Ha Lucy egészséges, akkor, rri.i-
vel hazudott, biztosan vámpír (hiszen az egészséges em-
berek mindig igazat mondanak). Tegyük fel, hogy Lucy
örült. Ekkor Minna az, aki egészséges. De ekkor Minna -
ellentmondva Lucy hamis állításának - igazat mondott.
Minna tehát egészsé~es és igazat mondott, így ö ember,
Lucy pedig megint csak vámpír.
Ezzel beláttuk, hogy függetlenül attól, hogy állítása .
igaz, vagy hamis, Lucy a vámpír.
37.
Már megállapítottuk, hogy ha egy erdélyi azt mondja,
hogy ö ember, akkor egészséges, ha pedig azt mondja,
hogy ö vámpír, akkor örült (1. a megoldások előtti észrevé-
telt). Most a Lugosi testvérek közül mindketten embernek
vallják magukat, tehát mindketten egészségesek. Emiatt
az idősebb Béla igazat állít, amikor azt mondja, hogy az
öccse egészséges. Így az idősebb Béla egészséges, és igazat
mond, ezért ö ember. Tehát a fiatalabb Béla a vámpír.
38.
Mivel Michael vámpí_rnak vallja magát, ö örült, éi mivel
Peter embernek vallja magát, ö egészséges. Tehát Michael
örült, Peter pedig egészséges, így a testvérek elmeállapota
nem egyforma. Vagyis Michael második állítása hamis, és
mivel Michael örült, neki embernek kell lennie ( az örült
vámpírok nem tesznek hamis kijelentéseket). Tehát Peter
a vámpír.
MEGOLDÁSOK 63
39.
Apa és fia azonosan válaszolnak az elmeállapotukról fel-
tett kérdésre. Ez azt jelenti, hogy vagy mindketten igazat
mondanak, vagy mindketten hazudnak. De mivel csak
c1,zegyikük ember, a másikuk vámpír, az elmeállapotuk
különböző. Ha mindketten egészségesek lennének, akkor
kettőjük közül az, aki ember, igazat mondana, aki vám-
pír, hazudna, és sosem értenének egyet. Ha mindketten i 1
41.
Most az a helyzet, hogy vagy mindketten vámpírok, vagy
mindketten emberek. Emiatt az első két állítás nem lehet
sem egyszerre igaz, sem egyszerre hamis (mert ha mind-
kettő hamis lenne, é..kkorSylvan vámpír, Sylvia pedig em-
ber lenne). Vagy.is az első két állítás közül az egyik igaz,
a másik hamis. Ez azt jelenti, hogy a két szereplő közül
az egyik egészséges, a másik örült (mert ha mindketten
egészségesek lennének, akkor ha emberek, mindkettőjük
állítása igaz lenne, ha vámpírok, é..kkor mindkettőjük ál-
lítása hamis lenne). Emiatt Sylviának igaza volt abban,
hogy az egyikük egészséges, a másikuk örült. Ezek szerint
Sylvia igazmondó. Igaz tehát az az állítása, hogy a férje
ember. Ez azt jelenti, hogy mindketten emberek (mellé-
kesen Sylvia egészséges, Sylvan örült).
42.
Amikor Gloria azt mondja, hogy bármit is mond a férje,
az igaz, jóváhagyja férjének azt az állítását, miszerint ö
örült. Más szavakkal, Gloria közvetett módon örültnek
vallja magát. Ezt viszont csak vámpírok tudják megtenni
(ahogy ezt a megoldásokat megelőzően bizonyítottuk),
így Gloria vámpír. Tehát mindketten vámpírok.
43.
Tegyük fel, hogy emberek. Ekkor az az állításuk, misze-
rint mindketten vámpírok, hamis, ami azt jelenti, hogy
örült emberek. Ez viszont azt jelentené, hogy az elmeál -
lapotuk tényleg egyforma, vagyis Borisz második állítása
igaz, ami nem lehetséges, ha ö örült ember. Emiatt nem
lehetnek emberek, tehát vámpírok ( méghozzá örült vám-
pírok).
44.
Tegyük fel, hogy emberek. Egészséges ember viszont nem
mondhatja azt magáról és még valakiről, hogy örült, ezért
MEGOLDÁSOK 65
Rejtvények és metarejtvények
5. Kérdezők szigete
50.
Egyszer ellátogattam erre a szigetre, és egy házaspárral
találkoztam, akiket Ethan és Violet Russelnek hívtak.
Hallottam, hogy Ethan megkérdezte valakitől: ,,Violet és
fo egyaránt B típusúak vagyunk?"
Milyen típusú Violet?
72 Rejtvények és metarejtvények
51.
Egy másik alkalommal egy testvérpárra] találkoztam,
akiknek keresztneve Arthur, ill. Robert volt. Arthur egy-
szer megkérdezte Roberttől: ,,Igaz, hogy legalább az egyi-
künk B típusú?"
Milyen típusú Arthur, és milyen Robert?
52.
Legközelebb a Gordon házaspárral találkoztam.
Mr. Gordon ezt kérdezte a feleségétől: ,,Mondd ked- ,
vesem, mi különböző típusúak vagyunk?"
Mi derül ki ebből róluk?
53.
Ezután egy Zorn nevű lakossal találkoztam. Ezt kérdez-
te: ,,Olyan típusú vagyok, aki megkérdezheti, hogy ö B
típusú-e?"
Kiderül-e ebből valami Zornról, vagy olyan helyzetet
írtam le, ami lehetetlen?
54.
A következő történet a komolytalanság határát súrolja.
Találkoztam egy lakossal, aki megkérdezte: ,,Olyan típusú
vagyok-e, aki megkérdezheti azt, amit most kérdezek?"
Kideríthető ebből valami az illetőről?
55.
Legközelebb a Klink házaspárral találkoztam. Mrs. Klink
ezt kérdezte a férjétől: ,,Olyan típusú vagy-e, aki megkér-
dezheti, hogy én A típusú vagyok-e?"
Mi deríthető ki Mr. és Mrs. Klinkröl?
56.
Ezután egy John és Betty Black nevű házaspárral talál-
koztam. Betty megkérdezte Johntól: ,,Olyan típusú vagy,
aki megkérdezheti, hogy legalább egyikünk B típusú-e?"
Miféle John és Betty?
5. Kérdezők szigete 73
Különös találkozás
A következő három beszélgetés volt a legfurcsább azok
közül, amelyeknek a Kérdezők szigetén a tanúja voltam.
A 3. fejezet egyik elmegyógyintézetéből megszökött há-
rom ápolt, aki elhatározta, hogy ellátogat a szigetre.
Emlékezzünk vissza, hogy ezeknek az elmegyógyintéze-
t.eknek minden ápoltja lehet egészséges is és őrült is. Az
1~gészségeseknek minden hiedelme tökéletesen megfelel a
valóságnak, az örültek pedig teljesen hamis hiedelmek
rabjai. Arról se feledkezzünk meg, hogy ezek az ápoltak,
függetlenül attól, hogy egészségesek vagy örültek, mindig
éiszinték, sohasem állítanak olyasmit, amit nem hisznek
igaznak.
58.
A szigetre érkezésük utáni napon az egyik ápolt, akit
Arnoldnak hívtak, összetalálkozott egy szigetlakóval. Az
74 Rejtvények és metarejtvények
Ki a varázsló?
Kalandjaimnak ezen a pontján még mindig nem tud-
tam, hogy Thomas egészséges-e vagy örült, és nem is
volt rá időm, hogy kiderítsem, ugyanis a következő napon
mindhárom ápolt elhagyta a szigetet. Az utolsó hírem az
volt róluk, hogy önként visszatértek abba az intézetbe,
ahonnan megszöktek. Nyilván jól is érezték ott magukat,
hiszen abban mindnyájan egyetértettek, hogy az intéze-
ten kívül még örültebb az élet, mint az intézeten belül.
5. Kérdezők szigete 75
62.
Az első szigetlakót, akivel találkoztam, Arthur Goodnak
hívták. Megkérdezte tőlem: ,,Én vagyok a varázsló?"
Elegendő ez ahhoz, hogy megtudjuk, ki a varázsló?
63.
A következő lakót Bemard Gr~ennek hívták. Megkérdez-
te tőlem: ,,Olyan típusú vagyok, aki megkérdezheti, igaz-e
az, hogy nem én vagyok a varázsló?"
Most már eleget tudunk?
64.
A következő lakos, Charles Mansfield, ezt kérdezte:
„Olyan típusú vagyok, aki megkérdezheti, hogy a varázsló
olyan típusú-e, aki megkérdezheti, hogy én vagyok-e a
varázsló?"
Most már eleget tudunk?
65.
A következő lakost Daniel Mottnak hívták. Megkérdezte:
,,B típusú-e a varázsló?"
Most már eleget tudunk?
66.
A következő lakost Edwin Droodnak hívták. Ezt kérdez-
te: ,,Vajon a varázsló és én egyforma típusúak vagyunk-
e ?"
Heuréka! Most már eleget tudtam ahhoz, hogy meg-
oldjam a rejtélyt!
Ki a varázsló?
67. Ráadás
Milyen detektív Ön? Emlékezzen vissza Thomasra, a szi-
getre látogató ápoltak egyikére. Egészséges vagy örült?
MEGOLDÁSOK 77
MEGOLDÁSOK
48.
Lehetetlen, hogy a sziget valamelyik lakója ezt kérdezze.
Ha egy A típusú lakos kérdezi, hogy „B típusú vagyok?",
akkor a helyes válasz a „Nem" (mivel ö nem B típusú), de
egy A típusú nem tehet fel olyan kérdést, amire a helyes
válasz a „Nem". Tehát A típusú lakos ezt nem kérdezheti.
Ha egy B típusú kérdezi, akkor a helyes válasz az „Igen"
(mivel ö B típusú), de egy B típusú nem tehet fel olyan
kérdést, amire a helyes válasz az „Igen". Tehát B típusú
sem kérdezheti.
49.
Ebből semmire sem következtethetünk. A sziget bárme-
lyik lakója megkérdezheti, hogy ö A típusú-e, hiszen az
illető vagy A típusú, vagy B típusú. Ha A típusú, akkor
a helyes válasz az „A típusú vagyok?" kérdésre az, hogy
,,Igen"', és bármelyik A típusú feltehet olyan kérdést,
amire a helyes válasz az „Igen". Másrészt, ha az illető
B típusú, akkor a kérdésre adott helyes válasz az, hogy
,,Nem", és bármelyik B típusú felteliet olyan kérdést,
amire a helyes válasz a „Nem".
50.
Először Ethan típusát kell kitalálnunk. Tegyük fel, hogy
A típusú. Ekkor kérdésére „Igen" a válasz (mivel az A
típusúak kérdésére „Igen" a helyes válasz), ami azt je-
lenti, hogy Ethan és Violet egyaránt B típusúak. Ebből
az következik, hogy Ethan B típusú, ami ellentmondás,
tehát Ethan nem lehet A típusú, vagyis B típusú. Ha
viszont ő B típusú, akkor a kérdésre adott válasz „Nem",
78 Rejtvények és metarejtvények
56.
Tegyük fel, hogy Betty A típusú. Ekkor kérdésére a he-
lyes válasz az „Igen", vagyis John megkérdezheti, hogy B
típusú-e legalább az egyikük. Ez viszont ellentmondáshoz
vezet: ha John A típusú, akkor nem igaz, hogy legalább az
egyikük B típusú. Így kérdésére a helyes válasz a „Nem"
lenne, ami nem lehetséges egy A típusú kérdező esetében.
Ha John B típusú,. akkor igaz, hogy legalább az egyikük B
típusú. Így a helyes válasz „Igen" lenne, de egy B típusú
nem tehet fel olyan kérdést, amire a helyes válasz „Igen".
Tehát az a feltevésünk, hogy Betty A típusú, ellentmon-
dáshoz vezet, ezért B típusú.
Ha viszont Betty B típusú, akkor kérdésére a helyes
válasz a „Nem". Ez azt jelenti, hogy John nem kérdezheti
meg, hogy B típusú-e legalább az egyikük {nevezetesen
Betty). Mivel ezt nem kérdezheti meg, ő is csak B típusú
lehet.
Vagyis a helyes válasz az, hogy mindketten B típu-
súak.
57.
Legegyszerűbb, ha kisebb lépésekre bontjuk a feladat
megoldását. Először is, könnyen igazolható a következő
két megállapítás:
1. megállapítás: Egy tetszőleges A típusú X lakostól
a sziget egyik lakója sem kérdezheti meg, hogy ő és X
különböző típusú-e.
2. megállapítás: Egy tetszőleges B típusú X lakostól
a sziget bármelyik lakója megkérdezheti, hogy ö és X
különböző típusúak-e.
Az első megállapítást már bizonyítottuk az 52. fel-
adat megoldása során, amikor beláttuk, hogy ha Mrs.
Gordon A típusú lett volna, akkor Mr. Gordon nem kér-
dezhette volna meg, hogy ő és Mrs. Gordon különböző
típusúak-e.
MEGOLDÁSOK 81
60.
Bebizonyítom, hogy amit William elmesélt, az valójában
nem történhetett meg, így William csak örült lehet, ha
azt hiszi, hogy megtörtént.
Tegyük fel, hogy William története igaz, ekkor a kö-
vetkező ellentmondásra jutunk: Ha Thomas egészséges,
akkor állítása igaz, ami azt jelenti, hogy Hal megkérdez-
heti Thomastól, azt hiszi-e, hogy Hal B típusú. De az
58. feladat megoldása szerint ebből az következik, hogy
Thomas örült! Tehát az a feltevés, hogy Thomas egész-
séges, ellentmondáshoz vezet. Tegyük fel, hogy Thomas
örült. Ekkor állítása hamis, így Hal nem kérdezheti meg
Thomastól, azt hiszi-e, hogy Hal B típusú. De amint azt
az 58. feladat megoldásakor láttuk, egy őrülttől bármelyik
szigetlakó megkérdezheti, azt hiszi-e, hogy a kérdező B
típusú; így ismét ellentmondásra jutottunk.
Az ellentmondás feloldása csak úgy lehetséges, hogy
Thomas sosem mondja azt egy szigetlakónak, amit
William kihallgatni vélt, Williám csak képzelte.
61.
Sok ilyen kérdés van, a kedvencem: ,,Olyan típusú va-
gyok-e, aki megkérdezheti, hogy van-e varázsló a szige-
ten?"
Tegyük fel, hogy a kérdező A típusú Ekkor kérdésére
a helyes válasz az „Igen"; az illető megkérdezheti, hogy
van-e varázsló a szigeten. De mivel A típusú, csak akkor
kérdezheti meg, hogy van-e varázsló a szigeten, ha tényleg
van varázsló a szigeten (mert ekkor lesz „Igen" a válasz).
Vagyis, ha a kérdező A típusú, akkor biztos van varázsló
a szigeten.
Tegyük fel, hogy a kérdező B típusú. Ekkor kérdésére
a helyes válasz a „Nem", ami azt jelenti, hogy az illető
nem kérdezheti meg, van-e varázsló a szigeten. Ha viszont
nem volna varázsló a szigeten, akkor az illető megkér-
dezhetné, hogy van-e varázsló a szigeten (mivel ekkor a
84 Rejtvények és metarejtvények
71.
Egyszer egy lakos azt hitte, hogy ö alszik, vagy éjszakai
típusú, vagy mindkettő ( a vagy azt jelenti, hogy legalább
az egyik, de lehetséges, hogy mindkettő).
Eldönthető, hogy ébren volt, vagy aludt? Eldönthető,
hogy milyen típusú?
72.
Egyszer egy lakos azt hitte, hogy ö alszik, és nappali
típusú. Mi a helyzet valójában?
73.
Van egy házaspár a szigeten, a vezetéknevük Kulp. Mr.
Kulp egyszer azt hitte, hogy ö és a felesége mindketten
éjszakai típusúak. Ugyanakkor Mrs. Kulp azt hitte, hogy
nem mind a ketten éjszakaiak. Amikor ez történt, egyikük
ébren volt, a másikuk aludt. Melyikük volt ébren?
74.
A sziget egy másik házaspárjának a vezetékneve Byron.
Egyikük éjszakai, a másikuk nappali típusú. Egyszer a
feleség azt hitte, hogy vagy mindketten alszanak, vagy
mindketten ébren vannak. Ugyanakkor a férj azt hitte,
hogy nem alszanak mindketten, de nincs is ébren mind a
kettőjük.
Melyiküknek volt igaza?
75.
Ez egy különösen érdekes eset: egyszer egy Edward nevű
lakos meglepő módon azt hitte, hogy ő és a nővére, Elanie
mindketten éjszakai típusúak, és ugyanakkor azt is hitte,
hogy ö nem éjszakai típusú.
Hogyan lehetséges ez? Éjszakai vagy nappali típusú?
És mi a helyzet a nővérével? Ébren volt Edward vagy
aludt, amikor ez történt?
88 Rejtvények és metarejtvények
80. Epilógus
Tegyük fel, hogy tényleg létezik egy olyan sziget, ami-
lyenről ez a fejezet szól, és hogy én is ennek a szigetnek
vagyok a lakója. Nappali vagy éjszakai típusú vagyok-
e? Azok alapján, amiket ebben a fejezetben elmondtam,
megválaszolható a kérdés!
MEGOLDÁSOK 91
,
MEGOLDASOK
73.
Ha szisztematikusan akarnánk megoldani ezt a rejtvényt,
akkor tizenhat esetet kellene végignéznünk! (Négy lehet-
séges eset van a férjet illetően, és ezek mindegyikében
négy lehetőséget jelent a feleség.) Szerencsére sokkal egy-
szerűbben is megoldhatjuk a feladatot.
Először is, mivel egyikük aludt, a másikuk ébren volt,
és ellentétes dolgot hisznek, azonos típusúak ( azaz vagy
mindketten nappali, vagy mindketten éjszakai típusúak).
Hiszen ha különböző típusúak lennének, akkor hiedelmeik
olyankor lennének ellentétesek, amikor mindketten alsza-
nak, vagy mindketten ébren vannak, és olyankor viszont,
amikor az egyikük alszik, a másikuk ébren van, ugyanazt
hinnék. Mivel nem ugyanazt hiszik, amikor az egyikük
alszik, a másikuk ébren van, azonos típusúak.
Tudjuk tehát, hogy vagy mindketten éjszakai, vagy
mindketten nappali típusúak. Tegyük fel, hogy mindket-
94 Rejtvények és metarejtvény ek
81.
Ha a második iker is „lgen"-t válaszolt volna, akkor a
bíró nyilván nem tudhatta volna, hogy melyikük John,
tehát a második iker „Nem" -mel válaszolt. Ez viszont
azt jelenti, hogy vagy mindketten igazat mondtak, vagy
mindketten hazudtak. De nem mondhattak mindketten
igazat, hiszen tudjuk, hogy legalább egyikük mindig ha -
zudik. Ezek szerint mindketten hazudtak, ami azt jelenti,
hogy a második iker John. (Azt nem tudjuk eldönteni,
hogy melyikük az, aki mindig hazudik.)
82.
Az első matematikus azt kérdezte lgortól, hogy egész-
séges ember-e. Ha Igor egészséges ember, alvkor „lgen"-t
válaszolt; ha örült ember, akkor is „lgen"-t válaszolt (hi-
szen örült lévén tévesen azt hiszi, hogy igaz az, hogy
ö egészséges ember, és őszintén azt mondja, amit hisz);
ha Igor egészséges vámpír, akkor is „Igen"-t válaszolt
(hiszen mivel egészséges, tudja, hogy Ö nem egészséges
ember, de hazudik, és azt mondJa, hogy az); de ha Igor
örült vámpír, akkor „Nem" -et válaszolt (hiszen, ha ö örült
vámpír, akkor azt hiszi, hogy igaz az, hogy ö egészséges
ember, de hazudik, és nem azt mondja, amit hisz). Vagyis
az örült vámpírok „Nem"-mel válaszolnak erre a kérdés-
re, a másik három típus „lgen"-nel. Ha Igor „Nem"-mel
válaszolt volna, akkor az első matematikus ebből tudta
volna, hogy Igor örült vámpír. De az első matematikus
nem tudta meg, hogy Igor miféle, ezért a kapott válasz
nyilván „Igen" volt. Ebből mindössze arra következtethe -
tünk, hogy Igor nem örült vámpír.
104 Rejtvények és metarejtvények
86.
,,Hogy egy egyszerű példával kezdjem - mondta McCul-
loch -, van egy olyan N szám, amely saját magát állítja
elő; vagyis ha beadjuk a gépnek N-et, az ugyanazt az N-et
adja ki. Tud ilyen számot mondani?"
87.
,,Nagyon jó- mondta McCulloch, amikor Craig megmu-
tatta neki megoldását. - És most nézzük a gép egy másik
érdekes tulajdonságát; van egy olyan N szám, amely a
saját asszociáltját állítja elő. Más szavakkal, ha beadjuk
a gépnek N-et, akkor a gép az N2N számot adja ki. Tud
ilyen számot mondani?"
Craig ezt a rejtvényt nehezebbnek találta, de azért
meg tudta oldani. És ön?
88.
,,Nagyszerü! - mondta McCulloch. Azt azért tudni sze-
retném, hogy hogyan kereste meg ezt a számot. Csak pró-
bálgatással, vagy volt valamilyen módszere? És az a szám,
amit talált, az egyetlen olyan, ami a saját asszociáltját
állítja elő, vagy vannak mások is?"
Craig elmagyarázta, hogy hogyan találta meg az elő
ző feladatban szereplő N számot, és válaszolt McCulloch-
nak arra a kérdésére is, hogy van-e más megoldás. Az
Olvasó figyelmébe ajánlom Craig erről szóló gondolatme-
netét, már csak azért is, mert megkönnyíti e fejezet sok
más feladatának megoldását.
122 A monte-carlói zár rejtélye
89.
„Erről jut eszembe - mondta McCulloch -, hogyan
oldotta meg az első feladatot? Van-e több olyan szám,
amely saját magát állítja elő?"
Craig válaszát megtaláljuk a megoldások közt.
90.
„Most pedig - mondta McCulloch - egy olyan N számot
keressen, amely a 7N-et (azaz a 7-es szám után írva az
N) állítja elő. Megtalálja ezt a számot?"
91.
,,Most nézzünk egy másik kérdést - mondta McCulloch.
- Van-e olyan N szám, amire a 3N az N asszociáltját
állítja elő?"
92.
„És olyan N van-e -kérdezte McCulloch -, amely a 3N
asszociáltját állítja elő?"
93.
„Egy különösen érdekes tulajdonsága a gépnek - mondta
McCulloch -, hogy tetszőleges A számhoz létezik egy
olyan Y, amely AY-t állítja elő. Hogyan bizonyítja ezt , és
ha adott egy A szám, hogyan talál hozzá ilyen Y-t?"
Megjegyzés: Ez az észrevétel, bármilyen egyszerű is,
sokkal jelentősebb, mint amilyennek ekkor McCulloch
gondolta! Többször felbukkan majd a könyv folyamán,
nevezzük McCulloch törvényének.
94.
,,Ha pedig adott egy A szám - folytatta McCulloch -,
biztosan létezik-e hozzá olyan Y, amely AY asszociált-
ját állítja elő? Van-e például olyan ·szám, amely az 56Y
asszociáltját állítja elő, és ha igen, mi az?" ·
9. Egy különös gép 123
95.
,,Egy másik érdekes kérdés - mondta McCulloch -,
hogy van egy olyan N szám, amely a saját kétszeres
asszociáltját állítja elő. Megtalálja?"
96.
,,Ráadásul - mondta McCulloch - tetszőleges A szám-
hoz létezik olyan X szám, amely AX kétszeres asszociált-
ját állítja elő. Látja, hogyan lehet ilyen X-et találni az A
számhoz? Tud olyan X-et mondani például, amely a 78X
kétszeres asszociáltját állítja elő?"
Most néhány további feladat következik azok közül,
amiket McCulloch feladott még Craignek. (Az utolsó ki-
vételével elméleti jelentőségük nincs, de az Olvasó talán
szívesen eljátszadozik velük.)
97.
Keressen olyan N számot, hogy a 3N a 3N-et állítsa elő!
98.
Keressen olyan N számot, hogy a 3N a 2N-et állítsa elő!
99.
Keressen olyan N számot, hogy a 3N a 32N-et állítsa elő!
100.
Van-e olyan N szám, amire az NNN2 és a 3N2 ugyanazt
a számot állítja elő?
101.
Van-e olyan N szám, aminek az asszociáltja az NN-et
állítja elő? Van-e több ilyen N is?
102.
Van-e olyan N, amire NN az N asszociáltját állítja elő?
124 A monte-carlói zár rejtélye
103.
Keressen olyan N-et, hogy N asszociáltja az N kétszeres
asszociáltját állítsa elő!
104.
Keressen olyan N-et, amely az N23-at állítja elő!
86.
Egy ilyen szám a 323. Mivel a 23 a 3-at állítja elő ( az
1. szabály szerint), a 2. szabály szerint a 323-nak a 3
asszociáltját kell előállítania, ami 323 - vagyis é°ppen
saját maga!
Vannak-e vajon más ilyen számok is? Craig válasza
erre a kérdésre a 89. feladat megoldásánál található.
87.
Craig a 33233-as számot találta ilyennek. Egy tetszőle
ges 332X alakú szám az X kétszeres asszociáltját állítja
elő, így a 33233 a 33 kétszeres asszociáltját, vagyis a 33
asszociáltjának asszociáltját állítja elő. A 33 asszociáltja
az eredeti 33233-as szám, ezért a 33 kétszeres asszociáltja
ugyanaz, mint a 33233 asszociáltja. A 33233 tehát a 33233
asszociáltját, vagyis saját asszociáltját állítja elö.
Hogyan lehetett megtalálni ezt a számot, és vajon
ez-e az egyetlen megoldás? Craig a következő feladat meg-
oldásában válaszol ezekre a kérdésekre.
88.
Most pedig nézzük, hogyan talált Craig megoldást a 87.
feladatra, és hogyan tisztázta azt a kérdést, hogy van-e
más megoldás. Magyarázatát úgy írom le, ahogy ö el-
mondta:
,,Az volt a feladatom, hogy egy olyan N számot talál-
jak, ami az N2N-et állítja elő: Ez a szám csak 2X, vagy
32X, vagy 332X, vagy 3332X stb. alakú lehet, ahol az X-et
keressük. Lehet-e jó egy 2X alakú szám? Nyilván nem,
hiszen a 2X az X-et állítja elö, ami biztos, hogy rövidebb
126 A monte-carlói zár rejtélye
97.
A válasz nyilvánvalóan a 23. (Már láttuk, hogy a 323 a
323-at állítja elő, így ha N=23, akkor a 3N a 3N-et állítja
elő.)
98.
A válasz: 22.
99.
A válasz: 232.
100.
Természetesen, az N =2.
101.
Bármelyik csupa kettesből álló szám ilyen.
102.
Igen, a 32 ·ilyen.
103.
Ilyen az N=33.
104.
Ilyen az N=32323.
105.
Mint arról az Olvasó maga is könnyen meggyőződhet,
azok az N számok, amelyek két vagy több hármassal
kezdődnek, N2-nél hosszabb számot állítanak elő (ha pl.
az N egy 332X alakú szám, és az X hossza h, akkor N az X
kétszeres asszociáltját állítja elő, amelynek hossza 4h + 3,
míg N2 hosssza h+4). Az is belátható, hogy N nem lehet
2X alakú, így ha egy N szám az N2 számot állítja elő,
akkor 32X alakúnak kell lennie. A 32X viszont az X2X-et
állítja elő, míg a feladat a 32X2 előállítását kívánja meg.
Ha X2X ugyanaz a szám, mint a 32X2, akkor"h-val jelölve
X hosszát, a 2h+ 1 = h+3 összefüggésnek teljesülnie kell,
ami azt jelenti, hogy h = 2. Vagyis csak olyan szám jöhet
MEGOLDÁSOK 131
106.
„Bizonyára emlékszik rá - mondta McCulloch - , hogy
a 323 saját magát állítja elő, és hogy a régi gépen -
amibe a 3. szabály még nem volt beépítve, csak az 1. és
a 2. szabály - a 323 volt az egyetlen olyan szám, amely
saját magát állította elő. Ezzel a géppel már teljesen más
a helyzet. Tud másik olyan számot mondani, amely saját
magát állítja elő? És hány ilyen szám van?"
Craignek nem tartott sokáig a feladat megoldása. És
önnek? ( A válasz Craig megfogalmazásában megtalálható
a megoldásoknál.)
107.
„Ez igen! - mondta McCulloch, miután Craig befejezte
magyarázatát. - Hadd mondjak most egy másik fela-
datot. Szimmetrikusnak nevezek egy számot, ha elölről
hátra olvasva ugyanazt kapom, mint hátulról előre, vagyis
ha megegyezik a saját fordítottjával. Az olyan számok,
mint pl. az 58385 vagy a 744 7, szimmetrikusak. Azokat
a számokat, amelyek nem szimmetrikusak - mint pél-
dául a 46733 vagy a 3251 -, aszimmetrikusnak fogom
nevezni. Nyilvánvaló, hogy van olyan szám, amely a saját
fordítottját állítja elő - mégpedig a 323 --, hiszen a 323
egyrészt saját magát állítja elő, másrészt szimmetrikus.
Az első gépen, ami még nem tudta a 3. szabályt, nem
volt olyan aszimmetrikus szám, amely a saját fordítottját
é.Ulította volna elő. A 3. szabály felhasználásával viszont
már van - méghozzá több is. Talál ilyet?
108.
„Vannak továbbá olyan számok - folytatta McCulloch
-, amelyek a fordítottjuk asszociáltját állítják elő. Talál
ilyet?
„Most pedig - mondta McCulloch - következhet a
másik új szabály:
134 A monte-carlói zár rejtélye
110.
Keressen olyan számot, amely a saját ismétlésének a for-
dítottját állítja elő!
111.
,,Különös - mondta McCulloch, miután Craig megoldot-
ta a 110. feladatot-, az én megoldásom más, viszont az
is hétjegyű."
Tényleg két olyan hétjegyű szám van, amely a saját
ismétlésének a fordítottját állítja elő. Meg tudja találni a
másikat is?
112.
„Tetszőleges X szám esetén - mondta McCulloch - az
52X nyilvánvalóan az X ismétlését állítja elő. Tud olyan X
számot mondani, amire az 5X állítja elő az X ismétlését?"
Craig gondolkodott egy kicsit, majd hirtelen nevetés-
ben tört ki, annyira kézenfekvő volt a megoldás!
113.
„Olyan szám is van --folytatta McCulloch -, amt!ly a
saját asszociáltjának az ismétlését állítja elő. Megtalál-
ja?"
114.
„És olyan is - folytatta tovább McCulloch -, amely a
saját ismétlésének az asszociáltját állítja elő. Megtalál-
ja?"
10. Craig törvénye 135
Műveleti számok
„Képzelje - szólalt meg váratlanul Craig -, épp most
jöttem rá, hogy ezek közül a feladatok közül majdnem
·mindegyik megoldható egy általános elv segítségével! Van
a gépének egy roppant kellemes tulajdonsága, amit ha
egyszer felfedez az ember, akkor ennek alapján egy egész
sereg más feladat is megoldható, nem csak azok, amiket
feladott nekem!
Például - folytatta Craig - kell lennie egy olyan
számnak, amely előállítja saját asszociáltja fordítottjának
az ismétlését, meg egy olyan számnak, amely előállítja
saját fordítottja ismétlésének az asszociáltját, meg egy
olyannak, amely ... "
,,Milyen érdekes! -vágott közbe McCulloch. - Ma-
gam is próbáltam ilyen számokat keresni, de nem talál-
tam. Melyek ezek?"
,,Pillanatokon belül meg fogja őket találni, ha elmon-
dom a felfedezésemet!"
„De mi ez a felfedezés?" - próbált a lényegre térni
McCulloch.
„Szóval - folytatta Craig, aki igencsak élvezte
McCulloch ugratását -, még olyan X számot is mondha-
tok önnek, amely előállítja X kétszeres asszociáltja fordí-
tottjának az ismétlését, vagy egy olyan Y számot, amely
előállítja az YYYY kétszeres asszociáltjának a fordított-
ját, vagy egy olyan Z számot, amely ... "
„Elég ebből! - kiáltotta McCulloch. - Miért nem
mondja el először a törvényét, és hagyja azutánra az
alkalmazásokat?"
,,A kérdés jogos!" - válaszolta Craig.
Ezen a ponton a felügyelő az asztalon heverő jegyzet-
tömbért nyúlt, ceruzát vett elő, majd maga mellé ültette
McCullochot, hogy barátja jól láthassa, amit ír.
136 A monte-carlói zár rejtélye
115.
McCulloch utolsó kérdésére igen a válasz, van olyan M
műveleti szám és X szám, amelyekre M(X)=MX. Megta-
lálja őket?
116.
Van-e olyan M műveleti szám, amelyre M(M)=M?
117.
Keressünk olyan műveleti számot és X számot, amelyekre
M(X)=XXX!
118.
Keressünk olyan műveleti számot és X számot, amelyekre
M(X)=M+2!
119.
Keressünk olyan M-et és X-et, amelyekre M(X) az MX
ismétlése!
120.
Keressünk olyan M és N műveleti számokat, amelyekre
M(N) megegyezik N(M) ismétlésével!
121.
Keressünk olyan M és N különböző műveleti számokat,
amelyekre M(N)=N(M)!
122.
Keressen olyan M és N műveleti számokat, amelyekre
M{N)=N(M)+39!
123.
És van-e olyan M, N műveleti szám, amelyekre M(N)=
=N(M)+492?
140 A monte-carlói zár rejtélye
124.
Keressünk olyan különböző M és N műveleti számokat,
amelyekre M(N)=MM és N(M)=NN!
Craig törvénye
„Még mindig nem mondta el, hogy mi az az elv, amit
állítólag felfedezett - mondta McCulloch, miután a te-
ával végeztek. - Jól gondolom, hogy ezt készítette elő,
amikor műveleti számokról és műveletekről beszélt?"
,,Igen, persze - válaszolta Craig - , és azt hiszem,
ezek után könnyen megérti majd, hogy miről van szó.
Emlékszik néhány korábbi feladatára? Például, hogy ke-
ressek olyan X számot, amely saját ismétlését állítja elő.
Más szavakkal, olyan X számot keresünk, amely S(X)-et
állítja elő. Vagy amikor olyan X számot keresünk, amely
a saját asszociáltját állítja elő, akkor olyan X-et szeret-
nénk, amely a 3(X)-et állítja elő. Ha pedig az X olyan,
hogy a saját fordítottját állítja elő, akkor a 4(X)-et ál-
lítja elő. De mindezek csak speciális esetei egy általános
elvnek, nevezetesen, hogy bármelyik M müveleti számhoz
léteznie kell olyan X-nek, amely M(X)-et állítja elő! Más
szavakkal, ha adott egy tetszőleges F müvelet, amit az
Őn gépe végre tud hajtani - vagyis egy olyan F müvelet,
amit valamilyen M műveleti szám meghatároz-, akkor
léteznie kell olyan X-nek, ami F(X)-et állítja elő.
„Sőt, mi több - folytatta Craig -, ha adQtt egy
M műveleti szám, akkor roppant egyszerű eljárással meg
tudjuk találni az X-et, ami M(X)-et állítja elő. Ha már
ismeri ezt az eljárást, akkor könnyen megkeresheti pél-
dául azt az X-et, amely az 543(X)-et állítja elő, és ezzel
megoldódik az a feladat, amelyben olyan X-et keresünk,
amely X asszociáltja fordítottjának az ismétlését állítja
elő. Azt az X-et is megtalálhatjuk, amely a 354(X)-et
10. Craig törvénye 141
126.
Keressen egy olyan X számot, amely a 7X7X-et állítja elő!
127.
Keressen egy olyan X számot, amely a 9X fordítottját
állítja elö!
128.
Keressen egy olyan X számot, amely a 89X asszociáltját
állítja elő!
,,Nagyon ravasz! - kiáltott fel Craig, miután meg-
oldotta ezeket a feladatokat. - Ezek közül a feladatok
közül egyiket sem lehet azzal a módszerrel megoldani,
amit tegnap mondtam el önnek."
,,Úgyvan!" - nevetett McCulloch.
„Mégis - mondta Craig - mindhárom megoldható
egy általános elv segítségével: elöször is, a 7, a 9 és a 89
elég önkényes számok. Márpedig ha adott egy tetszó1eges
A szám, akkor létezik olyan X, ami az AX ismétlését
állítja elő, és olyan X is van, ami az AX fordítottját
állítja elő, de olyan X is, ami az AX asszociáltját. Olyan
X is van, ami az AX fordítottjának az ismétlését, vagy az
AX asszociáltjának a fordítottját állítja elő - akármilyen
M műveleti szám és akármilyen A szám esetén lennie
kell olyan X-nek, ami az M(AX)-et állítja elő, vagyis azt
a számot, amelyet úgy kapunk, hogy az M műveletet
végrehajtjuk az AX számon."
129.
Craignek persze igaza volt, ha adott egy tetszőleges M
műveleti szám és egy tetszőleges A szám, akkor léteznie
kell egy olyan X-nek, ami az M(AX)-et állítja elö. Ne-
vezzük ezt az elvet Cmig második törvényének. Hogyan
bizonyítja ön ezt a törvényt, és ha adott egy M műveleti
szám és egy A szám, hogyan talál olyan X-et, amely az
M(AX)-et állítja elő?
144 A monte-carlói zár rejtélye
130.
„Épp most gondoltam ki egy másik kérdést - mondta
-
McCulloch. - Tetszőleges X szám esetén jelöljük X - -
szel az X fordítottját. Talál-e olyan X-et, ami az X 67-et
állítja elő? (Azaz van-e olyan X, ami azt a számot állítja
elő, amit úgy kapunk, hogy az X fordítottja mögé írjuk a
67-et?) Igaz-e ál~lában, hogy tetszőleges A számhoz van
olyan X, amely X A-t állítja elő?"
131.
-
,,Egy újabb kérdés jutott az eszembe - mondta McCul-
loch. - Van-e olyan X szám, amely az X 67 ismétlését
állítja elő? Igaz-e általában, hogy tetszőleges A-hoz van
olyan X, amely az X A ismétlését állítja elő? Vagy még
általánosabban, igaz-e, hogy tetszőleges A szám és tetsző
-
leges M műveleti szám esetén léteznie kell olyan X-nek,
amely az M X A-t állítja elő?"
Diszkusszió: Nemcsak McCulloch második gépére ér-
vényes Craig törvénye, hanem az elsőre is, sőt valójában
minden elképzelhető gépre, amely tudja az 1. és a 2. sza-
bályt. Ezek szerint akárhogy is fejlesztjük tovább új sza-
bályok bevezetésével McCulloch első gépét, az így kapott
gépezet mindig engedelmeskedni fog Craig törvényének
(sőt Craig mindkét törvényének).
106.
„Ennél a gépnél végtelen sok különböző szám van, amely
önmagát állítja elő" - mondta Craig.
„Úgy van! - helyeselt McCuiloch. - És ezt hogyan
bizonyítja?"
„Nos- válaszolta Craig-, nevezzünk egy S számot
A típusúnak, ha rendelkezik azzal a tulajdonsággal, hogy
tetszőleges X és Y számok esetén, ha X előállítja Y-t,
akkor SX az Y asszociáltját állítja elő. Az új szabály
beépítése előtt a 3 volt az egyetlen A típusú szám, Ezen
a gépen viszont végtelen sok A típusú szám van, és tet-
szőleges A típusú S szám esetén az S2S szám saját magát
állítja elő, hiszen S2S az S asszociáltját állítja elő, ami
éppen S2S."
„Honnan tudta, hogy végtelen sok A típusú szám
van?" - kérdezte McCulloch.
„Először is-felelte Craig-, azt ugye elismeri, hogy
tetszőleges X és Y számok esetén, ha X előállítja Y-t,
akkor a 44X is Y-t állítja elő?"
,,Elmés észrevétel! - válaszolta McCulloch. - Ter-
mészetesen igaza van: ha X előállítja Y-t, akkor a 4X az
Y fordítottját állítja elő, így a 44X az Y fordítottjának a
fordítottját, ami maga az Y."
„Pontosan - mondta Craig. - Tehát, ha X előállítja
Y-t, akkor 44X szintén az Y-t állítja elő, ezért a 344X az
Y asszociáltját állítja elő. Emiatt a 344 is egy A típusú
szám. És mivel a 344 egy A típusú szám, a 3442344 saját
magát állítja elő."
MEGOLDÁSOK 147
108.
Egy jó megoldás a 3432343. Az Olvasóra bízom, győződ
jön meg róla, hogy az a szám, amelyet a 3432343 előállít,
tényleg a 3432343 fordítottjának az asszociáltja. (Ezt a
számot szintén Craig törvényével lehet megtalálni.)
109.
Az 53253 ilyen szám. (A megoldás megint Craig tőrvé
nyéböl adódik.)
110.
A 4532453 egy jó megoldás.
111.
Az 5432543 egy másik jó megoldás.
112.
Ha már tudjuk, hogy bizonyos számok saját magukat
állítják elö, akkor tényleg kézenfekvő a megoldás. Hiszen
ha az X az X-et állítja elö, akkor az 5X nyilván az X
ismétlését állítja elö. Így például az 5323 a 323 ismétlését
állítja elő.
113.
Egy jó megoldás az 5332533. (Megint Craig törvénye
alapján.)
114.
Egy jó megoldás a 3532353, ezt is Craig törvényének
segítségével lehet megtalálni. (Remélem, sikerült eJ!,ykis
étvágyat csinálnom az'Olvasónak Craig törvényének meg-
ismerésére!)
115.
5(5)=55, hiszen 5(5) az 5 ismétlését jelenti. Vagyis az
M-et is és az X-et is 5-nek választjuk. (Sosem mondtam,
hogy az M-nek és az X-nek különbözőnek kell lennie!)
MEGOLDÁSOK 149
116.
4( 4 )=4, hiszen 4( 4) a 4 fordítottját jelenti, ami 4. Vagyis
az M=4 egy megoldás. (Történetesen minden olyan szám
jó, ami csupa 4-esböl áll.)
117.
Próbálja ki az M=3, X=2-t! Láthatólag 3{2)=222.
118.
4(6)=6, és 6=4+2, így 4(6)=4+2. Vagyis M=4 és X=6.
119.
M=55 és X=55 egy megoldás.
120.
M=4 és N =44 egy megoldás.
121.
M=5 és N =55 egy megoldás.
122.
M=5 és N=4 egy megoldás.
123.
M=3 és N=5 egy megoldás.
124.
M=54 és N =45 egy megoldás.
125.
Legyen M egy tetszöleges műveleti szám. Tudjuk (1.
tény), hogy tetszöleges Y és Z számok esetén, ha Y elő
állítja Z-t, akkor MY az M(Z)-t állítja elő. Emiatt (Z-t
MY-nak véve) ha Y előállítja az MY-t, akkor MY az
M(MY)-t állítja elő. Így ha X-nek vesszük az MY-t, az
X szám az M(X)-et fogja előállítani! Ezzel a feladatot
visszavezettük olyan Y keresésére, amely MY-t állítja elö.
De ezt a feladatot már az előző fejezetben megoldottuk
(McCulloch törvénye), és a válasz az volt, hogy válasszuk
150 A monte-carlói zár rejtélye
- -
mégpedig a·432A43. (A konkrét feladatban, ahol
A=67, A =76, így a megoldás a 4327643.)
állít-
131.
A legáltalánosabb eset trükkje az, ha észrevesszük, hogy
+-- +-- , +-- +--
xA
- -
éppen az A X fordítottja. lgy M( X A)=M4( A X).
Craig második törvénye szerint egy M432 A M43 alakú X
az M4( A X)-et állítja elő, így ez a megoldás. Konkrétan,
ha M=5, és A=67, akkor az 543276543 egy olyan X,
amely az X 67 ismétlését állítja elő ( amint erről az Olvasó
közvetlenül is meggyőződhet).
11. Fergusson törvénye
Kedves McCullochom!
Erősen foglalkoztatnak a gépei, és barátomat, Mal-
colm Fergussont is. Nem ismeri véletelenül Fergussont?
Főképp a tiszta logika kutatásával foglalkozik, maga is
épített különféle logikai gépeket. Érdeklődése azonban
széles körű, kiterjed például a visszafejtéses elemzés né-
ven ismert sakkfeladványok körére. Tisztán kombinatori-
kus problémák iránt is élénken érdeklődik - olyanokra
gondolok, amilyeneket az Ön gépe készségesen szolgáltat.
A múlt héten meglátogattam őt, és megmutattam neki
az Ön feladatait, amelyek teljesen lenyűgözték. Három
nappal később ismét találkoztam vele, amikor is tett né-
hány megjegyzést, amiből kiderült, azt gyanítja, hogy
mindkét gépnek van néhány további érdekes tulajdonsá-
ga, amelyeket még maga a feltaláló sem ismert fel! Kicsit
bizonytalan volt mindezzel kapcsolatban, de azt mondta,
szüksége van még egy kis időre, hogy végiggondolhassa a
dolgot.
Fergusson velem fog vacsorázni jövő pénteken. Nem
tartana velünli? Biztos vagyok benne, hogy lesz miről be-
széle;etniük, és érdekes lenne megtudni, hogy mit gondol
az On gépeiről.
Abban a reményben, hogy jövő pénteken találkozunk,
maradok őszinte híve:
L. Craig
11. Fergusson törvénye 153
Kedves Craig!
Még nem találkoztam Malcolm Fergussonnal, de már
sokat hallottam róla közös barátainktól. Nem a kiváló
logikatudós, Gottlob Frege tanítványa volt? Úgy tudom,
igen fontos, a matematika alapjait érintő kérdéseken dol-
gozik, és természetesen nagyon örülök a lehetőségnek,
hogy megismerkedhetem vele. Mondanom sem kell, igen-
csak izgat, hogy mit gondol a gépemről. Köszönöm a
meghívást, amit boldogan el is fogadok.
Üdvözlettel:
McCulloch
MEGOLDÁSOK
132.
Egy megoldás az X=4325243, Y =524325243. Mivel a
25243 az 5243-at állítja elő, a 325243 az 5243 asszoci-
áltját, az 524325243-at, vagyis az Y-t állítja elő. De ha a
325243 az Y-t állítja elö, akkor a 4325243 az Y fordítottját
állítja elő, de a 4325243 éppen az X. Így X az Y fordított-
ját állítja elő. Az is nyilvánvaló, hogy Y az X ismétlését
állítja elő (hiszen Y =52X, és mivel a 2X az X-et állítja
elő, az 52X az X ismétlését fogja előállítani). Vagyis az X
az Y fordítottját, Y pedig az X ismétlését állítja elő.
133.
Craig McCulloch törvényére utalt, miszerint tetszőleges
A számhoz létezik olyan X (nevezetesen a 32A3), amely
az AX-et állítja elő. Ha most A-t 2-nek választjuk, akkor
van olyan X (mégpedig a 3223), amely a 2X-et állítja elő.
Viszont a 2X nyilván az X-et állítja elö. Vagyis a 3223 és
23223 egy megfelelő számpár, a 3223 a 23223-at, a 23223
pedig a 3223-at állítja elő.
134.
Craig a következőképpen oldotta meg a teladatot: Rájött,
hogy mindössze olyan X-et kell találnia, amely a 27X-
et állítja elö. Ekkor ha Y =27X, akkor az X az Y-t, Y
pedig a 7X-et állítja elő. Azt is tudta, hogy van olyan
X, amely előállítja a 27X-et, mégpedig a 32273. Vagyis
Craig megoldása: X=32273, Y =2732273.
Természetesen nem csak a 7, hanem tetszőleges A
szám esetén is hasonlóan járhatunk el, ha X=322A3, és
Y=2A322A3, akkor X az Y-t, Y pedig az AX-et állítja
elő.
160 A monte-carlói zár rejtélye
135.
McCulloch viszont a következő módon közelítette meg a
kérdést: rájött, hogy mindössze olyan Y-t kell találnia,
amely a 72Y-t állítja elő. Ekkor ha X=2Y, akkor X elő
állíthatja Y-t, Y pedig a 7X-et. Azt is tudjuk, hogyan
lehet ilyen Y-t találni: legyen Y =32723. Így McCulloch
megoldása: X=232723, Y =32723.
136.
Mindössze olyan X-et kell találnunk, amely A2BX-et ál-
lítja elő. Ekkor ha Y=2BX, akkor X az AY-t, Y pedig a
BX-et állítja elő. Egy olyan X, amely A2BX-et állítja elő,
a 32A2B3. Így a megoldás: X=32A2B3, Y =2B32A2B3.
(Abban a speciális esetben, amikor A=7 és B=8, a meg-
oldás: X=327283, Y =28327283.)
137.
Oldjuk meg a feladatot először Craig 2. törvényének se-
gítségével, ami azt mondja, hogy tetszőleges M műveleti
szám és A szám esetén van olyan X szám ( nevezetesen az
M32AM3), amely az M(AX)-et állítja elő. Vegyünk most
két tetszőleges műveleti számot, M-et és N-t. Ekkor Craig
második törvénye szerint ( az N2 számot tekintve A-nak)
van olyan X szám (mégpedig az M32N2M3), amely az
M(N2X)-et állítja elő. Az N2X pedig nyilván az N(X)-et
állítja elő. Így ha az Y-t N2X-nek választjuk, akkor X az
M(Y)-t, Y pedig az N(X)-et állítja elő. A megoldás tehát:
X=M32N2M3, Y=N2M32N2M3. (Ami pedig Fergusson
konkrét feladatát illeti, ott M=4 és N=3, így a megoldás:
X=4323243, Y=324323243. Az Olvasó közvetlenül is el-
lenőrizheti, hogy ekkor X az Y fordítottját, Y pedig az
X asszociáltját állítja elő - különösen az utóbbi teljesen
nyilvánvaló.)
A következőképpen is megközelíthettük volna a fel-
adatot: a 136. feladat megoldásából tudjuk, hogy van
11. Fergusson törvénye 161
Kedves Craig,
Ha haza.érne május 12-ére, péntekre, nagyon örülnék,
ha eljönne hozzám vacsorára. Fergussont is meghívtam.
Üdvözlettel:
Norman McCulloch
143.
Milyen kombináció nyitja ki a zárat?
144.
Hogyan függ össze az első két kérdés?
Epilógus
Másnap reggel Craig egy megbízható futárt küldött Mon-
te-Carlóba, hogy juttassa el a kombinációt Martineznek.
A futár időben megérkezett, így baj nélkül sikerült ki-
nyitni a széfet.
Híven Martinez ígéretéhez, az igazgatótanács csinos
jutalmat küldött Craignek, aki ragaszkodott hozzá, hogy
ebből McCulloch és Fergusson is megkapja a részét. Az
esemény megünneplésére a három barát egy csodálatos
estét töltött az Oroszlánhoz címzett fogadóban.
„Hát igen - mondta Craig egy pohár kitűnő sherry
után-, ez volt a legérdekesebb esetem, amivel valaha
is találkoztam! És nem érdekes, hogy ezekről a gépekről,
amiket pusztán a tudományos kíváncsiság hozott létre,
kiderült, hogy ilyen váratlan gyakorlati hasznuk van?"
MEGOLDÁSOK 171
MEGOLDÁSOK
Q L V R
2 6 4 5
-
ekkor az 5464X előállítja-e az Y2Y2-t. Ha X előállítja
Y-t, akkor a 4X az Y-t állítja elő (M-III. szerint), ezért
a 64X a 2 Y-t állítja elő (M-II. szerint), így a 464X az
Y2-t állítja elő (M-III. szerint), és az 5464X az Y2Y2-t
állítja elő. Vagyis, ha X előállítja Y-t, akkor HX tényleg
az Y2Y2-t állítja elő.
Most, hogy megtaláltuk a H-t, válasszuk N-et H2H2-
nek, és az így kapott 5464254642..szám saját magát állítja
elő (mint erről az Olvasó közvetlenül is meggyőződhet).
Negyedikrész
Megoldható vagy
megoldhatatlan?
14.Fergusson logikai gépe
1
szabályokat, amelyek segítségével új mondatot tud bizo-
nyítani a már meglevökböl. Mihelyst Craig és McCulloch
megtudta ezeket a részleteket a gép működéséről, rögtön r
láthatta, hogy a gép tényleg megbízható, vagyis csak igaz rl
145.
Az előző három tulajdonságból minden kétséget kizáróan
levezethető, hogy Fergusson gépe nem képes arra 1 hogy
minden igaz mondatot bebizonyítson! Az Olvasó feladata,
hogy találjon olyan mondatot, amely igaz, de a géppel
nem bizonyítható. Vagyis olyan n és m számokat kere-
sünk (lehetnek azonosak is, különbözőek is), amelyekre
az n eleme az Am halmaznak, de az n E Am mondat
kódszámát, az n * m-et, nem írhatja ki a gép.
146.
A 145. feladatra adott megoldásomban n is és mis kisebb
volt 100-nál. Van egy másik olyan megoldás is, amelyben
n is és mis kisebb, mint 100 (most sem árulom el, hogy
n és m azonos, vagy különböző). Megtalálja az Olvasó?
147.
Ha nincs semmiféle megkötésünk n és m nagyságára, ak-
kor hány megoldás van? Vagyis hány olyan mondat van,
ami igaz, de Fergusson gépével nem bizonyítható?
14. Fergusson logikai gépe 187
Epilógus
Fergusson nem könnyen adta fel azt a szándékát, hogy
olyan gépet építsen, ami minden számelméleti igazságot
be tud bizonyítani, anélkül, hogy akár egyetlen hamis
mondatot is. bebizonyíta.na, ezért még sok-sok logikai gé-
pet épített.* De mindegyik gépénél vagy ö, vagy Craig,
vagy McCulloch felfedezett előbb-utóbb egy igaz mon-
datot, amelyet a gép nem tudott bizonyítani. Így végül
lemondott arról, hogy olyan tisztán mechanikus eszközt
konstruáljon, ami megbízható, és minden igaz számelmé-
leti mondatot be tud bizonyítani.
Annak, hogy Fergusson hősies kísérletei csődöt mond-
tak, a legkevésbé sem tehetségtelensége volt az oka. Nem
szabad elfelejtenünk, hogy több évtizeddel korábban élt,
mint hogy ismeretesek lettek volna olyan logikatudósok,
mint Gödel, Tarski, Kleene, Turing, Post, Church és má-
sok eredményei, akiknek munkásságáról hamarosan még
szó lesz. Ha láthatta. volna ezeknek az embereknek a.
munkáit, akkor rájött volna., hogy próbálkozása.inak si-
kertelensége kizárólag azon a. tényen múlt, hogy a.mit
megkísérelt, az eleve lehetetlen volt! Így most vegyünk
tiszteletteljes búcsút Fergussontól és kollégáitól, Cra.igtól
és McCullochtól, és ugorjunk előre három vagy négy év-
tizedet, egy pillantást vetve a. kritikus 1931-es évre.
145.
Egy megoldás a 75 E A75 mondat, ami igaz, de a géppel
nem bizonyítható. Ezt a következőképpen láthatjuk be:
Tegyük fel, hogy a 75 E A75 mondat hamis. Ekkor a
75 nem eleme az A75 halmaznak. Emiatt a 75 biztosan
eleme az A25-nek (mert a 2. tulajdonság szerint A75 az
A25 komplementere). Ebből következik ( a 3. tulajdonság
miatt), hogy a 75 * 75 eleme A8-nak, hiszen 25 = 3 · 8 + 1,
így a 75 * 75-öt ki tudja írni a gép, vagy ,más szavakkal, a
75 E A75 bizonyítható. De tudjuk, hogy a gép megbízható
és sohasem bizonyít be hamis mondatot, ezért a 75 E A75
mondat nem lehet hamis, tehát igaz.
Ha viszont a 75 E A75 mondat igaz, akkor a 75 eleme
az A75 halmaznak. Emiatt a 75 nem lehet eleme az A25
halmaznak (2. tulajdonság), és így a 75 * 75 nem lehet
A8-ban, hiszen ha a 75 * 75 eleme lenne A8-nak, akkor a
3. tulajdonság miatt a 75 eleme lenne A25-nek. De ha
a 75 * 75 nem eleme A8-nak, akkor a 75 E A75 nem
bizonyítható a géppel. Tehát a 75 E A75 mondat igaz,
de a géppel nem bizonyítható.
146.
Mielőtt további megoldásokat keresnénk, vegyük észre a
következő tényt: a megoldás kulcsa egy olyan K halmaz,
amelynek mindazok az x számok az elemei, amelyekre
az x E Ax mondat nem bizonyítható a géppel, vagy ami
ugyanazt jelenti, azon x számok halmaza, amelyekre az
x * x-et nem tudja kiírni a gép. Ez a K halmaz most az
A75, mert az, hogy x eleme az A75-nek, ekviv,;1,lensazzal,
hogy x nem eleme az A25-nek, ami viszont ekvivalens
MEGOLDÁSOK 189
149.
Tekintsük speciális esetként Fergusson rendszerét. Keres-
sen az A100 halmazhoz tartozó gödeli mondatot!
150.
Tegyük fel, hogy egy rendszer gödeli (ehhez nem feltét-
lenül kell kielégítenie a G3 feltételt). Ha a rendszer meg-
bízható, és kielégíti a Gl és G2 feltételt, akkor szükség-
szerű-e, hogy van benne olyan mondat, ami igaz, de nem
bizonyítható?
151.
Legyen T az igaz mondatok Gödel-számainak halma-
za. Van-e T-hez tartozó gödeli mondat? Van-e T-hez, azaz
T komplementeréhez tartozó gödeli mondat?
Elérkezett az ideje, hogy válaszoljunk Tarski kérdé-
seire. Tarski tételének összefoglalt változata a következő:
T-tétel: Ha adott egy tetszőleges rendszer, amely kie-
légíti a G2 és G3 feltételt, akkor az igaz mondatok Gödel-
számainak T halmaza nem megnevezhető a rendszerben.
Megjegyzés: Néha a megnevezhető helyett a definiál-
ható kifejezést használják, a T- tételt pedig a következő
megfogalmazásban említik: elegendően sokatmondó rend-
szerek esetén a rendszerbeli igazság nem definiálható a
rendszeren belül.
152.
Bizonyítandó a T- tétel.
153.
Tanulságos észrevenni, hogy ha már bebizonyítottuk a
T-tételt, akkor annak következményeként azonnal adódik
a G-tétel. Világos az Olvasónak, hogyan?
15. Bizonyíthatóság és igazság 197
148.
Tegyük fel, hogy a rendszer kielégíti a G3 feltételt. Le-
gyen H a rendszer egy tetszőleges megnevezhető halmaza.
Ekkor G3 szerint a H* halmaz is megnevezhető a rend-
szerben, így van olyan b szám, amelyre H* = Ab. Egy x
szám pontosan akkor eleme H*-nak, ha az x * x eleme
H-nak. Vagyis x pontosan akkor eleme Ab-nek, ha x * x
eleme H-nak. Ha most x-et éppen b-nek választjuk, akkor
ezek szerint b pontosan akkor eleme Ab-nek, ha b*b eleme
H-nak. De b akkor és csak akkor eleme Ab-nek, ha ab E Ab
mondat igaz. Vagyis b E Ab akkor és csak akkor igaz,
ha a b * b eleme H-nak. A b * b viszont éppen a b E Ab
mondat Gödel-száma. Így azt kaptuk, hogy a b E Ab
mondat akkor és csak akkor igaz, ha a Gödel-száma H-
ban van. Vagyis ha a b E Ab igaz, akkor a Gödel-száma
eleme H-nak, ha pedig hamis, akkor a Gödel-száma nem
eleme H-nak. Így ab E Ab mondat egy gödeli mondat a
H-halmazon.
149.
Fergusson rendszerében tetszőleges n-re az A~ halmaz
éppen az Aan+l · Így az Afo 0 most az A301 halmaz.
Használjuk fel az előző feladat eredményét, és válasszuk
b-t 301-nek. Ekkor a 301 E A301 mondat az A100 hal-
mazhoz tartozó gödeli mondat. Általában tetszőleges n
szám esetén ha a b-t 3n+ 1-nek választjuk, akkor ab E Ab
mondat egy An-hez tartozó gödeli mondat lesz Fergusson
rendszerében.
200 Megoldható vagy megoldhatatlan?
150.
Igen, az. Tegyük fel, hogy a rendszer gödeli, és kielégíti
a G 1 és G2 feltételt, továbbá azt is, hogy megbízható.
Gl szerint a B halmaz megnevezhető, így G2 szerint a
B komplementere, a B halmaz is megnevezhető. Ekkor
viszont, mivel a rendszer gödeli, tartozik egy X gödeli
mondat a B-hez. Ez azt jelenti, hogy X akkor és csak
akkor igaz, ha X Gödel-száma benne van B-ben. De
ahelyett, hogy X Gödel-száma benne van B-ben, azt is
mondhatjuk, hogy nincs benne B-ben, ami viszont ugyan-
az, mintha azt mondanánk, hogy X nem bizonyítható.
Így egy B-hez tartozó gödeli mondat nem több, de nem
kevesebb egy olyan mondatnál, amely akkor és csak akkor
igaz, ha nem bizonyítható a rendszerben, és (mint láttuk)
egy ilyen mondat biztosan igaz, de nem bizonyítható a
rendszerben (feltéve, hogy a rendszer megbízható),
Valójában Gödel gondolatmenetének lényege egy B-
hez tartozó gödeli mondat szerkesztése.
151.
Minden X mondat nyilvánvalóan gödeli a T halmazon,
hiszen ha X igaz, akkor a Gödel-száma T-ben van, ha
pedig hamis, akkor a Gödel-száma nincs benne T-ben.
Emiatt egy gödeli mondat nem tartozhat T-hez, mert az
sem lehetséges, hogy X igaz és a Gödel-száma T-ben van,
és az sem, hogy X hamis, és a Gödel-száma nincs benne
T-ben.
Az Olvasó számára tanulságos lehet az az észrevétel,
hogy számok egy tetszőleges A halmaza és egy tetszőleges
X mondat esetén X vagy A-hoz tartozó vagy A-hoz tar-
tozó gödeli mondat, de sohasem tartozik mindkettőhöz.
152.
Nézzünk egy tetszőleges, a G3 feltételt kielégítő rend-
szert. A 148. feladat szerint a rendszer minden megnevez-
hető halmazához tartozik gödeli mondat, az előző feladat
MEGOLDÁSOK 201
160.
Próbálkozzunk most egy négyszeres lánccal! Keressen
olyan X, Y, Z és W mondatokat, ahol X azt mondja, hogy
Y bizonyítható, Y azt mondja, hogy hogy Z cáfolható,
Z azt mondja, hogy W cáfolható, W pedig azt mondja,
hogy X nem bizonyítható. Mutassa meg, hogy a négy
mondat közül az egyik vagy igaz, de nem bizonyítható,
vagy hamis, de nem cáfolható (bár nincs mód arra, hogy
megmondjuk, hogy a négy közül melyik!)
155.
Tetszőleges X kifejezés esetén az NKA-X mondat azt
állítja, hogy X asszociáltja nem kiírható. Konkrétan az
NKA-NKA mondat azt állítja, hogy az NKA asszoci-
áltja nem kiírható. De az NKA asszociáltja éppen az
NKA-NKA mondat! Így az NKA-NKA mondat saját ki-
írhatatla:aságát állítja; más szavakkal, ez a mondat akkor
és csak akkor igaz, ha nem kiírható. Ez azt jelenti, hogy
vagy igaz, de nem kiírható, vagy nem igaz, de kiírható.
Az utóbbi nem lehetséges, mert a gép megbízható. Így az
előbbinek kell teljesülnie, vagyis a mondat igaz, de nem
kiírható a gép számára.
156.
Legyen X a K-NKA-K-NKA mondat, Y pedig az
NKA-K-NKA mondat. Az X mondat (ami K-Y) azt
mondja, hogy Y kiírható. Az Y mondat ( ami nem túl szép
magyarsággal így olvasható: ,,Nem kiírható az asszod-
áltja a K-NKA mondatnak") azt mondja, hogy
a K-NKA asszociáltja nem kiírható. De•a K-NKA asszo-
ciáltja éppen X, vagyis Y azt mondja, hogy X nem kiír-
ható. (Történetesen másképp is megadhatunk ilyen X-et
és Y-t: legyen X a KA-NK-KA mondat, Y pedig az
NK-KA-NK-KA mondat.)
Van tehát két olyan mondatunk, X és Y, ahol X azt
jelenti, hog-YY kiírható, Y azt, hogy X nem kiírható.
Tegyük fel, hogy X kiírható. Ekkor igaz lenne, ami
azt jelentené, hogy Y kiírható. Ekkor Y igaz lenne, ami
viszont azt jel~tené, hogy X nem kiírható. Ez ellentmon-
dás, hiszen X egyszerre lenne kiírható és nem kiírható, 1
1
1
212 Megoldható vagy megoldhatatlan?
163.
Azt állítottam, hogy a matematikus megbízható, de azt
sehol sem mondtam, hogy tudja, hogy megbízható! Ha
tudná, hogy ö megbízható, akkor ez pamdoxonhoz ve-
zetne! Emiatt az 1., 2. és 3. tényből nem az következik,
hogy ellentmondásra jutunk, hanem egyszerűen az, hogy
a matematikus, bár megbízható, nem tudhatja, hogy ö
megbízható.
A helyzet nem teljesen független Gödel egy másik
tételétől, a második teljességi tételtől, ami (durván megfo-
galmazva.) azt állítja, hogy elegendöen gazdag rendszerek
esetén (és a Göd el eredeti cikkében tárgyalt rendszerek
ilyenek), ha a rendszer ellentmondásmentes, akkor sem
tudjuk bizonyítani a rendszer saját ellentniondásmentes-
ségét. Ez egy igen mély gondolat, amelynek a részletesebb
tárgyalását ennek a könyvnek a folytatásában tervezem.
17. Halandó és halhatatlan számok
164.
Emlékezzünk vissza, hogy a 3223 a 23223-at állítja elő,
a 23223 pedig a 3223-at. Így két olyan számunk van, a
3223 és a 23223, amelyek mindegyike a másikat állítja
elő. Emiatt mindketten halhatatlanok: beadjuk az elsőt a
gépnek, kijön a második, beadjuk a másodikat a gépnek,
kijön az első. A folyamat nyilván sohasem ér véget.
165.
Tetszőleges két szám, X és Y esetén azt mondjuk, hogy
X elvezet Y-hoz, ha X előállítja Y-t, vagy X előállít egy
olyan számot, amely előállítja Y-t, vagy X előállít egy
olyan számot, amely előállít egy olyan számot, amely
előállítja Y-t, vagy X előállít egy olyan számot, amely elő
állít egy olyan számot, amely ... amely előállít egy olyan
számot, amely előállítja Y-t. Másképp megfogalmazva,
ha egy X-szel kezdődő folyamat során egyik vagy másik
lépésben megkapjuk az Y-t, akkor azt mondjuk, hogy
X elvezet Y-hoz. Például a 22222278 elvezet a 78-hoz,
mégpedig hat lépésben. Valamivel általánosabban, ha T
egy csupa 2-esből álló szám, akkor tetszőleges X esetén
TX elvezet X-hez.
A 32223 nem állítja elő saját magát, de elveze\ saját
magához, hiszen a 2232223-at állítja elő, amely a kö-
vetkező lépésben a 232223-at állítja elő, amely pedig a
következő lépésben előállítja a 32223-at. Mivel a 32223
elvezet saját magához, halhatatlannak kell lennie.
MEGOLDÁSOK 223
167.
A 32323 a 3232323-at állítja elő, ami a 32323232323-at
állítja elő, ami pedig a 3232323232323232323-at. Nyilván-
való a szabályszerűség: minden olyan szám, amelyb en a
32 ismétlődik valahányszor és ezt egy 3-as követi, ugyani-
lyen alakú (persze hosszabb) számot állít elő, így minden
ilyen szám halhatatlan.
168.
Gondoljuk meg először a következőt: tegyük fel, hogy X
és Y olyan számok, ahol X előállítja Y-t. Ekkor ha Y
halandó, akkor X-nek is halandónak kell lennie, hiszen
ha Y n lépésben vezet el egy elfogadhatatlan Z számhoz,
akkor n + 1 lépésben X is el fog vezetni Z-hez. Ha pedig
Y halhatatlan, akkor sohasem vezet el egyetlen elfogad-
hatatlan számhoz sem; így X sem vezethet elfogadhatat-
lan számhoz, hiszen X bármilyen számhoz is csak Y-on
keresztül vezethet el. Ha tehát X előállítja Y-t, akkor X
halandósága ugyanolyan, mint Y-é ( azaz vagy mindkettő
halandó, vagy mindkettő halhatatlan).
Nézzük most meg, hogy mi a helyzet egy olyan gép-
pel, amelyik legalább az 1. és a 2. szabálynak engedel-
meskedik (és persze lehet, hogy másoknak is). Legyen H
egy tetszőleges szám. Tudjuk, hogy az 1. és a 2. szabály
következtében van olyan X, amely a HX-et állítja elö (és
tényleg, ha emlékszünk rá, a 32H3 egy ilyen szám). De
ha X előállítja HX-et, akkor X és HX vagy mindketten
halandóak, vagy mindketten halhatatlanok ( amint ezt az
előzőekben megmutattuk). Emiatt nem létezhet olyan H
szám, amire te'tszőleges X esetén az X és a HX közül az
egyik szám halandó, a másik halhatatlan, hiszen ha az X
éppen H32H3, akkor nem teljesül, hogy X és HX közül
az egyik szám halandó, a másik halhatatlan. Emiatt egy
gép sem tudja megoldani saját halandósági kérdéseit, ha
engedelmeskedik az 1. és 2 szabálynak.
MEGOLDÁ~OK 225
169.
Tekintsünk egy 1. tulajdonságú gépet. Legyen a egy tet-
szőleges szám. Az 1. tulajdonság miatt van olyan b szám,
hogy minden x-re a G(x,b)-nek ugyanaz a paritása, mint
a G(x#,a)-nak. Ha most az x-et b-nek választjuk, akkor
a G(b,b) paritása ugyanaz, mint a G(b#,a)-é. A G(b,b)
viszont éppen ab# szám, így ab# paritása megegyezik
a G(b#,a)-éval. Vagyis ha x = b#, ak,kor látható, hogy
G(x,a) ugyanolyan paritású, mint x.
170.
Most nézzünk egy olyan gépet, amely rendelkezik az l.
és 2. tulajdonsággal. Legyen b egy tetszőleges szám. A
2. tulajdonság miatt van olyan a, hogy G(x,a) paritása
minden x-re különbözik a G(x,b)-étől. Az 1. tulajdonság
miatt pedig van legalább egy olyan x, amire a G(x,a)
ugyanolyan paritású, mint az x, ahogy ezt a 169. fela-
datban bizonyítottuk. Ennek az x-nek különböző pari-
tásúnak kell lennie, mint a G(x,b), hiszen ugyanolyan
paritású, mint a G(x,a), aminek a paritása különbözik a
G( X' b)-étöl.
171.
Most is nézzünk egy olyan gépet, amely rendelkezik az
1. és 2. tulajdonsággal. Legyen h egy tetszőleges szám.
A 170. feladat szerint ( de b-t h-nak olvasva) van legalább
egy olyan x, amire a G( x, h) paritása különbözik az x-étől.
Emiatt nem lehetséges, hogy a G( x, h )-nak minden x-re
ugyanaz legyen a paritása, mint az x-nek; más szavakkal,
a 3. tulajdonság nem teljesülhet. Így az 1., 2. és 3. tulaj-
MEGOLDÁSOK 231
.I ----~
Kiadónk nagyon szeretne hibátlan könyveket megjelen-
tetni, de félünk, hogy ez lehetetlen. Mindenesetre fela-
jánljuk:
Eredetiben olvashatja
a matematika klasszikusait
a Typo TEXkülönleges könyvsorozatában!
Előkészületben:
König Dénes: Mathematikai mulatságok
Kapható:
QUALICOOP GMK
1028 Budapest, Noén1i u. 26/b
Ára 100 Ft
---...
.--------- .......
FELADATOK SZÁMOKRÓL,
-- ~- "
PARA.l:>OXONOK, METAREJTVÉNYEK,
ÉS MÉG SOK MINDEN MÁS
Raymond Smullyan, a „Mi a címe ennek a
könyvnek?" című könyv szerzője, ebben a
könyvében is játékos és szórakoztató feladatok
során át a matematika igen mély kérdéseihez
vezet el minket.
A könyvben egyaránt találunk'jól bevált régi
1
és eredeti ötletekre épülő új rejtvényeket; egy-
szer-ijbb, ill. komoly fejtörést igénylő összetet-
tebb kérdéseket .. A feladatokban ismét szere-
pet kaptak lovagok és lókötők, örült és egész-
séges vámrjrok, remeték, királyok, varázslók,
elmegyógyászok, ápoltak és álmodozók.
Újra találkozhatunk Cra:ig felügyelővel is, aki a
világ első ;,matematikai regényében" egy kom-
binációs zár titka. kódját szeretné barátainak
segítségével megfejteni. Eközben olyan új és
' meglepő matematikai felfedezéseket tesz (az r
Olvasóval együtt) Gödel híres eldönthetetlen-
ségi tételével kapcsolatban, melyek nemcsak
a nagyközönség_, hanem a tudományos világ
előtt is ismeretlenek voltak eddig.
- : 150 Ft
al r.