Re: Yet another Attempt at Disproving the Halting Problem

From: Karl Heinz Buchegger (kbuchegg_at_gascad.at)
Date: 08/05/04 

Date: Thu, 05 Aug 2004 10:48:05 +0200

Peter Olcott wrote:
>
> "Eray Ozkural exa" <erayo@bilkent.edu.tr> wrote in message news:fa69ae35.0408032329.8964970@posting.google.com...
> > "Peter Olcott" <olcott@worldnet.att.net> wrote in message news:<dLWPc.381367$Gx4.219217@bgtnsc04-news.ops.worldnet.att.net>...
> > > "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.
> >
> > It has nothing to do with deduction or induction, Peter.
>
> http://c2.com/cgi/wiki?AdVerecundiam
> An argumentum ad verecundiam is an argument based on authority.
> Fallacious because:
>
> a.. Experts are often wrong. Perhaps less so than laypersons, but still so.

For some small value of 'often'.
An expert can be wrong, 2 can be, 100 can be. But all the experts from
all over the world? Possible, but with a very small probability.
(And before you start with: "But first they didn't believe Einstein either"
 For every idea the quality of Einsteins idea, there are millions which
 just are crap.)

In any case: We don't need experts here. There is a proof. It is there
for everybody to see. It has been checked millions of time and be
considered to be correct. It starts with an assumption. From then
on every step follows logically and in a correct way from the
previous one until finally the functions as posted are derived.
Then those functions are analyzed and concluded that the functions
can not work the way they should. From this the conclusion is made,
that the assumption cannot hold. 

-- 
Karl Heinz Buchegger
kbuchegg@gascad.at

Relevant Pages
Loading