7 hours ago
- The author argues that Peter Naur misinterprets Gilbert Ryle's concept of theory, conflating intelligence with intellect.
- Naur's reference to Popper's World 3 objects is deemed odd because Ryle rejects the separation of mind and matter.
- Ryle distinguishes intelligence (applying criteria critically) from intellect (theorizing), but Naur incorrectly attributes Ryle's points about intelligence to theory.
- Despite confusions, the author agrees that programming is theory building, as Ryle's analogy of a thinker smoothing a path applies to programmers modifying code.