>
> 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 Desc
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 th
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
do
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 in
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 rel
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 "u
Le 05-nov.-06, à 00:47, John M a écrit :
>
> Bruno,
> although I did not see in my list-post my comment to Marc's report
> about the
> German conference (sent before your and Saibal's posts) I may continue
> it
> (maybe copying the missing text below);
Your message is in the archive though.
8 matches
Mail list logo
