Leibniz's Question

From ProofWiki
Jump to navigation Jump to search

Philosophical Question

Is there an algorithm for deciding which statements of number theory are true?


Source of Name

This entry was named for Gottfried Wilhelm von Leibniz.