On Aug 31, 6:21 am, Brent Meeker [EMAIL PROTECTED] wrote:
Bruno Marchal wrote:
Le 29-août-07, à 23:11, Brent Meeker a écrit :
Bruno Marchal wrote:
Le 29-août-07, à 02:59, [EMAIL PROTECTED] a écrit :
I *don't* think that mathematical
properties are properties of our *descriptions*
Le 30-août-07, à 20:21, Brent Meeker a écrit :
Bruno Marchal wrote:
? I don't understand. Arithmetic is about number. Meta-arithmetic is
about theories on numbers. That is very different.
Yes, I understand that. But ISTM the argument went sort of like this:
I say arithmetic is a
On Aug 31, 9:40 pm, Bruno Marchal [EMAIL PROTECTED] wrote:
I said to Brent,
Le 31-août-07, à 11:00, Bruno Marchal a écrit :
So, no, I don't see why you think my objection is a non-sequitur. It
seems to me you are confusing arithmetic and Arithmetic, or a theory
with his intended
On Aug 31, 9:40 pm, Bruno Marchal [EMAIL PROTECTED] wrote:
Only a meta-theory *about* PA, can distinguish PA and arithmetical
truth. But then Godel showed that sometimes a meta-theory can be
translated in or by the theory/machine.
But is the meta-theory *about* PA, itself classified as
Hi David,
Le 29-août-07, à 16:57, I (Bruno Marchal) wrote :
I must go. Tomorrow I begin to explain the idea of a computable
function. To let you think in advance I give you a problem: have you an
idea why NON computable functions have to exist?
I feel a bit guilty because, 'course, that
Bruno says:
...the notion of computability is absolute.
David Deutsch says:
We see around us a computable universe; that is to say, of all
possible mathematical objects and relationships, only an infinitesimal
proportion
are ever instantiated in the relationships of physical objects and
[EMAIL PROTECTED] wrote:
On Aug 31, 6:21 am, Brent Meeker [EMAIL PROTECTED] wrote:
Bruno Marchal wrote:
Le 29-août-07, à 23:11, Brent Meeker a écrit :
Bruno Marchal wrote:
Le 29-août-07, à 02:59, [EMAIL PROTECTED] a écrit :
I *don't* think that mathematical properties are properties
Bruno Marchal wrote:
Le 30-août-07, à 20:21, Brent Meeker a écrit :
Bruno Marchal wrote:
? I don't understand. Arithmetic is about number. Meta-arithmetic is
about theories on numbers. That is very different.
Yes, I understand that. But ISTM the argument went sort of like this:
I
Bruno Marchal wrote:
I said to Brent,
Le 31-août-07, à 11:00, Bruno Marchal a écrit :
So, no, I don't see why you think my objection is a non-sequitur. It
seems to me you are confusing arithmetic and Arithmetic, or a theory
with his intended model.
Brent, rereading your post I
Lennart Nilsson wrote:
Bruno says:
...the notion of computability is absolute.
David Deutsch says:
We see around us a computable universe; that is to say, of all
possible mathematical objects and relationships, only an infinitesimal
proportion
are ever instantiated in the
Hello everyone.
My name's Youness Ayaita and currently I'm a graduate student of
physics and mathematics at Heidelberg University, with special
interests in the field of theoretical quantum physics and in the
question how it comes to our specific laws of nature.
In the beginning of the year
11 matches
Mail list logo