> On 26 May 2020, at 16:45, Philip Thrift <[email protected]> wrote: > > > > https://americanaffairsjournal.org/2020/05/science-without-validation-in-a-world-without-meaning/
Interesting. Of course this makes me happy: << Einstein, who was a kind of pantheist who identified God with the laws of nature, went so far as to say, “Science can be created only by those who are thoroughly imbued with the aspiration toward truth and understanding. This source of feeling, however, springs from the sphere of religion.”18 <https://americanaffairsjournal.org/2020/05/science-without-validation-in-a-world-without-meaning/#notes>We may not be able to attain truth in this sense, but there needs to be an aspiration toward truth, as defined within a humanly meaningful epistemology. This, Einstein argued, is rooted in religion. The salient point is that Einstein possessed a drive to know, and that drive came from a sense of the sacred deep within. >> Eventually, thanks to Gödel, Einstein seemed to have understood that mathematics might be the fundamental science, and that mathematics was by itself a source of mystery. With the assumption of Indexical Digital Mechanism (aka computationalisme, or simply Mechanism) the point is that there is no more choice in this matter. Scientific religion might be defined by the scientific studies of what is beyond science. Gödel’s incompleteness illustrates the possibility of this, and with Mechanism, Gödel-Löb-Solovay two theorems, leading to the mathematical theory G and G* provides the precise tool to study the geometry and topology of this intrinsic ignorance by all machines. The non emptiness of G* minus G explains where the aspiration of truth comes from, for the introspectively sane machine. It makes Mechanism refutable, and validated up to now. Bruno > > @philipthrift > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/7130f54a-9b83-4907-ace9-0dfd5b09bb21%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/8B0A0428-2F24-4BEE-AF7D-09E36E1CCD28%40ulb.ac.be.
