The value of Platonism

David McAllester (
Thu, 27 Oct 94 14:13:34 EDT

Well there has been a lot of discussion. I'll just try to summarize
my position with four propositions.

1. Thinking Platonically makes it easier (for people) to prove

2. Platonism is harmless --- all Platonic proofs can be formalized.

3. Robots (verification systems) should be Platonists --- their statements
should be about "sets" and "functions" and they should never
talk about syntactic rules of inference when discussing "ordinary"

4. In summary, Platonism is desirable in every way.