I thought that even in the quote its emphasised that its not about mathematical approach. Rather having that concrete example means means he has new things introduced grounded very throughly rather than being meaningless detached things. Sure its impressive to find an error from arbitrary rules concerning a meaningless lisp token (even if it is suggestively named), but the route of actually being able to describe meaning and therefore integrate the stuff to your world-model is not a particularly operation heavy route.
The saying of “Your strength as a rationalist is to be more surprised by fiction rather than fact” is not signposting a cumbersome way. Understanding Feymans approach here as such surprise by unconnected arbitrariness seems proper. I would expect that in a cumbersome way one would be able to specify what is wrong but here there is only a general “something is a miss”
I thought that even in the quote its emphasised that its not about mathematical approach. Rather having that concrete example means means he has new things introduced grounded very throughly rather than being meaningless detached things. Sure its impressive to find an error from arbitrary rules concerning a meaningless lisp token (even if it is suggestively named), but the route of actually being able to describe meaning and therefore integrate the stuff to your world-model is not a particularly operation heavy route.
The saying of “Your strength as a rationalist is to be more surprised by fiction rather than fact” is not signposting a cumbersome way. Understanding Feymans approach here as such surprise by unconnected arbitrariness seems proper. I would expect that in a cumbersome way one would be able to specify what is wrong but here there is only a general “something is a miss”