Preliminary thoughts on Arrogance of the Humbled

Core Arrogance of the Humbled: When someone tries something and fails, they may learn the lesson that the problem is difficult instead of I suck at the problem, leading them to confidently claim furthermore the problem is difficult therefore no one will succeed at it, even incorrectly so, and be even more confident in their authority to make that claim for having failed at the problem. Paradoxically, one might consider that failing at a problem should make you less confident in your ability to predict its resolution, and attribute yourself less authority on the relevant topics. Thus, arrogance. Context Eliezer yudkwosky, in Cat-Belling Problems, writes: Many many engineers, in fact, historically rolled up their sleeves and got to work on building their designs for Perpetuum Mobiles. It was a larger-looming social phenomenon in Feynman's day -- one of the ways slightly smart engineers went Wrong back before AI or cryptocurrency. And I am not a postcognitive telepath -- I cannot read minds in the past -- but I wouldn't be surprised if many of those 1970s engineers saw themselves as hardheaded practical people with industry experience, whose effortful work learning about real metal gears had taught them the practical limitations of airy abstract theories like "conservation of energy". Which is to say, that they had tried their own hand at abstraction and not gotten anywhere, and learned from this an Arrogance of the Humbled[*] about the ultimate limits of mere thinking. and [*] A term and thesis coined by Duncan Sabien. I ought to write it up at some point, but meanwhile perhaps many readers, like myself, will find a whole useful thesis immediately apparent just from seeing the phrase "Arrogance of the Humbled". Sabien's article can be found here, and it is both easy and fun to read. I recommend it. Since the thesis is clear in the article, I presume that Yud could find value in (1) rewriting it in his own style, (2) calling the attention of his readership to it or (3) expanding the idea, going deeper. I cannot do (1) or (2), which makes me confident that it's impossible; therefore, all future effort on Arrogance of the Humbled should focus on tackling (3). Personal-suckiness vs objective-difficulty There are many ways to fail at solving a problem. Sometimes, you discover the cat-belling step and fail at it; then, you at least gain the insight that a solution to the problem can be productively investigated by considering how it tackles the cat-belling step. Sometimes, you mostly learn that you suck at the problem - maybe you fall in depression, figure out that your work ethic is terrible, that you need more background knowledge or something. Then, you do not gain insight into how other people may fail at the problem (except insofar as they suck as much as you for the same reasons as you). The missing insight, in both Sabien's piece and Yud's is: how do you know what direction to update on the personal-suckiness vs objective-difficulty axis? I don't have a good, principled, fully general answer. Ideally, I'd want something like "keep track separately of what failing teaches about your thinkoomph in the topic, and what it teaches about the difficulty of the problem". But critically, the two are probably not independent in your self-modeling. How often do you use objective metrics when thinking of how difficult it is to solve a problem cognitively?[1] Sabien gives as an example of Arrogance of the Humbled, which I'll investigate because it's fun: For heavier-than-air flight (as opposed to e.g. balloons, which are kosher), the standard impossibility argument went: You're making your airplane out of some material with specific strength. To make an airplane big enough to fit a human, we need to scale-up the bird-sized design, with weight growing as mjx-container[jax="CHTML"] { line-height: 0; } mjx-container [space="1"] { margin-left: .111em; } mjx-container [space="2"] { margin-left: .167em; } mjx-container [space="3"] { margin-left: .222em; } mjx-container [space="4"] { margin-left: .278em; } mjx-container [space="5"] { margin-left: .333em; } mjx-container [rspace="1"] { margin-right: .111em; } mjx-container [rspace="2"] { margin-right: .167em; } mjx-container [rspace="3"] { margin-right: .222em; } mjx-container [rspace="4"] { margin-right: .278em; } mjx-container [rspace="5"] { margin-right: .333em; } mjx-container [size="s"] { font-size: 70.7%; } mjx-container [size="ss"] { font-size: 50%; } mjx-container [size="Tn"] { font-size: 60%; } mjx-container [size="sm"] { font-size: 85%; } mjx-container [size="lg"] { font-size: 120%; } mjx-container [size="Lg"] { font-size: 144%; } mjx-container [size="LG"] { font-size: 173%; } mjx-container [size="hg"] { font-size: 207%; } mjx-container [size="HG"] { font-size: 249%; } mjx-container [width="full"] { width: 100%; } mjx-box { display: inline-block; } mjx-block { display: block; } mjx-itable {