Re: Church-Turing Thesis

> On 29 Aug 2018, at 19:11, agrayson2...@gmail.com wrote: > > > > On Wednesday, August 29, 2018 at 12:14:50 AM UTC-6, Bruno Marchal wrote: > >> On 29 Aug 2018, at 02:30, agrays...@gmail.com wrote: >> >> >> >> On Tuesday, August 28, 2018 at 2:19:40 AM UTC-6, Bruno Marchal wrote: >> >>> On

Re: Church-Turing Thesis

On Wednesday, August 29, 2018 at 12:14:50 AM UTC-6, Bruno Marchal wrote: > > > On 29 Aug 2018, at 02:30, agrays...@gmail.com wrote: > > > > On Tuesday, August 28, 2018 at 2:19:40 AM UTC-6, Bruno Marchal wrote: >> >> >> On 27 Aug 2018, at 19:54, agrays...@gmail.com wrote: >> >> >> >> On

Re: Church-Turing Thesis

> On 29 Aug 2018, at 02:30, agrayson2...@gmail.com wrote: > > > > On Tuesday, August 28, 2018 at 2:19:40 AM UTC-6, Bruno Marchal wrote: > >> On 27 Aug 2018, at 19:54, agrays...@gmail.com wrote: >> >> >> >> On Saturday, August 25, 2018 at 1:11:47 AM UTC-6, Bruno Marchal wrote: >> >>> On

Re: Church-Turing Thesis

On Tuesday, August 28, 2018 at 2:19:40 AM UTC-6, Bruno Marchal wrote: > > > On 27 Aug 2018, at 19:54, agrays...@gmail.com wrote: > > > > On Saturday, August 25, 2018 at 1:11:47 AM UTC-6, Bruno Marchal wrote: >> >> >> On 25 Aug 2018, at 01:15, agrays...@gmail.com wrote: >> >> >> >> On Friday,

Re: Church-Turing Thesis

> On 27 Aug 2018, at 20:18, agrayson2...@gmail.com wrote: > > > > On Friday, August 24, 2018 at 3:22:39 AM UTC-6, Bruno Marchal wrote: > >> On 24 Aug 2018, at 00:53, agrays...@gmail.com wrote: >> >> >> >> On Thursday, August 23, 2018 at 5:55:33 PM UTC, agrays...@gmail.com >>

Re: Church-Turing Thesis

> On 27 Aug 2018, at 19:54, agrayson2...@gmail.com wrote: > > > > On Saturday, August 25, 2018 at 1:11:47 AM UTC-6, Bruno Marchal wrote: > >> On 25 Aug 2018, at 01:15, agrays...@gmail.com wrote: >> >> >> >> On Friday, August 24, 2018 at 12:25:03 PM UTC, telmo_menezes wrote: >> On 23

Re: Church-Turing Thesis

On Friday, August 24, 2018 at 3:22:39 AM UTC-6, Bruno Marchal wrote: > > > On 24 Aug 2018, at 00:53, agrays...@gmail.com wrote: > > > > On Thursday, August 23, 2018 at 5:55:33 PM UTC, agrays...@gmail.com wrote: >> >> >> >> On Thursday, August 23, 2018 at 3:28:13 PM UTC, Brent wrote: >>> >>> Why

Re: Church-Turing Thesis

On Saturday, August 25, 2018 at 1:11:47 AM UTC-6, Bruno Marchal wrote: > > > On 25 Aug 2018, at 01:15, agrays...@gmail.com wrote: > > > > On Friday, August 24, 2018 at 12:25:03 PM UTC, telmo_menezes wrote: >> >> On 23 August 2018 at 06:31, wrote: >> > >> > >> > On Thursday, August 23, 2018

Re: Church-Turing Thesis

On Friday, August 24, 2018 at 12:25:03 PM UTC, telmo_menezes wrote: > > On 23 August 2018 at 06:31, > wrote: > > > > > > On Thursday, August 23, 2018 at 2:01:24 AM UTC, Jason wrote: > >> > >> > >> > >> On Wed, Aug 22, 2018 at 4:43 PM wrote: > >>> > >>> > >>> > >>> On Tuesday, August

Re: Church-Turing Thesis

On 23 August 2018 at 06:31, wrote: > > > On Thursday, August 23, 2018 at 2:01:24 AM UTC, Jason wrote: >> >> >> >> On Wed, Aug 22, 2018 at 4:43 PM wrote: >>> >>> >>> >>> On Tuesday, August 21, 2018 at 3:22:04 PM UTC, Jason wrote: On Tue, Aug 21, 2018 at 1:16 AM wrote: >

Re: Church-Turing Thesis

> On 24 Aug 2018, at 00:53, agrayson2...@gmail.com wrote: > > > > On Thursday, August 23, 2018 at 5:55:33 PM UTC, agrays...@gmail.com wrote: > > > On Thursday, August 23, 2018 at 3:28:13 PM UTC, Brent wrote: > Why don't we all chip in an buy Alan a computer so he can look stuff up on >

Re: Church-Turing Thesis

On Thu, Aug 23, 2018 at 08:47:12AM -0700, Brent Meeker wrote: > > > On 8/22/2018 7:01 PM, Jason Resch wrote: > > There are also programs for which no one knows if they are computable or > > not.  If you can prove whether or not this function ever completes, you > > will be world famous, and may

Re: Church-Turing Thesis

