🚀 go-pugleaf

"William Elliot" <marsh@privacy.net> wrote in message
news:20041121212752.O34106@agora.rdrop.com...
> On Sun, 21 Nov 2004, George Dance wrote:
> > mallet_riveter@yahoo.co.in (Hans-Marc Olsen) wrote in message
> >
> > > We have computers and they can do all the logic stuff for us ...
> >
> > Once they can program and replace themselves, I suppose.  But I bet
> > that even then a few stick-in-the-muds will still be using their
> > brains.
> >
> Already there's programs that produce programs, select the best of a bunch
> and even discover and fix their bugs.  So what, people have been learning
> and replacing themselves for eons and now you're suggesting we no longer
> do that naturally but let the computers have all the fun?
>
> I can see it now, in 2050 the students finding even sex education too hard
> for their media washed brains to pass, lament why do we have to learn sex
> when medical labs can produce test tube babies?
>
> Sex is obsolete, we have medical clinics,
> they can do all that sex stuff for us. ;-)

I thought basic quantifier logic was non-mechanically decidable. Basically
because some branches of the truth trees are infinite.