Re: Questions about the Equivalence Principle (EP) and GR

On Saturday, March 2, 2019 at 2:29:50 AM UTC-7, agrays...@gmail.com wrote: > > > > On Friday, March 1, 2019 at 10:14:02 PM UTC-7, agrays...@gmail.com wrote: >> >> >> >> On Thursday, February 28, 2019 at 12:09:27 PM UTC-7, Brent wrote: >>> >>> >>> >>> On 2/28/2019 4:07 AM, agrays...@gmail.com wrot

Re: When Did Consciousness Begin?

On 3/5/2019 4:06 AM, Bruno Marchal wrote: RNA, proteins, krebs cycle, and proton pumps are all necessary for that. That is carbon chauvinism, with all my respect. I am a lover of Krebs cycle, and even more Calvin cycle (in photosynthesis). My initial inspiration of Mechanism came from Mole

Re: Recommend this article, Even just for the Wheeler quote near the end

On Tuesday, March 5, 2019 at 6:23:42 AM UTC-6, Bruno Marchal wrote: > > > On 5 Mar 2019, at 00:43, Brent Meeker > > wrote: > > > > On 3/4/2019 3:54 AM, Bruno Marchal wrote: > > > On 3 Mar 2019, at 20:43, Brent Meeker > > wrote: > > > > On 3/3/2019 4:52 AM, Philip Thrift wrote: > > >> > Here's a

Re: A Program to Compute Gödel-Löb Fixpoints

> On 2 Mar 2019, at 14:19, Lawrence Crowell > wrote: > > I guess I am not sure what a Gödel-Löb fixed point is. Is this somehow > analogous to a Brouwer fixed points in maps or diffeomorphisms of spaces? There are some analogies, some of which can be made technically precise, but that requi

Re: When Did Consciousness Begin?

> On 2 Mar 2019, at 08:22, Philip Thrift wrote: > > > > On Friday, March 1, 2019 at 6:25:05 PM UTC-6, Bruno Marchal wrote: > >> On 1 Mar 2019, at 09:28, Philip Thrift > >> wrote: >> >> >> >> On Friday, March 1, 2019 at 2:05:03 AM UTC-6, Philip Thrift wrote: >> >> >> On Thursday, Februar

Re: Recommend this article, Even just for the Wheeler quote near the end

> On 1 Mar 2019, at 20:42, Philip Thrift wrote: > > > > On Friday, March 1, 2019 at 8:49:54 AM UTC-6, Bruno Marchal wrote: > >> On 1 Mar 2019, at 01:42, Lawrence Crowell > > wrote: >> >> >> >> On Monday, February 25, 2019 at 9:42:01 AM UTC-6, Bruno Marchal wrote: >> >>> On 25 Feb 2019, at

Re: When Did Consciousness Begin?

