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
> defined on all N. So it is a computable function from N to N. It is
> computable because
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:
>>
>> *> Clark, since you claim implicitly to having a serious understanding of
>>> E, can you
On Sun, May 31, 2020 at 2:26 AM Bruno Marchal wrote:
> Hi Philip, Hi Bruce, and possible others,
>
Nothing that you have written below proves arithmetical realism. One can
say all these things in a purely conventionalist framework.
Bruce
If I remind well, you have defended the idea that
You could ask the same question about physicists.
Brent
On 5/30/2020 12:51 PM, ronaldheld wrote:
Is the AI discovering some Physics or just fitting data which produces
equations that look like physical laws?
Ronald
On Thursday, May 28, 2020 at 12:20:49 PM UTC-4, Philip Thrift wrote:
Is the AI discovering some Physics or just fitting data which produces
equations that look like physical laws?
Ronald
On Thursday, May 28, 2020 at 12:20:49 PM UTC-4, Philip Thrift wrote:
>
>
> https://www.facebook.com/461616050561921/posts/3107668729289960/
>
>
> We just posted a new AI
Not certain those flyby micro craft will determine whether it exists.
Ronald
On Friday, May 29, 2020 at 7:48:58 PM UTC-4, Lawrence Crowell wrote:
>
> This is entertaining. He also coauthored a paper below on using photon
> sails to perform this probing.
>
> LC
>
>
I wrote a paper recently for publication on how the unital set of QM is a
Cantor/fractal set that is fundamentally incomputable. This is a measure of
nonlinearity a quantum system is forced into, say with gravitation or with
einselection into classicality. To compute it requires a single
Hi Philip, Hi Bruce, and possible others,
If I remind well, you have defended the idea that mathematics is a language,
and that there is no mathematical reality others that convention of language.
In my opinion, this does not make sense, even without the Church-Turing thesis.
But I realise
> On 28 May 2020, at 18:20, Philip Thrift wrote:
>
>
>
>
> https://www.facebook.com/461616050561921/posts/3107668729289960/
>
>
> We just posted a new AI paper on how to automatically discover laws of
> physics from raw video with machine learning. For example, we feed in the
> video
Of course nature's "theory" could be beyond a human's comprehension.
It is assumed that there all that's needed can be reduced to human
(mathematical) language that can be expressed in a few lines of LaTeX Math.
@philipthrift
On Friday, May 29, 2020 at 7:45:58 PM UTC-5, Lawrence Crowell
10 matches
Mail list logo