問題4.15

問題4.15 – SICP（計算機プログラムの構造と解釈）その187

2009年05月25日

(halts? p a) は任意の手続き p がオブジェクト a で停止するかどうかを判定する。
停止する場合は真を返し、停止しない場合は偽を返す。

(define (try p)
  (if (halts? p p)
      (run-forever)
      'halted))

式 (try try) を評価すると、
(halts try try) が真（停止する）の場合、(try try) は停止しない。
(halts try try) が偽（停止しない）の場合、(try try) は停止する。
となり、矛盾する。

posted with amazlet at 08.11.07

ジェラルド・ジェイサスマンジュリーサスマンハロルドエイブルソン
ピアソンエデュケーション
売り上げランキング: 6542