Kvinden eller tigeren? og andre opgaver i logik

by Raymond Smullyan

Paper Book, 1983

Status

Available

Call number

793.73

Library's review

Indeholder "Forord", "Første del: Kvinden eller tigeren?", "1. Gamle travere - og nyere", "2. Kvinder eller tigre?", "3. Det franske sindssygehospital", "4. Craig på besøg i Transylvanien", "Anden del: Gåder og metagåder", "5. Spørgernes ø", "6. Drømmenes ø", "7. Metagåder", "Tredie del:
Show More
Mysteriet om kodelåsen i Monte Carlo", "8. Mysteriet om kodelåsen i Monte Carlo", "9. En mærkelig talmaskine", "10. Craigs lov", "11. Fergussons lov", "12. Mellemspil: Lad os generalisere!", "13. Nøglen", "Fjerde del: Løselig eller uløselig?", "14. Fergussons logikmaskine", "15. Bevislighed og sandhed", "16. Maskiner der taler om sig selv", "17. Dødelige og udødelige tal", "18. Maskinen der aldrig blev bygget", "19. Leibniz' drøm".

"Forord" handler om Raymond Smullyans tanker i forbindelse med bogen og oplevelser med læsere, der kalder det en matematisk roman.
"Første del: Kvinden eller tigeren?" handler om opgaver, hvor man skal regne ud om der er tigre eller kvinder bag en dør.
"1. Gamle travere - og nyere" handler om ???
"2. Kvinder eller tigre?" handler om ???
"3. Det franske sindssygehospital" handler om ???
"4. Craig på besøg i Transylvanien" handler om ???
"Anden del: Gåder og metagåder" handler om mere indviklede systemer af gåder.
"5. Spørgernes ø" handler om ???
"6. Drømmenes ø" handler om ???
"7. Metagåder" handler om ???
"Tredie del: Mysteriet om kodelåsen i Monte Carlo" handler om en mærkelig kodelås, der kan åbnes med sekvensen RVLVQRVLVQ og sikkert andre lignende sekvenser.
"8. Mysteriet om kodelåsen i Monte Carlo" handler om ???
"9. En mærkelig talmaskine" handler om ???
"10. Craigs lov" handler om ???
"11. Fergussons lov" handler om ???
"12. Mellemspil: Lad os generalisere!" handler om ???
"13. Nøglen" handler om ???
"Fjerde del: Løselig eller uløselig?" handler om Kurt Gödels sætninger.
"14. Fergussons logikmaskine" handler om ???
"15. Bevislighed og sandhed" handler om ???
"16. Maskiner der taler om sig selv" handler om ???
"17. Dødelige og udødelige tal" handler om ???
"18. Maskinen der aldrig blev bygget" handler om ???
"19. Leibniz' drøm" handler om en drøm om at bygge et solidt fundament, men den bliver punkteret af det arbejde som Gödel, Rosser, Church, Kleene, Turing og Post gør.

Oversættelsen er ikke helt god. Fx er der kommet et "ikke" for meget ind et sted. Det er ikke godt i den her slags bøger. Men selve bogen er god nok, så den engelske udgave ville jeg nok give en stjerne mere.
Show Less

Publication

[Kbh.] Erichsen 1983 203 s. 20 cm 1. danske oplag

Description

"Another scintillating collection of brilliant problems and paradoxes by the most entertaining logician and set theorist who ever lived." -- Martin Gardner. Inspired by the classic tale of a prisoner's dilemma, these whimsically themed challenges involve paradoxes about probability, time, and change; metapuzzles; and self-referentiality. Nineteen chapters advance in difficulty from relatively simple to highly complex.

User reviews

LibraryThing member rhymeswithtequila
My father gave me this book when I was about 10 and then swiped it back when I went off to college. I finally got myself a new copy a few years ago, and plan to give (give may be too strong of a word... let's say lend...) it to my own kids...

What a wonderful way to exercise your brain

Subjects

Language

Original language

English

Original publication date

1982

Physical description

203 p.; 20 cm

ISBN

8755509487 / 9788755509481

Local notes

Omslag: Designgrafik
Omslaget viser en kvinde og en tiger
Indskannet omslag - N650U - 150 dpi
Oversat fra amerikansk "The Lady or the Tiger?" af Henning Albrechtsen
Side 155: Hvorledes vil De begrunde, at den besvarelse, jeg har afleveret ikke er noget bevis? De har aldrig i den tid, hvor vi har fået undervisning af Dem, nærmere defineret, hvad et bevis er. De har været beundringsværdigt koncis, når det gjaldt definitionerne på sådanne begreber som trekanter, kvadrater, cirkler, parallelle linjer, vinkelrette linjer og mange andre ting indenfor geometrien, men De har ikke så meget som én gang fortalt os, hvordan De nøjagtigt definerer, hvad De mener med ordet et "bevis". Hvordan kan De så med så stor sikkerhed hævde, at den besvarelse, jeg har givet, ikke er noget bevis? Hvorledes vil De bevise, at mit bevis ikke er et bevis?
Side 191: Hvorledes kunne Fergusson vide, at ingen maskine, der adlyder regel 1 og regel 2 ikke kan løse sit eget udødelighedsproblem?
Der er kommet et "ikke" for meget ind i den oversættelse på side 191, for originalen lyder: How did Fergusson know that no machine obeying Rules 1 and 2 can solve its own mortality problem?

Pages

203

Library's rating

Rating

(33 ratings; 4.2)

DDC/MDS

793.73
Page: 1.0232 seconds