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

On 5/31/2020 4:32 PM, Bruce Kellett wrote: On Mon, Jun 1, 2020 at 9:05 AM 'Brent Meeker' via Everything List > wrote: On 5/31/2020 3:49 PM, Bruce Kellett wrote: On Mon, Jun 1, 2020 at 8:31 AM 'Brent Meeker' via Everything List

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

On Mon, Jun 1, 2020 at 9:05 AM 'Brent Meeker' via Everything List < everything-list@googlegroups.com> wrote: > On 5/31/2020 3:49 PM, Bruce Kellett wrote: > > On Mon, Jun 1, 2020 at 8:31 AM 'Brent Meeker' via Everything List < > everything-list@googlegroups.com> wrote: > >> On 5/31/2020 3:23 PM,

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

On 5/31/2020 3:49 PM, Bruce Kellett wrote: On Mon, Jun 1, 2020 at 8:31 AM 'Brent Meeker' via Everything List > wrote: On 5/31/2020 3:23 PM, Bruce Kellett wrote: On Mon, Jun 1, 2020 at 3:12 AM 'Brent Meeker' via Everything List

Re: Maxwell's Equations and Black Body radiation

On Saturday, May 30, 2020 at 6:41:35 PM UTC-6, Alan Grayson wrote: > > > > On Friday, May 29, 2020 at 9:31:19 AM UTC-6, Alan Grayson wrote: >> >> >> >> On Friday, May 29, 2020 at 9:07:12 AM UTC-6, John Clark wrote: >>> >>> On Fri, May 29, 2020 at 10:46 AM Alan Grayson >>> wrote: >>> >>> *>

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

On Mon, Jun 1, 2020 at 8:31 AM 'Brent Meeker' via Everything List < everything-list@googlegroups.com> wrote: > On 5/31/2020 3:23 PM, Bruce Kellett wrote: > > On Mon, Jun 1, 2020 at 3:12 AM 'Brent Meeker' via Everything List < > everything-list@googlegroups.com> wrote: > >> On 5/30/2020 10:44 PM,

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

On 5/31/2020 3:23 PM, Bruce Kellett wrote: On Mon, Jun 1, 2020 at 3:12 AM 'Brent Meeker' via Everything List > wrote: On 5/30/2020 10:44 PM, Bruce Kellett wrote: On Sun, May 31, 2020 at 2:26 AM Bruno Marchal mailto:marc...@ulb.ac.be>> wrote:

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

On Mon, Jun 1, 2020 at 3:12 AM 'Brent Meeker' via Everything List < everything-list@googlegroups.com> wrote: > On 5/30/2020 10:44 PM, Bruce Kellett wrote: > > On Sun, May 31, 2020 at 2:26 AM Bruno Marchal wrote: > >> >> Let us write f_n for the function from N to N computed by nth expression. >>

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

On 5/30/2020 10:44 PM, Bruce Kellett wrote: On Sun, May 31, 2020 at 2:26 AM Bruno Marchal > wrote: Let us write f_n for the function from N to N computed by nth expression. Now, the function g defined by g(n) = f_n(n) + 1 is computable, and is

Francesca Vidotto on quantum gravity

and her new book with Carlo Rovelli: https://daily.jstor.org/francesca-vidotto-the-quantum-properties-of-space-time/ "My philosophical background was also informed by the feminist philosophy of sciences. Feminist philosophers have been debating how you can have a notion of objectivity while

Re: The size of the universe

> On 31 May 2020, at 09:50, Russell Standish wrote: > > On Sun, May 24, 2020 at 01:21:38PM +0200, Bruno Marchal wrote: >> >>> On 24 May 2020, at 01:37, Russell Standish wrote: >>> >>> However, I would think that ultrafinitism would change COMP's >>> predictions, and in a sense be

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

On Sun, May 31, 2020 at 8:56 PM Bruno Marchal wrote: > > On 31 May 2020, at 10:08, Bruce Kellett wrote: > > That is your notation: "But then we get that g_k, applied to k has to give > f_k(k),” > > > That was a typo error. You need to read “g applied to k”. Sorry. But you > should have just ask

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

> On 31 May 2020, at 10:08, Bruce Kellett wrote: > > On Sun, May 31, 2020 at 5:21 PM Bruno Marchal > wrote: > On 31 May 2020, at 07:44, Bruce Kellett > wrote: >> On Sun, May 31, 2020 at 2:26 AM Bruno Marchal > >

Re: Witten proposes planet 9 is small black hole

On Saturday, May 30, 2020 at 1:49:23 PM UTC-5, ronaldheld wrote: > > Not certain those flyby micro craft will determine whether it exists. > Ronald > It requires some prior information on possible location. It is a radar or laser ranging process. It occurred to me that maybe a better

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

On Sun, May 31, 2020 at 5:21 PM Bruno Marchal wrote: > On 31 May 2020, at 07:44, Bruce Kellett wrote: > > On Sun, May 31, 2020 at 2:26 AM Bruno Marchal wrote: > >> >> Let us write f_n for the function from N to N computed by nth expression. >> >> Now, the function g defined by g(n) = f_n(n) +

Re: The size of the universe

On Sun, May 24, 2020 at 01:21:38PM +0200, Bruno Marchal wrote: > > > On 24 May 2020, at 01:37, Russell Standish wrote: > > > > However, I would think that ultrafinitism would change COMP's > > predictions, and in a sense be incompatibe with it. Some programs will > > not exist, because one

Re: Max Tegmark: AI discovers physics

> On 30 May 2020, at 21:51, ronaldheld wrote: > > Is the AI discovering some Physics or just fitting data which produces > equations that look like physical laws? The question is if the equation obtained makes the good predictions, on any, or at least “many” different data. It is easy to

Re: Max Tegmark: AI discovers physics

> 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 fundamentally incomputable. I use the Cantor (triadic) set, or the Baire space. But it is more the measure on the possible local

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

> On 31 May 2020, at 07:44, Bruce Kellett wrote: > > On Sun, May 31, 2020 at 2:26 AM Bruno Marchal > wrote: > > Let us write f_n for the function from N to N computed by nth expression. > > Now, the function g defined by g(n) = f_n(n) + 1 is computable, and is >

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

*we will still need an infinity of axioms to get the internal phenomenologies, including the stable measurable sharable quanta appearances, and the non sharable first person singular qualia experiences* or *Consciousness as a Physical Process Caused by the Organization of Energy in the