Re: Provable vs Computable

2001-05-07 Thread Marchal
Hal Ruhl wrote: >This is particularly due to my stand that true random noise is >inherent in each universe within the Everything. Remember that true random noise appear in the UDA because we don't know in which computation ("universe") we belong. So random noise does not need to be added. It is

Re: Belief & Knowledge

2001-05-07 Thread George Levy
Marchal wrote: > > This is one of my motivation for thinking that consciousness > and consistency share the formula: > >-[]c > > Saying just that c (consistency, consciousness) is not provable, > not finitely communicable, ... ineffable? > > Goedel's second theorem: c -> -[]c(c = <>

Re: Belief & Knowledge

2001-05-07 Thread Marchal
Robert W. wrote: >Let's be clear on the meaning of *logic*. Logic as a >reasoning power existed before the discipline of >formalized logic. > >One can have a very powerful logical reasoning >facility without having attented a course on the >subject. I agree. I guess some misunderstandings came

Re: Belief & Knowledge

2001-05-07 Thread Marchal
Robert W. wrote in part: >One must realize in the attempt to constrain common >everyday experience to a finite conceptual space, >that something will be lost in the translation. Brent Meeker answered in part (to Robert W., in the invisible post): >> Of course, ineffable mystical experiences w

Re: Provable vs Computable

2001-05-07 Thread Hal Ruhl
Dear Bruno: At , you wrote: >Hal Ruhl wrote: > > >This is particularly due to my stand that true random noise is > >inherent in each universe within the Everything. > >Remember that true random noise appear in the UDA because we don't know >in which computation ("universe") we belong. So random n

Re: The role of logic, & planning ...

2001-05-07 Thread Marchal
Russell Standish wrote: >> If treasures were not hidden in the mud, they would not be treasures :-) >> > >I suspect your words came out wrong here - do you mean "A treasure >hidden by mud is still a treasure"? Which, of course I agree with. Thanks for correcting my words. >I would be ecstat

Re: Belief & Knowledge

2001-05-07 Thread jamikes
Bruno said: > > I agree. I guess some misunderstandings came from that > double sens. I do use "logic" as a branch of math. > > To be sure I don't believe that logic is a special > branch capable to provide foundation for the other > part of math. This is the philosophical logicist thesis > which

Re: Belief & Knowledge

2001-05-07 Thread Brent Meeker
Hello Marchal On 07-May-01, Marchal wrote: > Robert W. wrote in part: > >> One must realize in the attempt to constrain common >> everyday experience to a finite conceptual space, >> that something will be lost in the translation. > > > Brent Meeker answered in part > (to Robert W., in the inv