[Fis] Limits of Formal Systems

[Plamen]

I am sorry. This comes with some delay. 
Ted Goranson from this group has tried this in his 2-sorted logic (2SL) changing stepwise  periodically LH with RH equation sides and vice versa to model small step multilayer advancements. I have evaluated this approach and despite being locally applicable in theory, I could not validate it would work on a global all-layers scale. This can become indefinitely complex and diverge at the end if you do not introduce other control points in that switchable causality.  It looks good, but practically may be strange. Multiple sorts between the layers might be necessary. Proved by 2-3 examples via induction, no theorems. I don’t know if Ted has come further in this quest.

Best,

Plamen

> On Feb 17, 2024, at 2:02 AM, Carlos Gershenson <cgershen at gmail.com> wrote:
> 
> 
> Dear Lou,
> 
> Thank you for your examples. 
> 
> 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. 
> 
> 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. 
> 
> 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?
> 
> Best wishes,
> Carlos
> 
> _______________________________________________
> Fis mailing list
> Fis at listas.unizar.es
> http://listas.unizar.es/cgi-bin/mailman/listinfo/fis
> ----------
> INFORMACIÓN SOBRE PROTECCIÓN DE DATOS DE CARÁCTER PERSONAL
> 
> Ud. recibe este correo por pertenecer a una lista de correo gestionada por la Universidad de Zaragoza.
> Puede encontrar toda la información sobre como tratamos sus datos en el siguiente enlace: https://sicuz.unizar.es/informacion-sobre-proteccion-de-datos-de-caracter-personal-en-listas
> Recuerde que si está suscrito a una lista voluntaria Ud. puede darse de baja desde la propia aplicación en el momento en que lo desee.
> http://listas.unizar.es
> ----------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listas.unizar.es/pipermail/fis/attachments/20240219/3e8942a9/attachment.html>