Cold Water

Konrad Slind <>
From: Konrad Slind <>
In-reply-to: Zdzislaw Meglicki's message of Fri, 30 Apr 1993 04:23:36 +0200 <4fs8qcKKmlE20=5L0r@arp>
Subject: Cold Water
Message-id: <>
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