Version 1 of #5256

Preference formation is a computational task. (#5255) To claim we’ve understood a computational task, we must have programmed it (Deutsch). Popper never programmed it, so he didn’t understand it.

(To his credit though, he got pretty technical in defining verisimilitude, logical vs. empirical content, etc.)