On Saturday, July 4, 2020 at 5:39:49 AM UTC-5 Bruno Marchal wrote:
> > > On 4 Jul 2020, at 09:52, Philip Thrift <[email protected]> wrote: > > > > > > > > > > On forcing and quantum gravity: > > > > https://arxiv.org/search/quant-ph?searchtype=author&query=Kr%C3%B3l%2C+J > > I will take a closer look (in summer when I got more time). This looks > more interesting … for physics, and perhaps Mechanism. > > It might provides helpful tool to get the QM GR from the universal machine > introspection, some day. People needs to first get well familiarised with > the (mechanist) mind-body problem before (to be sure). > > Bruno > > > Simple, right? :) *Add forcing * Forcing as a computational process https://arxiv.org/abs/2007.00418 *to a proof assistant for QM* Physics and proof assistants http://hvg.ece.concordia.ca/events/formal-physics.htm https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4066961/ Categorical quantum mechanics https://www.cs.ox.ac.uk/teaching/courses/2019-2020/cqm/ w/ https://ncatlab.org/nlab/show/homotopy.io [proof assistant] *to get gravity* https://arxiv.org/abs/quant-ph/0303089 https://arxiv.org/abs/1602.02667 @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/355f09f2-bfaf-485f-a403-d05e122579bdn%40googlegroups.com.
