solution to 4.15

diff --git a/src/sicp/ex4_15.rkt b/src/sicp/ex4_15.rkt
new file mode 100644 (file)
index 0000000..689a1c9
--- /dev/null
+++ b/src/sicp/ex4_15.rkt
@@ -0,0 +1,16 @@
+#lang racket
+
+(define (run-forever)
+  (run-forever))
+
+(define (try p)
+  (if (halts? p p)
+      (run-forever)
+      'halted))
+
+#|
+
+Now, if you run (try try) then, we check if (try try) would halt. If it halts, then we run forever, else we return.
+This is contradictory to the assumption.
+
+|#
\ No newline at end of file