Re: "Friendly Premises"

From: Torkel Franzen <torkel@xxxxxxxxxx>
Date: 04 Aug 2005 11:31:58 +0200

"Acme Diagnostics" <LFinezapthis@xxxxxxxxxxxxxxxx> writes:

> No, I only referred to the "honest mistake" part. I have no idea
> what "proof by induction" means.

Or what "recursive proofs" means?
.

References:
- Re: "Friendly Premises"
  - From: Jim Spriggs
- Re: "Friendly Premises"
  - From: Acme Diagnostics

Prev by Date: Re: How would we formalize this concept?
Next by Date: Re: "Friendly Premises"
Previous by thread: Re: "Friendly Premises"
Next by thread: Re: "Friendly Premises"
Index(es):
- Date
- Thread