Leibniz's Question
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.