> On 7 Aug 2020, at 20:35, Lawrence Crowell <goldenfieldquaterni...@gmail.com> > wrote: > > Context is all if you are doing science, for in science we study objects and > events.
I think science is more general than that. When you do metaphysics with the scientific method, it might be better to not postulate objects and events, as this seems to presuppose already Aristotelian theology. Np need to military science. Science can study anything, propose theories about anything, as long as it gives mans of testing the theories, and evaluating their benefits. > If your interest is in doing pure mathematics or computer science that is > fine, but it in of itself does not give physics. Have you read my papers? I can prove that IF we assume Mechanism, then physics has to be justified entirely by the machine theology (by which I mean the study of the intensional variant of Solovay’s logic G*, as I have explained sometimes). > Feynman made some note of this. I found this little science fiction clip > interesting along these lines. It is about a dormant computer system > activating an attack sequence in a war that is long over. Note who in a sense > "won the war." The machines activate algorithms with no context to reality. Like brain and universal machine. Yes, they dream a lot, but from their own perspective, they belong to infinities of computations, and that is what we observe below pur substitution level. There is always some context with the basic reality, as a computation is a very particular number relation. You need a reality to have computations, but the physical reality is not an ontological reality: it becomes a first person plural observable by infinities of numbers. That is testable, and indeed it predicted both the “MWI” of physics, and the quantum formalism, at least up to now. The evidences accumulated that the physical observable are the canonical observable of neopythagoreanism. In fact, there are no evidence for a primary matter or for physicalism. The Renaissance has been only half-enlightenment: science will resume when we will also doubt in the fundamental (philosophy, religion) domain. You can compare with EPR. When I was young I was told that I would waste my time in studying such philosophical papers, but Bell contradicted this already and Shimony understood that what is thought as belonging to philosophy can become science later, as both theory and experimentation are improved. Same here: mechanism in theology is completely testable (that is: refutable), so we will see, soon or later, if Nature contradicts Mechanism. The truth itself can never be known as such (provably in the Mechanist theories). Bruno > > https://youtu.be/IjJmTeBSEzU <https://youtu.be/IjJmTeBSEzU> > > LC > > On Friday, August 7, 2020 at 9:43:38 AM UTC-5 Bruno Marchal wrote: >> On 7 Aug 2020, at 13:38, Lawrence Crowell <goldenfield...@gmail.com >> <applewebdata://A548C358-7171-494C-8157-C6B802857BF1>> wrote: >> >> That might be, but a programming language that has no context with anything >> is not that valuable. > > > At least, we should take the semantic of the reality on which that language > is based. A language per se is not enough. > > > > > >> At least it is not that valuable to me. My point is this seems to connect >> with concepts of spacetime as built up from large N entanglements. > > I agree, and the entanglement must be explained from the first person > indeterminacy, singular and plural, which are imposed by incompleteness on > all “creatures” living in arithmetic (or at its internal phenomenological > border given by the self-reference mode available to the universal machine. > > With mechanism, physics is a branch of machine biology (or psychology, or > better “theology” …). > > Bruno > > > > > >> >> LC >> >> On Thursday, August 6, 2020 at 4:17:44 PM UTC-5 cloud...@gmail.com >> <http://gmail.com/> wrote: >> Ultimately this is not really about "theory" (in the usual sense) at all, It >> is about defining a programming library: So it's really in the end a >> programmer's manual. >> >> Wolfram Physics Project Functions >> https://www.wolframcloud.com/obj/wolframphysics/Tools/guide-page >> <https://www.wolframcloud.com/obj/wolframphysics/Tools/guide-page> >> >> Hands-On Introduction to the Wolfram Physics Project >> https://www.wolframcloud.com/obj/wolframphysics/Tools/hands-on-introduction-to-the-wolfram-physics-project.nb >> >> <https://www.wolframcloud.com/obj/wolframphysics/Tools/hands-on-introduction-to-the-wolfram-physics-project.nb> >> >> (an extension of the Wolfram language/ecosystem) >> >> All of general relativity, quantum mechanics, and whatever comes next is to >> be written as programs in this library/language. >> >> @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 everything-li...@googlegroups.com >> <applewebdata://A548C358-7171-494C-8157-C6B802857BF1>. > >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/everything-list/b0c57930-3e00-4448-bdce-8ac6bf870b54n%40googlegroups.com >> >> <https://groups.google.com/d/msgid/everything-list/b0c57930-3e00-4448-bdce-8ac6bf870b54n%40googlegroups.com?utm_medium=email&utm_source=footer>. > > > -- > 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 everything-list+unsubscr...@googlegroups.com > <mailto:everything-list+unsubscr...@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/2a87d806-96c6-4aa7-b75e-b22534e95e1dn%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/2a87d806-96c6-4aa7-b75e-b22534e95e1dn%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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 everything-list+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/78998DC1-615E-4008-A26B-0F6E37A9CE13%40ulb.ac.be.