The gap between what can be formally proven and what can be intuitively understood. This week's central thesis: Tooby-Smith proved formalization catches what humans miss; Bessis proved formalization misses what humans catch. Both are correct. Both are incomplete. The paradox is the space between them
