Uncommon Descent Serving The Intelligent Design Community
Topic

Hart-Tipler Conjecture