Content deleted Content added
Line 382:
::::::::: I've revised the [[Bohm tree]] page, although I haven't put references in yet and the phrasing is awkward because I've tried to keep it non-mathematical (and so I didn't quote Barendregt). It may help giving "values" for terms that do not have normal forms, but I don't think you need it for the "not" example; I think the fixed point I gave for that earlier should serve? [[User:Haklo|Haklo]] ([[User talk:Haklo|talk]]) 12:45, 16 January 2014 (UTC)
:::::::::: The point is; your right and I was wrong. The Y combinator applied to a function must represent a single value in the LC ___domain. Its a definitional thing. The ___domain of LC is not necessarily the same as the ___domain of the function. Crow must be eaten. I have added a section Values and domains, but of course feel to rewrite or modify. Your changes to the Bohm tree are good and make it more understandable. I get the motivation but I dont fully understand yet. [[User:Thepigdog|Thepigdog]] ([[User talk:Thepigdog|talk]]) 14:09, 16 January 2014 (UTC)
==Its not magic==
| |||