Cold Water

• Mail folder: QED
• Next message: cal@aero.org: "QED Manifesto - Notes and Comments"
• Previous message: Zdzislaw Meglicki: "Re: Cold Water"
• In-reply-to: Zdzislaw Meglicki: "Re: Cold Water"

From: Konrad Slind <slind@informatik.tu-muenchen.de>
To: Zdzislaw.Meglicki@arp.anu.edu.au
Cc: qed@mcs.anl.gov
In-reply-to: Zdzislaw Meglicki's message of Fri, 30 Apr 1993 04:23:36 +0200 <4fs8qcKKmlE20=5L0r@arp>
Subject: Cold Water
Message-id: <93Apr30.045535met_dst.8088@sunbroy14.informatik.tu-muenchen.de>
Date: 	Fri, 30 Apr 1993 04:55:20 +0200
Sender: qed-owner
Precedence: bulk

Zdzislaw Meglicki gives some examples of advanced mathematics and says
that verification systems might never draw on this knowledge. I agree. I
guess I should make it clear that I am an advocate of doing verification
in a system of logic adequate for the formalization of mathematics.
Trying to get away with a simpler system may be unwise in the long run,
since who knows what models may become important in the future for
verification?

Konrad.