“That is, instead of making the fairly dry claims that can be stated in prose and mathematical equations, the computer could carry out the implications of the claims to provide a better sense of whether the claims constituted a worthwhile model of reality.”
This part makes me think of A.I. — you can have technology (simple algorithms to neural networks) working through possibilities faster than the human brain, exploring every outcome. It seems like our current culture tends to focus on the computer replacing us and loses sight of the opportunity of feeding information back into our own creative process. People see the Grid (websites designed by AI) and think of designers being out of the job rather than shifting into a new role of curation and higher-level creation armed with lots of helpful information and tools.
I’m curious to see how intellectual augmentation impacts creativity. Bring it. 😎