Le 06-nov.-06, à 03:46, [EMAIL PROTECTED] wrote:
Bruno Marchal wrote:
It is not a question of existence but of definability.
For example you can define and prove (by Cantor diagonalization) the
existence of uncountable sets in ZF which is a first order theory of
sets.
Now uncountability
With apologies that I have not been following the
discussion under this subject header, but a question
occurred to me that goes beyond the conventional notion
of computation as regards 'computer/computing' operations.
Are any models of 'theoretical' computers (or more
properly: 'computation
Thanks, Bruno,
now I have an URL for the archive, pretty comprehensive,
the puzzle still prevails (not as one YOU should be concerned about):
1. why did not show up the post in the mailing as sent?
2. how come the archive got it as [EMAIL PROTECTED] i.e. the old address, when
the list turned
Hi,
Having got deeper into the analysis, what I have found is that EC is
literally an instantated lamba calculus by Church. So all I have to do is
roughly axiomatise EC in Church's form and I'm done. So that is what I am
doing. I'll be directly referring to church's original work. Once that is
Addition to my lost and found 1st post in this topic to
Marc:
I wonder how would you define besides 'universe' and 'computer' the IS
?
*
I agree that 'existence' is more than a definitional question.
Any suggestion yet of an (insufficient?) definition?
(Not Descartes' s I think
TEST: resend...some sort of bounce thing happened with the mailer
Hi,
Having got deeper into the analysis, what I have found is that EC is
literally an instantated lamba calculus by Church. So all I have to do is
roughly axiomatise EC in Church's form and I'm done. So that is what I am
doing.
Addition to my lost and found 1st post in this topic to
Marc:
I wonder how would you define besides 'universe' and 'computer' the
IS
?
*
I agree that 'existence' is more than a definitional question.
Any suggestion yet of an (insufficient?) definition?
(Not Descartes' s I
7 matches
Mail list logo
