Re: Proof and entailment

myname wrote:


I didn't feel like saying "proof" and "entailment" are the same thing,
so I reached the conclusions I gave you in my first post
("proof" is the goal, "entailment" is the way...)

No, not in sci.logic anyway. If you can find a paper by Tarski called
Truth and Proof, read it. Was it published in Scientific American?
Someone here will know.

--
How unlike the home life of our own dear Queen.
Remove "antispam" and ".invalid" for e-mail address.
.