
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div dir="auto" style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Dear Lou,<div><br></div><div>Thank you for your examples. </div><div><br></div><div>The Kleene argument precisely shows the relevance of the difference between theory and practice. In theory, there will always be undecidability in “powerful enough” formal systems. In practice, we can arbitrarily try out all algorithms that we want for a finite time, and come up with a table of whether they halted or not. </div><div><br></div><div>Now, the question would be whether with such a pragmatic approach we can overcome the limits of formal systems that prevent us from representing properly e.g. evolutionary innovations, and changes in function in general. </div><div><br></div><div>But maybe we just need two levels: one where rules don’t change, and another where we can allow rules and meaning to change. The thing is that the way in which rules and meaning change cannot change… but then if we add another layer… To avoid turtles all the way down, could we have layer A changing layer B and vice versa? A coevolution of formal systems?</div><div><br></div><div>Best wishes,<br><div>

<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant-ligatures: normal; font-variant-position: normal; font-variant-caps: normal; font-variant-numeric: normal; font-variant-alternates: normal; font-variant-east-asian: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; border-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-stroke-width: 0px;"><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Carlos</div></span></div></div>

</div>

<br></div></div></body></html>