Our site is support by ads that help to pay our hosting costs. Please disable or whitelist us within your ad blocker to help us keep the site online.
All money generate by ads and donations is used to pay the hosting costs of the site, for more information about our income and expenses please see our donation page.
I have been reading The Emperor's New Mind by Roger Penrose, and I have been thinking about artificial intelligence (one of the many things he covers); has there ever been an A.I. program that, given Euclid's postulates and definitions, could come to the same conclusions as Euclid?
Do you like cookies? 🍪 We use cookies to ensure you get the best experience on our website. Learn more
