Assertion: human mind | /r/CapableOf | discover mathematical intricacies
Facets:
Source sentences:
text: Roger Penrose has proposed the idea that the human mind does not use a knowably sound calculation procedure to understand and discover mathematical intricacies.