Re: Principle of Equivalence

On Sunday, July 5, 2020 at 10:02:52 AM UTC-6, John Clark wrote: > > On Sat, Jul 4, 2020 at 10:55 AM Alan Grayson > wrote: > > > *tensors are inherently independent of coordinate systems* > > > Yes exactly, but it's not easy to find a tensor that correctly describes > how objects move through

Re: Principle of Equivalence

On Sat, Jul 4, 2020 at 10:55 AM Alan Grayson wrote: > *tensors are inherently independent of coordinate systems* Yes exactly, but it's not easy to find a tensor that correctly describes how objects move through spacetime, and its far from obvious that such a tensor even exists, but it does and

Re: Forcing as a computational process

On Thursday, July 2, 2020 at 6:48:08 AM UTC-5 Philip Thrift wrote: > https://arxiv.org/abs/2007.00418 > > [Submitted on 1 Jul 2020] > *Forcing as a computational process* > > > Something in a real language (Lean 3): *A formalization of forcing and the unprovability of the continuum hypothesis