Path: ...!weretis.net!feeder8.news.weretis.net!pasdenom.info!from-devjntp
Message-ID: <lKrldunYkapOyVp17vtG1137eFE@jntp>
JNTP-Route: nemoweb.net
JNTP-DataType: Article
Subject: Re: The puzzle science is solving
References: <18028c43ae3207f6$154608$936536$c2565adb@news.newsdemon.com>
Newsgroups: sci.physics.relativity
JNTP-HashClient: mdIk0dP_fq_0fhubbQol7yayEz0
JNTP-ThreadID: 18028c43ae3207f6$154608$936536$c2565adb@news.newsdemon.com
JNTP-Uri: https://www.nemoweb.net/?DataID=lKrldunYkapOyVp17vtG1137eFE@jntp
User-Agent: Nemo/1.0
JNTP-OriginServer: nemoweb.net
Date: Mon, 28 Oct 24 10:36:24 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (X11; Linux x86_64; rv:109.0) Gecko/20100101 Firefox/115.0
Injection-Info: nemoweb.net; posting-host="37b81f90581ca635281bc255fa5ba21eded1a7f1"; logging-data="2024-10-28T10:36:24Z/9077915"; posting-account="190@nemoweb.net"; mail-complaints-to="julien.arlandis@gmail.com"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: Python <python@not-formail.invalid>
Bytes: 1827
Lines: 15

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.