> On 1 Mar 2019, at 19:45, Philip Thrift wrote: > > > > On Friday, March 1, 2019 at 9:08:43 AM UTC-6, Bruno Marchal wrote: > >> On 28 Feb 2019, at 22:47, Brent Meeker > >> wrote: >> >> >> >> On 2/28/2019 1:17 PM, Philip Thrift wrote: >>> >>> >>> The best current philosopher of (and writ

Re: Are there real numbers that cannot be defined?

On Tue, Mar 5, 2019 at 9:57 AM Bruno Marchal wrote: *> But in the “theology of the machine”* [...] Given the fact that I don't have an infinite amount of time to read things my rule of thumb is to stop reading whenever I encounter the T word. John K Clark > -- You received this message

What is the largest integer you can write in 5 seconds?

It's easy to prove that the Busy Beaver Function grows faster than *ANY* computable function because if there were such a faster growing function you could use it to solve the Halting Problem. So if you're ever in a contest to see who can name the largest integer in less than 5 seconds just write B

Re: Are there real numbers that cannot be defined?

> On 5 Mar 2019, at 15:40, John Clark wrote: > > On Tue, Mar 5, 2019 at 7:40 AM Bruno Marchal > wrote: > > > (And what is proof anyway?) I did not wrote that. > > A proof is a construction made from a finite set of axioms using a finite set > of rules. Yes. Tha

Re: Are there real numbers that cannot be defined?

> On 5 Mar 2019, at 15:20, John Clark wrote: > > On Tue, Mar 5, 2019 at 12:55 AM Russell Standish > wrote: > > > The usual meaning of computable integer is that there exists a program that > > outputs it. > > There is no point in arguing over the meaning of a wo

Re: Are there real numbers that cannot be defined?

On Tue, Mar 5, 2019 at 8:03 AM Bruno Marchal wrote: > *The expression "Non computable numbers” appears only in intuitionist > logic,* If so then just by reading the title of Turing's famous 1936 paper where he first described a device that we now call a Turing Machine you'd have to conclude tha

Re: Are there real numbers that cannot be defined?

On Tue, Mar 5, 2019 at 7:40 AM Bruno Marchal wrote: > *(And what is proof anyway?)* > A proof is a construction made from a finite set of axioms using a finite set of rules. If the axioms and the rules are sound then the proof will tell you something about the nature of reality, if they are not

Re: Are there real numbers that cannot be defined?

On Tue, Mar 5, 2019 at 12:55 AM Russell Standish wrote: > *The usual meaning of computable integer is that there exists a program > that outputs it.* There is no point in arguing over the meaning of a word, but if that is what you mean then there is a particular form of "computation" that is as

Re: Are there real numbers that cannot be defined?

> On 5 Mar 2019, at 00:42, Bruce Kellett wrote: > > On Tue, Mar 5, 2019 at 10:25 AM Russell Standish > wrote: > On Mon, Mar 04, 2019 at 05:31:00PM -0500, John Clark wrote: > > On Mon, Mar 4, 2019 at 11:04 AM Bruno Marchal > > wrote: > >

Re: Are there real numbers that cannot be defined?

> On 4 Mar 2019, at 23:31, John Clark wrote: > > On Mon, Mar 4, 2019 at 11:04 AM Bruno Marchal > wrote: > > >> I don't follow you. If the 8000th BB number is unknowable then it is > >> certainly uncomputable > > > That is not true. All natural number n are computabl

Re: Are there real numbers that cannot be defined?

> On 4 Mar 2019, at 21:34, Philip Thrift wrote: > > > > On Monday, March 4, 2019 at 12:00:05 PM UTC-6, John Clark wrote: > > > And proof is not truth. > ... > > John K Clark > > > > > Of course truth == proof in the land of radical intuitionists-constructivists. And John does not def

Re: Recommend this article, Even just for the Wheeler quote near the end

> On 5 Mar 2019, at 00:43, Brent Meeker wrote: > > > > On 3/4/2019 3:54 AM, Bruno Marchal wrote: >> >>> On 3 Mar 2019, at 20:43, Brent Meeker >> > wrote: >>> >>> >>> >>> On 3/3/2019 4:52 AM, Philip Thrift wrote: Here's an example David Wallace

Re: When Did Consciousness Begin?

> On 4 Mar 2019, at 19:48, Brent Meeker wrote: > > > > On 3/4/2019 3:45 AM, Bruno Marchal wrote: >> Unconsciousness is an illusion of consciousness … It should be obvious that >> “being unconscious” cannot be a first person experience, for logical reason. >> To die is not a personal event.

Re: When Did Consciousness Begin?

> On 4 Mar 2019, at 19:47, Brent Meeker wrote: > > > > On 3/4/2019 3:45 AM, Bruno Marchal wrote: >>> I have had two relatives die of Alzheimers and they lost their identity >>> gradually as they lost memory. >> They lost they memory. Not their identity, but the apprehension of their >> id

Re: When Did Consciousness Begin?

> On 4 Mar 2019, at 19:46, Brent Meeker wrote: > > > > On 3/4/2019 3:32 AM, Bruno Marchal wrote: >> >> >> Snip > > A bacterium doesn't have Turing universiality, only bacteria in the > abstract of a potentially infinite set of evolving bacteria interacting > with t