Sujet : Re: The puzzle science is solving
De : python (at) *nospam* not-formail.invalid (Python)
Groupes : sci.physics.relativityDate : 28. Oct 2024, 11:36:24
Autres entêtes
Organisation : Nemoweb
Message-ID : <lKrldunYkapOyVp17vtG1137eFE@jntp>
References : 1
User-Agent : Nemo/1.0
Le 28/10/2024 à 08:10, Maciej Wozniak a écrit :
It is not "how things really are". It
is "which word sequences are good ones".
It's an optimization problem with no
one-and-unique solution.
You may be interested by Jean-Louis Krivine's work, he's a logician and is proposing a foundation for maths and physics based on an idea that /could/ be expressed as such (who knows what your ideas are, but anyway...)
https://www.irif.fr/~krivine/His last book for the general public was recently published : "Les décompilateurs". AFAIK not translated into any langage yet.
Re: The puzzle science is solving