Re: identifying entities across database updates
From: Tegiri Nenashi <TegiriNenashi_at_gmail.com>
Date: Tue, 14 Jul 2009 20:36:29 -0700 (PDT)
Message-ID: <29119bb4-9522-4ba4-8a65-80347dba0ea1_at_c1g2000yqi.googlegroups.com>
Date: Tue, 14 Jul 2009 20:36:29 -0700 (PDT)
Message-ID: <29119bb4-9522-4ba4-8a65-80347dba0ea1_at_c1g2000yqi.googlegroups.com>
On Jul 14, 8:06 pm, Bob Badour <bbad..._at_pei.sympatico.ca> wrote:
> Are you saying lambda calculus is more complex?
Complexity is measured by a potential number of bugs. By that criteria TM simulator, e.g.
http://math.ucsd.edu/~sbuss/CourseWeb/MathLogic160/NobleJava/NobleJava.html
is both complex and fugly.
The underlying TM concepts ("tape", "read/write", "instruction") appeal to human intuition, but are by no means clean mathematical entities. I noticed my elevated confidence when programming heavily mathematical stuff: the code essentially writes itself and the the bugs are few and between. Received on Wed Jul 15 2009 - 05:36:29 CEST