Generalized Physics-Informed Learning Through Language-Wide Differentiable Programming

"an infrastructure for incorporating deep learning into existing scientific computing code through Differentiable Programming (∂P)" "a ∂P system that is able to take gradients of full Julia programs, making Automatic Differentiation a first class language feature" *Generalized Physics-Informed

Re: Gödel's Miracle and Why Conventionalism makes no sense in Computer Science

On Tuesday, June 2, 2020 at 12:34:37 PM UTC-5, Brent wrote: > > > > On 6/2/2020 2:49 AM, Bruno Marchal wrote: > >> On 1 Jun 2020, at 22:43, 'Brent Meeker' via Everything List < > everyth...@googlegroups.com > wrote: > >> > >> > >> > >> On 6/1/2020 2:08 AM, Bruno Marchal wrote: > >>> Brent s

Re: Gödel's Miracle and Why Conventionalism makes no sense in Computer Science

On 6/2/2020 2:49 AM, Bruno Marchal wrote: On 1 Jun 2020, at 22:43, 'Brent Meeker' via Everything List wrote: On 6/1/2020 2:08 AM, Bruno Marchal wrote: Brent suggest that we might recover completeness by restricting N to a finite domain. That is correct, because all finite function are c

Re: The size of the universe

On Tuesday, June 2, 2020 at 4:33:39 AM UTC-6, Bruno Marchal wrote: > > > On 2 Jun 2020, at 03:07, Alan Grayson > > wrote: > > > > On Monday, June 1, 2020 at 3:58:01 PM UTC-6, Jason wrote: >> >> Let's say time and space are continuous. Now lets design a stop watch >> that works as follows: >> >>

Re: Max Tegmark: AI discovers physics

> On 1 Jun 2020, at 18:46, Lawrence Crowell > wrote: > > On Sunday, May 31, 2020 at 2:37:22 AM UTC-5, Bruno Marchal wrote: > >> On 30 May 2020, at 19:24, Lawrence Crowell > > wrote: >> >> I wrote a paper recently for publication on how the unital set of QM is a >> Cantor/fractal set that is

Re: The size of the universe

> On 2 Jun 2020, at 03:07, Alan Grayson wrote: > > > > On Monday, June 1, 2020 at 3:58:01 PM UTC-6, Jason wrote: > Let's say time and space are continuous. Now lets design a stop watch that > works as follows: > > 1. Start button: shoots a photon with a wavelength of 300 nanometers down the

Re: The size of the universe

> On 2 Jun 2020, at 01:59, Jason Resch wrote: > > > > On Monday, June 1, 2020, Bruce Kellett > wrote: > On Tue, Jun 2, 2020 at 5:39 AM Jason Resch > wrote: > On Mon, Jun 1, 2020 at 6:26 AM Alan Grayson

Re: The size of the universe

> On 1 Jun 2020, at 19:31, Jason Resch wrote: > > Speaking of large but finite numbers, I think sometimes we forget just how > big some finite numbers can be: > > This article really stretched my brain/hurt my head: > https://waitbutwhy.com/2014/11/100-grahams-number.html >

Re: The size of the universe

> On 1 Jun 2020, at 15:55, Alan Grayson wrote: > > > > On Monday, June 1, 2020 at 7:31:14 AM UTC-6, Alan Grayson wrote: > > > On Monday, May 18, 2020 at 9:20:36 PM UTC-6, Jason wrote: > I recently wrote an article on the size of the universe and the scope of > reality: > https://alwaysaskin

Re: The size of the universe

> On 1 Jun 2020, at 13:26, Alan Grayson wrote: > > > > On Monday, May 18, 2020 at 9:20:36 PM UTC-6, Jason wrote: > I recently wrote an article on the size of the universe and the scope of > reality: > https://alwaysasking.com/how-big-is-the-universe/ >

Re: Gödel's Miracle and Why Conventionalism makes no sense in Computer Science

> On 2 Jun 2020, at 02:54, Lawrence Crowell > wrote: > > This can be thought of as Turing machine computation. The undecidability is a > sort of epistemic horizon. We can make these functions a state and > measurement, and the 0 = 1 result when an axiomatic system is set to > enumerate all i

Re: Gödel's Miracle and Why Conventionalism makes no sense in Computer Science

> On 1 Jun 2020, at 22:43, 'Brent Meeker' via Everything List > wrote: > > > > On 6/1/2020 2:08 AM, Bruno Marchal wrote: >> Brent suggest that we might recover completeness by restricting N to a >> finite domain. That is correct, because all finite function are computable, >> but then, we