WHATSMAN@NNN

先生は、学生たちに抜き打ちテストを行うために、彼らの前で次のように宣告した。

「来週の月曜日から金曜日までのいずれかの日に抜き打ちテストを行う」

これを聞いたある学生は次のように推論した。

「抜き打ちテスト」という言葉を論理学的に推論しやすくするため、「ある日にテストが行われることが、前日までには予測できないテスト」であると定義する。すると、以下のように推論できる。

まず、金曜日に抜き打ちテストがあると仮定する。すると、月曜日から木曜日まで抜き打ちテストがないことになるから、木曜日の夜の時点で、翌日(金曜日)が抜き打ちテストの日であると予測できてしまう。これは、先ほどの「抜き打ちテスト」の定義に矛盾する。よって、金曜日には抜き打ちテストを行うことができないということが分かる。
次に、木曜日に抜き打ちテストがあると仮定する。すると、月曜日から水曜日まで抜き打ちテストがないことになるから、水曜日の夜の時点で木曜日か金曜日のどちらかの日に抜き打ちテストがあることが予測できるが、1.により金曜日には抜き打ちテストがないことが既に分かっているので、翌日(木曜日)が抜き打ちテストの日であると予測できてしまう。これも、先ほどの「抜き打ちテスト」の定義に矛盾する。よって、木曜日にも抜き打ちテストを行うことができないということが分かる。
以下同様に推論していくと、水曜日、火曜日、月曜日にも抜き打ちテストを行うことができないということが分かる。したがって、「先生はいずれの日にも抜き打ちテストを行うことができない」という結論になる。

そして、抜き打ちテストが予告された週になった。木曜日まではこの学生の予想通りに抜き打ちテストは行われなかった。しかし、金曜日になって先生が「では、今から抜き打ちテストを行う。」と宣告したのである。

すかさずこの学生が立ち上がり、前記の推論を述べて抜き打ちテストを行うことができないことを説明した。すると、先生はこう反論した。

「君は今日抜き打ちテストが行われないと思っていた。ならば抜き打ちテストは成立しているじゃないか!」

学生は唖然とし、首をかしげたまま抜き打ちテストを受けることになった。以上が「抜き打ちテストのパラドックス」である。

  1. katti-hanson reblogged this from nozma
  2. munmukke reblogged this from mnky
  3. my8tumblike reblogged this from restr-ei
  4. phyllum reblogged this from flatmountain
  5. cakm reblogged this from noriichi
  6. 3110v830 reblogged this from mnky and added:
    これはシステム設計する人間も陥りやすいロジック。とにかく思考を展開させるために前提を欲する。ここでは抜き打ちテストという概念に立てた前提によって、その後の推論が現実的でなくなってしまった。
  7. unitribal reblogged this from toraumaboxer
  8. aspara reblogged this from bucket
  9. toraumaboxer reblogged this from bucket
  10. bucket reblogged this from yaruo
  11. pag-yoshi-fujimoto-takuma reblogged this from masaro99
  12. masaro99 reblogged this from yaruo
  13. qtaroqhoji reblogged this from sezitak
  14. blasno reblogged this from the-whoooooooo
  15. oharico reblogged this from masaka
  16. awaodori reblogged this from robox
  17. the-whoooooooo reblogged this from masaka
  18. hikutuo reblogged this from yaruo
  19. goz5 reblogged this from masaka
  20. atskhn reblogged this from towelman
  21. masaka reblogged this from infinity-d
  22. towelman reblogged this from yaruo
  23. girio reblogged this from clumsy-k
  24. kkazzou reblogged this from ycums
  25. zuma-m reblogged this from infinity-d
  26. zaki123 reblogged this from clumsy-k
  27. charzred reblogged this from atehaka
  28. clumsy-k reblogged this from biggarden
  29. biggarden reblogged this from c-f-m
  30. qawsklp reblogged this from yaruo
  31. infinity-d reblogged this from yaruo
  32. kennak reblogged this from atehaka
  33. zouz reblogged this from hakidamechantext
  34. hakidamechantext reblogged this from flatmountain
  35. yukicorkboard reblogged this from sawotome
  36. onykue reblogged this from wayayaya
  37. misoka reblogged this from atehaka
  38. teppey reblogged this from liquidstyle