[Fis] Concluding Comments?

[Dr. Plamen L. Simeonov]

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!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!SsU3-gNIFwLZgKiiAaKmhhb1-cQGJaorxvmbNO3QLa-ar2RGlYGvCeFuJBLc7vMzwA0hIWAxk5GeRtvH74S8ZtEGJZZW$ 

3.

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> 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
> 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/20240307/76d190dc/attachment-0001.html>