Re: Yet another Attempt at Disproving the Halting Problem

From: Peter Olcott (olcott_at_worldnet.att.net)
Date: 08/04/04 

Date: Wed, 04 Aug 2004 01:13:45 GMT

"Eray Ozkural exa" <erayo@bilkent.edu.tr> wrote in message news:fa69ae35.0408030811.ef493b0@posting.google.com...
> Peter, you really should have a look at my post below. Do you know
> when argument from authority can be valid?

Within deduction it is never valid.
Only deduction can guarantee that it always provides correct results. It is
considered to be valid inductive inference, yet inductive inference can not
guarantee correct results. Deduction can not err, induction can err.

> Cheers,
>
> erayo@bilkent.edu.tr (Eray Ozkural exa) wrote in message news:<fa69ae35.0408020223.652f25be@posting.google.com>...
> > > http://c2.com/cgi/wiki?AdVerecundiam
> >
> > Thanks for making my point.
> >
> > You didn't read that page, did you?
> >
> > The page says that argument from authority is:
> >
> > ----------------------------------------------------
> >
> > Sometimes correct, because:
> >
> > * X may be in fact proven; or sufficiently well-demonstrated that it
> > is near-universally regarded as fact. (Then you point to the study)
> >
> > * Expert community may in fact agree that X is true.
> >
> > ----------------------------------------------------
> >
> > Note that this is exactly the case with your argument here, and the
> > responses that have been given to you.
> >
> > BTW, my question does not really use argument from authority (in an
> > unreliable way). It uses an argument of knowledge coupled with a
> > community argument.
> >
> > I'll make it easier for you. What is the probability that one of the
> > computer scientists who responded to you have a poorer understanding
> > of the halting problem than your royal self? %100 %90? %80? %70? %60?
> > %50? Pick one. (All of these choices are optimistic for you)
> >
> > After your potential reply or your silent approval, it will be
> > established that there is no need to respond to you any further.
> >
> > Cheers,

Relevant Pages

  • Re: Yet another Attempt at Disproving the Halting Problem
    ... Only deduction can guarantee that it always provides correct results. ... considered to be valid inductive inference, ... Deduction can not err, induction can err. ... >> responses that have been given to you. ...
    (sci.logic)
  • Re: Yet another Attempt at Disproving the Halting Problem
    ... Only deduction can guarantee that it always provides correct results. ... considered to be valid inductive inference, ... Deduction can not err, induction can err. ... >> responses that have been given to you. ...
    (comp.theory)
  • Re: Yet another Attempt at Disproving the Halting Problem
    ... > Only deduction can guarantee that it always provides correct results. ... > considered to be valid inductive inference, ... Deduction can not err, induction can err. ... It has nothing to do with deduction or induction, Peter. ...
    (comp.theory)
  • Re: Yet another Attempt at Disproving the Halting Problem
    ... > Only deduction can guarantee that it always provides correct results. ... > considered to be valid inductive inference, ... Deduction can not err, induction can err. ... It has nothing to do with deduction or induction, Peter. ...
    (comp.lang.cpp)
  • Re: Yet another Attempt at Disproving the Halting Problem
    ... > Only deduction can guarantee that it always provides correct results. ... > considered to be valid inductive inference, ... Deduction can not err, induction can err. ... It has nothing to do with deduction or induction, Peter. ...
    (sci.logic)
Loading