Comment by gcanyon

Has anyone done work on finding undecidable math beyond self-referential statements? Meaning: beyond variations of "who shaves the barber," do we have a sense that the undecidable statements are all pathologically long, or are there (we think) undecidable statements a human can comprehend that are undecidable that don't rely on self-reference?