I found the parable amusing, but have to agree that the point is not particularly visible. I supposed it was some variation of “the map is not the territory”, here in the specific form of “don’t fully rely on provability of a proposition in your formal model (here, logic + axioms written on the boxes) as the model itself can be incorrect”. Which is mostly (1) in your classification.
protestesters
A typo or a snarky name for those folks? (Reminds me of cdesign proponentsists.)
I found the parable amusing, but have to agree that the point is not particularly visible. I supposed it was some variation of “the map is not the territory”, here in the specific form of “don’t fully rely on provability of a proposition in your formal model (here, logic + axioms written on the boxes) as the model itself can be incorrect”. Which is mostly (1) in your classification.
A typo or a snarky name for those folks? (Reminds me of cdesign proponentsists.)