Yes, we can understand Gödel's truth definition as a historical attempt to reverse engineer and formally specify the brain's intuitions of truth. Gödel shows that this classical, stateless formalization does not work. Constructive definitions of truth are the way to go.

→ View original post on X — @plinz,