Re: [PO] halting problem: existence proofs
From: Mitch Harris (harrisq_at_tcs.inf.tu-dresden.de)
Date: 08/30/04
- Next message: Chris Menzel: "Re: [PO] halting problem reading comprehension"
- Previous message: David C. Ullrich: "Re: [PO] Can a regular Turing Machine provide Protected Memory?"
- In reply to: Peter Olcott: "Re: [PO] halting problem: existence proofs"
- Next in thread: Peter Olcott: "Re: [PO] halting problem: existence proofs"
- Reply: Peter Olcott: "Re: [PO] halting problem: existence proofs"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Mon, 30 Aug 2004 15:00:05 +0200
Peter Olcott wrote:
>
> I am limiting this to every existing proof...
That is a pretty bold statement you've been making. Who
knows what other kinds of proofs there are?
Maybe you mean every proof that uses diagonalization?
-- Mitch Harris (remove q to reply)
- Next message: Chris Menzel: "Re: [PO] halting problem reading comprehension"
- Previous message: David C. Ullrich: "Re: [PO] Can a regular Turing Machine provide Protected Memory?"
- In reply to: Peter Olcott: "Re: [PO] halting problem: existence proofs"
- Next in thread: Peter Olcott: "Re: [PO] halting problem: existence proofs"
- Reply: Peter Olcott: "Re: [PO] halting problem: existence proofs"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
