Re: QED-like Efforts

Dahn (
Mon, 9 Aug 93 13:51:49 +0200

Certainly there will be numeruous proof systems, calculi, philosophies etc. and people like to stay with the things they know and they can efficiently work with.
So, why not - in a first phase - encourage people to verify in their own system the stuff (set theory, universal algebra, syntactic properties) necessary to verify the completeness of other systems?
Then a verification in any of the verified systems would be as good as a verification in the original system.

Bernd, Ingo Dahn