[Fis] Concluding Comments?

[Louis Kauffman]

Plamen,
You are looking at the possibilities of computers and AI. This is evolutionary technology.
Computers indeed are an evolutionary edge of formal systems.
The other side of the coin, or the middle of the coin, is how we and our biology actually behave outside of 
formal systems. There is a life outside of these mechanisms and it is from this form of life, feeling, thought that 
the various systems that we know were and sometimes are created.
This becomes very important as the interfaces (that you look at in these articles) become more intimate.

We are not formal systems or even animated formal systems. It is because we are not that, that we can create them and participate in their
evolution. Of course I only say this last as my opinion, not as a universal truth.
Best,
Lou


> On Mar 7, 2024, at 3:34 AM, Dr. Plamen L. Simeonov <plamen.l.simeonov at gmail.com> wrote:
> 
> 
> 
> Well said. Thank you, Catlos.
> 
> I have one last question:
> 
> What do you and the FIS colleagues think of this kind of outlook for evolutionary formali(n)sation?
> 
> 1.
> 
> https://urldefense.com/v3/__https://news.mit.edu/2019/training-artificial-intelligence-brain-scan-0619__;!!D9dNQwwGXtA!TLNAiKWTyuVowMor-EBPHZsvAgO_AEjyqVrEpbhQIdzfJJaxvBD8VjIVnsi4fBFDeBjUcqpCJT1vU-kb$  <https://urldefense.com/v3/__https://news.mit.edu/2019/training-artificial-intelligence-brain-scan-0619__;!!D9dNQwwGXtA!SsU3-gNIFwLZgKiiAaKmhhb1-cQGJaorxvmbNO3QLa-ar2RGlYGvCeFuJBLc7vMzwA0hIWAxk5GeRtvH74S8ZtvCj4Rp$>
> 2.
> 
> https://urldefense.com/v3/__https://www.technologyreview.com/2023/05/01/1072471/brain-scans-can-translate-a-persons-thoughts-into-words/__;!!D9dNQwwGXtA!TLNAiKWTyuVowMor-EBPHZsvAgO_AEjyqVrEpbhQIdzfJJaxvBD8VjIVnsi4fBFDeBjUcqpCJT1EjAYn$  <https://urldefense.com/v3/__https://www.technologyreview.com/2023/05/01/1072471/brain-scans-can-translate-a-persons-thoughts-into-words/__;!!D9dNQwwGXtA!SsU3-gNIFwLZgKiiAaKmhhb1-cQGJaorxvmbNO3QLa-ar2RGlYGvCeFuJBLc7vMzwA0hIWAxk5GeRtvH74S8ZtEGJZZW$>
> 3.
> 
> https://urldefense.com/v3/__http://www.weforum.org/videos/davos-am23-ready-for-brain-transparency-english/__;!!D9dNQwwGXtA!TLNAiKWTyuVowMor-EBPHZsvAgO_AEjyqVrEpbhQIdzfJJaxvBD8VjIVnsi4fBFDeBjUcqpCJRwsFFHb$  <https://urldefense.com/v3/__http://www.weforum.org/videos/davos-am23-ready-for-brain-transparency-english/__;!!D9dNQwwGXtA!SsU3-gNIFwLZgKiiAaKmhhb1-cQGJaorxvmbNO3QLa-ar2RGlYGvCeFuJBLc7vMzwA0hIWAxk5GeRtvH74S8ZtSFL0yp$>
> 
> All the best!
> 
> Plamen
> 
> 
> On Wed, Mar 6, 2024 at 7:06 PM Carlos Gershenson <cgershen at gmail.com <mailto:cgershen at gmail.com>> wrote:
> Dear Pedro and colleagues,
> 
> Thank you very much for the lively discussions and commentaries. I have learned a lot.
> 
> I would not say these are concluding comments, as all questions remain open, but perhaps "summarizing comments".
> 
> I think that efforts to “fix” formal systems to go beyond or around their limits (à la Hilbert’s program) are doomed to fail. We still need to accept them or find a better way of dealing with them. Perhaps an alternative would be not to see them as something negative, but as something we can exploit/benefit from. I mean, just hypothetically imagine if mathematics was consistent, complete, and decidable. Yes, we would have absolute truths, we could have certainty. But would we have creativity? Innovation? Serendipity? In other words, we could eliminate many problems we suffer from, but perhaps we would have many more. Even worse, perhaps we would not even be here. For how could human culture evolve in a consistent, complete, and decidable world?
> 
> Of course, this does not mean that we should abandon science or formal methods. But by acknowledging their limits, we should be able to use different narratives to explore beyond them.
> 
> Best (albeit incomplete) wishes,
> 
> Carlos
> 
> _______________________________________________
> Fis mailing list
> Fis at listas.unizar.es <mailto:Fis at listas.unizar.es>
> http://listas.unizar.es/cgi-bin/mailman/listinfo/fis <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 <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 <http://listas.unizar.es/>
> ----------
> _______________________________________________
> Fis mailing list
> Fis at listas.unizar.es <mailto:Fis at listas.unizar.es>
> http://listas.unizar.es/cgi-bin/mailman/listinfo/fis <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/20240308/2f7d3328/attachment-0001.html>