Could a Fresh Semantic Lens Prove Arithmetic Consistent?
In the grand chessboard of mathematical foundations, the 20th century left behind a puzzle with two faces: a dream to ground all of mathematics in finitary, rock-solid certainty, and a theorem that quietly torpedoes that dream for any sufficiently rich system. Gödel showed that a system as humble as Peano Arithmetic cannot prove its own…