Re: Theory of Nothing available

2006-07-14 Thread Bruno Marchal
HI Russell, Bravo for your publication. I hope you have take into account some remarks I made :) Like Stathis I will wait for an hard copy ... Regards, Bruno Le 14-juil.-06, à 04:16, [EMAIL PROTECTED] a écrit : Russell, Congratulations on the publication of your book! I look forward

Re: SV: Only Existence is necessary?

2006-07-14 Thread Bruno Marchal
Le 12-juil.-06, à 18:06, 1Z a écrit : I mean that is what material exists regardless of any mathematical justification. So this is your main hypothesis: what is material exist. Now my problem is that a term like material is very vague in physics, and I would say experimentally vague since

Re: Diagonalization (solution-sequel)

2006-07-14 Thread Tom Caylor
Bruno Marchal wrote: Le 10-juil.-06, à 21:55, Tom Caylor a écrit : With Church thesis, Fortran is a Universal Language, and a fortran interpreter is a Universal Machine, where Universal means it computes (at least) all computable functions. Fortran programs are recursively

RE: Re: A calculus of personal identity

2006-07-14 Thread Stathis Papaioannou
I am not so sure that the standard model of personal identity with which we are familiar would be a universal standard. Imagine intelligent beings evolved from hive insects whichgo through several radically different life stages, frequently share genetic informationwith each other like bacteria,

Re: Infinities, cardinality, diagonalisation

2006-07-14 Thread Bruno Marchal
Hi Quentin, Tom and List, Of course, N is the set of finite positive integers: N = {0, 1, 2, 3, ...}. An infinite set A is countable or enumerable if there is a computable bijection between A and N. Forgetting temporarily the number zero, all finite number can be put in the shapes: | ||

Re: Infinities, cardinality, diagonalisation (errata)

2006-07-14 Thread Bruno Marchal
Le 14-juil.-06, à 14:34, Bruno Marchal a écrit : Hi Quentin, Tom and List, Of course, N is the set of finite positive integers: N = {0, 1, 2, 3, ...}. An infinite set A is countable or enumerable if there is a computable bijection between A and N. Please suppress the computable in

RE: Re: A calculus of personal identity

2006-07-14 Thread Lee Corbin
Stathis writes I am not so sure that the standard model of personal identity with which we are familiar would be a universal standard. Imagine intelligent beings evolved from hive insects which go through several radically different life stages, frequently share genetic information with each

Re: A calculus of personal identity

2006-07-14 Thread Brent Meeker
Stathis Papaioannou wrote: I am not so sure that the standard model of personal identity with which we are familiar would be a universal standard. Imagine intelligent beings evolved from hive insects which go through several radically different life stages, frequently share genetic