The Sentence Outside the System
Is understanding just computation with more steps? Roger Penrose says no, and his case runs through Gödel. The weakest point in it comes first.
Four Kinds of Can’t
A million computers running for a million years could not factor a 250-digit number. The line is false, and the number that makes it true shows why "impossible" means four different things.
Size First, Then Detail
A new system identifies carbonized seeds at ninety percent accuracy. It got there by being told the one thing every general-purpose classifier throws away: how big the seed actually is.