On 2/14/2019 3:14 AM, Bruno Marchal wrote:
On 14 Feb 2019, at 06:44, Brent Meeker wrote:
On 2/12/2019 5:34 AM, Bruno Marchal wrote:
If we could knew which machine we are, we could define consciousness, or at
least our personal current consciousness, as it would be defined by the
combina
On Friday, February 15, 2019 at 1:37:54 PM UTC-6, John Clark wrote:
>
> On Fri, Feb 15, 2019 at 1:15 PM Bruno Marchal > wrote:
>
> > I will do a personal confession: I have never believe in matter,
>
>
> Matter doesn't care if you believe in it or not, it will just continue
> doing what it doe
On Friday, February 15, 2019 at 12:15:52 PM UTC-6, Bruno Marchal wrote:
>
>
> On 14 Feb 2019, at 09:43, Philip Thrift >
> wrote:
>
>
>
> On Wednesday, February 13, 2019 at 10:17:57 PM UTC-6, Bruno Marchal wrote:
>>
>>
>> On 11 Feb 2019, at 19:31, Philip Thrift wrote:
>>
>>
>>
>> On Monday, Febr
On Friday, February 15, 2019 at 12:01:26 PM UTC-6, Bruno Marchal wrote:
>
>
> On 15 Feb 2019, at 16:12, Philip Thrift >
> wrote:
>
>
>
> On Friday, February 15, 2019 at 5:35:02 AM UTC-6, Bruno Marchal wrote:
>>
>>
>> On 15 Feb 2019, at 08:25, Philip Thrift wrote:
>>
>> On Wednesday, February 13
On Fri, Feb 15, 2019 at 1:15 PM Bruno Marchal wrote:
> I will do a personal confession: I have never believe in matter,
Matter doesn't care if you believe in it or not, it will just continue
doing what it does.
> *because I have never seen any evidence for it. *
That's OK, I don't think matt
On 2/14/2019 3:26 AM, Bruno Marchal wrote:
Don’t hesitate to find some argument in favour of primitive materials,
but in my opinion, this is highly speculative, and never used in physics.
But the non-material primitive is never used either. Insofar as I know,
no scientist ever worries abou
> On 14 Feb 2019, at 05:40, 'Chris de Morsella' via Everything List
> wrote:
>
> Two fascinating (and very different) approaches are presented to derive
> Quantim Mechanics main practical tool (e.g. Born's rule). Wonder what some of
> the physicists on here think about this research?
>
> I f
> On 14 Feb 2019, at 09:43, Philip Thrift wrote:
>
>
>
> On Wednesday, February 13, 2019 at 10:17:57 PM UTC-6, Bruno Marchal wrote:
>
>> On 11 Feb 2019, at 19:31, Philip Thrift >
>> wrote:
>>
>>
>>
>> On Monday, February 11, 2019 at 9:24:18 AM UTC-6, Bruno Marchal wrote:
>>
>>> On 11 Feb
> On 14 Feb 2019, at 06:44, Brent Meeker wrote:
>
>
>
> On 2/12/2019 5:34 AM, Bruno Marchal wrote:
>> If we could knew which machine we are, we could define consciousness, or at
>> least our personal current consciousness, as it would be defined by the
>> combinator realising us. But that i
> On 13 Feb 2019, at 19:51, James Coons wrote:
>
> If we are algorithms executed by duplicated brains in a multiverse, is it
> possible that algorithm splitting is the reason for quantum mechanics.
Yes, that is the basic intuition of why we have to extract physics from
arithmetic, and eventu
> On 15 Feb 2019, at 16:01, Philip Thrift wrote:
>
>
>
> (connecting a programming semantics with a provability logic)
>
> On Modal µ-Calculus and Gödel-Löb Logic
> https://hal.archives-ouvertes.fr/hal-00353743/document
Interesting new proof of the fixed point theorem in G. Yes, quite intere
> On 15 Feb 2019, at 16:12, Philip Thrift wrote:
>
>
>
> On Friday, February 15, 2019 at 5:35:02 AM UTC-6, Bruno Marchal wrote:
>
>> On 15 Feb 2019, at 08:25, Philip Thrift >
>> wrote:
>>
>> On Wednesday, February 13, 2019 at 10:40:32 PM UTC-6, cdemorsella wrote:
>> Two fascinating (and ver
On Friday, February 15, 2019 at 5:35:02 AM UTC-6, Bruno Marchal wrote:
>
>
> On 15 Feb 2019, at 08:25, Philip Thrift >
> wrote:
>
> On Wednesday, February 13, 2019 at 10:40:32 PM UTC-6, cdemorsella wrote:
>
>> Two fascinating (and very different) approaches are presented to derive
>> Quantim Me
(connecting a programming semantics with a provability logic)
On Modal µ-Calculus and Gödel-Löb Logic
https://hal.archives-ouvertes.fr/hal-00353743/document
μ-calculus: https://en.wikipedia.org/wiki/Modal_%CE%BC-calculus
- pt
--
You received this message because you are subscribed to the Goo
I think this is somewhat confused. There is a possible connection here, but
it is through quantum mechanics. Mariam Mirzakhani won the Fields Medal in
mathematics for her work on the entropy of curves in hyperbolic spaces. In
two dimensions this space is the spatial surface embedded in an anti-d
> On 15 Feb 2019, at 08:25, Philip Thrift wrote:
>
> On Wednesday, February 13, 2019 at 10:40:32 PM UTC-6, cdemorsella wrote:
> Two fascinating (and very different) approaches are presented to derive
> Quantim Mechanics main practical tool (e.g. Born's rule). Wonder what some of
> the physicis
16 matches
Mail list logo