Re: Response to Karen and to Willem on recursive proofs
From: Richard Heathfield (invalid_at_address.co.uk.invalid)
Date: 01/24/04
- Next message: Willem: "Re: Response to Karen and to Willem on recursive proofs"
- Previous message: Andrew Thompson: "Re: Mars Rover Not Responding"
- In reply to: Willem: "Re: Response to Karen and to Willem on recursive proofs"
- Next in thread: FM: "Re: Response to Karen and to Willem on recursive proofs"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Fri, 23 Jan 2004 23:19:18 +0000
Willem wrote:
> )> otherwise I can simply prove that the loop doesn't terminate.
> ) ^^^^
Oh yeah.
I'll get my coat.
-- Richard Heathfield : binary@eton.powernet.co.uk "Usenet is a strange place." - Dennis M Ritchie, 29 July 1999. C FAQ: http://www.eskimo.com/~scs/C-faq/top.html K&R answers, C books, etc: http://users.powernet.co.uk/eton
- Next message: Willem: "Re: Response to Karen and to Willem on recursive proofs"
- Previous message: Andrew Thompson: "Re: Mars Rover Not Responding"
- In reply to: Willem: "Re: Response to Karen and to Willem on recursive proofs"
- Next in thread: FM: "Re: Response to Karen and to Willem on recursive proofs"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
