Re: Difference between AN UNKNOWN and UNKNOWN

From: |-|erc (h_at_r.c)
Date: 01/12/05 

Date: Wed, 12 Jan 2005 12:45:47 +1000

---------------------------------------------s-o-s-----------------------------------------
"Will Twentyman" <wtwentyman@read.my.sig> wrote in ...
> |-|erc wrote:
>
> >>>They aren't things. Its UNKNOWN.
> >>
> >>Having an unknown output doesn't make it not a thing.
> >
> > there is no such thing as unknown output. that's what it means
>
> If something is unknowable, then it is unknown. The fact that it is
> unknowable doesn't mean it doesn't have a value.
>
> >>>the result ISNT KNOWN. YOU DONT KNOW.
> >>
> >>And that doesn't bother me.
> >
> > you're half way there.
> >
> > if you try to assign it to an_unknown then obviously you have some concern.
>
> I assign the value UNKNOWN to AN_UNKNOWN and go to sleep. The fact that
> its value is UNKNOWN is not a problem (in my mind).

I'll pass this on to the yoga class.

>
> >>>the program may halt IN THE FUTURE.
> >>>it has no HALT *value*.
> >>
> >>Time is not a factor in the value of halt(1000). Why do you think it is?
> >
> > BUT IT IS! Stop taking determinism for granted, we are at its limits.
> >
> > What is the value of SE?
> >
> > SE = 1 iff our sun explodes, =1 otherwise
>
> I'll assume you meant =0 otherwise.
>
> Halt generally refers to a TM. Why change the context to real events?

because it is a scientifically correct model to alter the defn of a TM slightly,
so that each transition of the TM takes a unit of time. Now your unknown
IS dependant on time, and that is a FACT.

>
> >>>Things that are unknown are not objects.
> >>
> >>Why do you think that? Perhaps I just have a different notion the
> >>possible state of things than you.
> >
> > That is why you fail
>
> Ah, you consider your understanding the standard. Perhaps that is why
> you face so many people who disagree with you. Have you considered
> declaring all of humanity beneath you and simply ignoring our existence?
> Attempts at enlightening us seems to cause you far more frustration
> than it does us.
>

I'm not the ones drivelly 1 GB of sh*t every day that a random sequence doesn't
appear anywhere in a list.

Herc

Relevant Pages

  • Re: Difference between AN UNKNOWN and UNKNOWN
    ... "Will Twentyman" wrote in ... ... >> there is no such thing as unknown output. ... then it is unknown. ... because it is a scientifically correct model to alter the defn of a TM slightly, ...
    (sci.logic)
  • Re: Difference between AN UNKNOWN and UNKNOWN
    ... "Will Twentyman" wrote in ... ... >> there is no such thing as unknown output. ... then it is unknown. ... because it is a scientifically correct model to alter the defn of a TM slightly, ...
    (sci.math)
  • Re: Difference between AN UNKNOWN and UNKNOWN
    ... >>its value is UNKNOWN is not a problem. ... >>Halt generally refers to a TM. ... > because it is a scientifically correct model to alter the defn of a TM slightly, ... it can be rewritten as a partial recursive function in ...
    (comp.theory)
  • Re: Difference between AN UNKNOWN and UNKNOWN
    ... >>its value is UNKNOWN is not a problem. ... >>Halt generally refers to a TM. ... > because it is a scientifically correct model to alter the defn of a TM slightly, ... it can be rewritten as a partial recursive function in ...
    (sci.math)
  • Re: Difference between AN UNKNOWN and UNKNOWN
    ... >>its value is UNKNOWN is not a problem. ... >>Halt generally refers to a TM. ... > because it is a scientifically correct model to alter the defn of a TM slightly, ... it can be rewritten as a partial recursive function in ...
    (sci.logic)