On Fri, Apr 16, 2010 at 8:47 AM, Patrick Kelly <kameo76...@gmail.com> wrote: > Object-Orientation reduces static provability.
True (or true enough)? Not to engender a flame war, but my gut says there must be some Eiffel, Smalltalk, and LISP folk out there who are big on provability, but I can imagine that there's a case out there for saying not all OO implementations are the same. Is this a Gödel question? How do you prove OO reduces static provability? I'm totally OK with a "true enough" response like the measured complexity introduced makes it more problematic to determine static provability (as I talk out my ass). -Jack