Re: QED-like Efforts

Dahn (dahn@hubinf.informatik.hu-berlin.de)
Mon, 9 Aug 93 13:51:49 +0200

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: cal@antares.aero.org: "conference announcement"
Previous message: Mohsin Ahmed: "Re: Errors in Mathematics"

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

Next message: cal@antares.aero.org: "conference announcement"
Previous message: Mohsin Ahmed: "Re: Errors in Mathematics"