On Thursday, August 23, 2018 at 10:53:05 PM UTC, agrays...@gmail.com wrote: > > > > On Thursday, August 23, 2018 at 5:55:33 PM UTC, agrays...@gmail.com wrote: >> >> >> >> On Thursday, August 23, 2018 at 3:28:13 PM UTC, Brent wrote: >>> >>> Why don't we all chip in an buy Alan a computer so he

Re: Church-Turing Thesis

On Thursday, August 23, 2018 at 5:55:33 PM UTC, agrays...@gmail.com wrote: > > > > On Thursday, August 23, 2018 at 3:28:13 PM UTC, Brent wrote: >> >> Why don't we all chip in an buy Alan a computer so he can look stuff up >> on Wikipedia. >> >> Brent >> > > *I will when you have the courtesy to

Re: Church-Turing Thesis

On Thursday, August 23, 2018 at 3:28:13 PM UTC, Brent wrote: > > Why don't we all chip in an buy Alan a computer so he can look stuff up on > Wikipedia. > > Brent > *I will when you have the courtesy to explain your contradictory statements about the instantaneous, infinite extent of the wf.

Re: Church-Turing Thesis

On 8/22/2018 7:01 PM, Jason Resch wrote: There are also programs for which no one knows if they are computable or not.  If you can prove whether or not this function ever completes, you will be world famous, and may even earn a million dollars (though I think the prize has been retracted,

Re: Church-Turing Thesis

Why don't we all chip in an buy Alan a computer so he can look stuff up on Wikipedia. Brent On 8/22/2018 5:58 PM, John Clark wrote: On Wed, Aug 22, 2018 at 8:26 PM, >wrote: >> Yes, the Busy Beaver Function is not computable. We know that:

Re: Church-Turing Thesis

> On 22 Aug 2018, at 22:59, agrayson2...@gmail.com wrote: > > > > On Tuesday, August 21, 2018 at 9:59:30 AM UTC, Bruno Marchal wrote: > >> On 21 Aug 2018, at 08:16, agrays...@gmail.com wrote: >> >> I've been looking at the Wiki article on this topic. I find that I really >> don't

Re: Church-Turing Thesis

On Thursday, August 23, 2018 at 2:01:24 AM UTC, Jason wrote: > > > > On Wed, Aug 22, 2018 at 4:43 PM > wrote: > >> >> >> On Tuesday, August 21, 2018 at 3:22:04 PM UTC, Jason wrote: >>> >>> >>> >>> On Tue, Aug 21, 2018 at 1:16 AM wrote: >>> I've been looking at the Wiki article on this

Re: Church-Turing Thesis

On Wed, Aug 22, 2018 at 4:43 PM wrote: > > > On Tuesday, August 21, 2018 at 3:22:04 PM UTC, Jason wrote: >> >> >> >> On Tue, Aug 21, 2018 at 1:16 AM wrote: >> >>> I've been looking at the Wiki article on this topic. I find that I >>> really don't understand what it is, or why it's important.

Re: Church-Turing Thesis

On Wed, Aug 22, 2018 at 8:26 PM, wrote: >> >> Yes, the Busy Beaver Function is not computable. We know that: >> >> BB(1) =1 >> BB(2) =6 >> BB(3) =21 >> BB(4) =107 >> > > *>You haven't *written* the function, just its alleged values for > 1,2,3,4. What is the function? * > Starting with a all

Re: Church-Turing Thesis

On Wednesday, August 22, 2018 at 11:05:15 PM UTC, John Clark wrote: > > On Wed, Aug 22, 2018 at 5:43 PM, > > wrote: > > > >> *Can you write a function which is not computable? * > > > Yes, the Busy Beaver Function is not computable. We know that: > > BB(1) =1 > BB(2) =6 > BB(3) =21 > BB(4) =107

Re: Church-Turing Thesis

On Wed, Aug 22, 2018 at 5:43 PM, wrote: > > *Can you write a function which is not computable? * Yes, the Busy Beaver Function is not computable. We know that: BB(1) =1 BB(2) =6 BB(3) =21 BB(4) =107 But those are the only values we've be able to calculate with certainty, the problem is the

Re: Church-Turing Thesis

On Tuesday, August 21, 2018 at 3:22:04 PM UTC, Jason wrote: > > > > On Tue, Aug 21, 2018 at 1:16 AM > wrote: > >> I've been looking at the Wiki article on this topic. I find that I really >> don't understand what it is, or why it's important. Maybe a few succinct >> words from the usual

Re: Church-Turing Thesis

On Tuesday, August 21, 2018 at 9:59:30 AM UTC, Bruno Marchal wrote: > > > On 21 Aug 2018, at 08:16, agrays...@gmail.com wrote: > > I've been looking at the Wiki article on this topic. I find that I really > don't understand what it is, or why it's important. Maybe a few succinct > words from

Re: Church-Turing Thesis

On Tue, Aug 21, 2018 at 1:16 AM wrote: > I've been looking at the Wiki article on this topic. I find that I really > don't understand what it is, or why it's important. Maybe a few succinct > words from the usual suspects can be of help. TIA. > > > Bruno provided a great definition and

Re: Church-Turing Thesis

> On 21 Aug 2018, at 08:16, agrayson2...@gmail.com wrote: > > I've been looking at the Wiki article on this topic. I find that I really > don't understand what it is, or why it's important. Maybe a few succinct > words from the usual suspects can be of help. TIA. Actually, I have very

Re: church-turing thesis

Hmm ... I may come back on this difficult and interesting question (Is Church thesis provable) when we will pursue the seventh step serie thread. My feeling is that if Church thesis was provable, we would become capable of defining the natural number in a categorical first order language