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

> On 1 Jun 2020, at 00:23, Bruce Kellett wrote: > > On Mon, Jun 1, 2020 at 3:12 AM 'Brent Meeker' via Everything List > mailto: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 >

Infinity is a theism, and Doron Zeilberger is an atheist.

Interview with Doron Zeilberger: https://www.youtube.com/watch?v=uNYRUUkuhuo @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

Re: The size of the universe

On Tue, Jun 2, 2020 at 9:59 AM 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 >>> wrote: >>> On Monday, May 18, 2020 at 9:20:36 PM UTC-6, Jason wrote: > >

Re: The size of the universe

On Mon, Jun 1, 2020 at 8:31 AM 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/ >> >> It's first of what I hope will

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

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 have incompleteness directly with respect to the computable functions, even limited on

Re: The size of the universe

On Mon, Jun 1, 2020 at 6:26 AM 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/ >> >> It's first of what I hope will

Re: Infinity is a theism, and Doron Zeilberger is an atheist.

Infinity is something that is dependent upon the model system you are working with. I tend to work with Hilbert spaces that are finite, but unbounded, or where the quantum states of importance are finite. This is sort of in line with Aristotle's idea of infinity as a potential thing or with

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

> On 1 Jun 2020, at 12:37, Bruce Kellett wrote: > > On Mon, Jun 1, 2020 at 7:08 PM Bruno Marchal > wrote: > On 1 Jun 2020, at 00:23, Bruce Kellett > wrote: >> On Mon, Jun 1, 2020 at 3:12 AM 'Brent Meeker' via Everything List >>

Re: The size of the universe

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 Numbers can be so big they become scary. Jason On Sat, May 23, 2020 at 6:37

Re: Max Tegmark: AI discovers physics

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 fundamentally incomputable. > > > I use the Cantor (triadic)

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

On Monday, June 1, 2020 at 12:13:32 PM UTC+2, Lawrence Crowell wrote: > > It took a while for me to get to this. The formula f_k(k) = f(k)+1 and g > such that you get 0 = 1 appears to be the contradiction one gets with the > enumeration of all Gödel numbers. This illustrates in Gödel's first

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

On Mon, Jun 1, 2020 at 7:08 PM Bruno Marchal wrote: > On 1 Jun 2020, at 00:23, 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, Bruce Kellett wrote: >> >> On Sun, May 31, 2020 at

Re: Infinity is a theism, and Doron Zeilberger is an atheist.

Hi Philip, Most neoplatonists would agree that infinity is a theism, and indeed the term “cardinal” has been used with that idea in mind, notably when Cantor justified that he was not blaspheming when giving name to the infinities, as it shows immediately that the big total infinity of

Re: The size of the universe

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/ > > It's first of what I hope will be a series of articles which are > largely inspired by some

Re: The size of the universe

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/ > > It's first of what I hope will be a series of articles which are > largely inspired by some

Re: The size of the universe

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://alwaysasking.com/how-big-is-the-universe/ >> >> It's first of

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

It took a while for me to get to this. The formula f_k(k) = f(k)+1 and g such that you get 0 = 1 appears to be the contradiction one gets with the enumeration of all Gödel numbers. This illustrates in Gödel's first theorem that no axiomatic system can determine its consistency. I am not sure

Re: The size of the universe

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 length of a ruler. 2. *Stop button:* raises the ruler so that the photon hits it at a certain point that we can measure.

Re: The size of the universe

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 >> 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

Re: The size of the universe

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 length of a ruler. > 2. *Stop button:* raises the

Re: The size of the universe

On Monday, June 1, 2020 at 1:43:09 PM UTC-6, Jason wrote: > > > > On Mon, Jun 1, 2020 at 8:31 AM 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: >>>

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

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 its Gödel numbers, or what happens with a universal Turing