week1: functional ocaml turing complete after all
authorJim Pryor <profjim@jimpryor.net>
Sun, 19 Sep 2010 18:47:27 +0000 (14:47 -0400)
committerJim Pryor <profjim@jimpryor.net>
Sun, 19 Sep 2010 18:47:30 +0000 (14:47 -0400)
I think the presence of primitive let rec --> full Y combinator --> more
powerful than just second-order polymorphic lambda calculus, which is
strongly normalizing.

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
week1.mdwn

index 967f814..f87ee98 100644 (file)
@@ -356,8 +356,6 @@ combinatorial logic</td>
 </table>
 
 
 </table>
 
 
-[Correction: OCaml is Turing complete, but I'm not sure if the merely functional part is; I suspect it's not.]
-
 
 Rosetta Stone
 =============
 
 Rosetta Stone
 =============