Goodbye cruel world . The hat intoned before he jumped from the edge of the tower . He closed his eyes awaiting the end . A wind picked up and the hat spiraled , floating downward until he landed on the ground relatively unharmed . Oh shit , that ' s right I ' m a hat . <| sep |> Sure , when you do mathematics in full rigor , it ' s made explicit if you ' re working in the reals or the complex plane , but often we rely on context to determine this . You can do the same thing when speaking a language rigorously , making what is meant by each phrase explicit ahead of time , but again , we often rely on context to determine the intended meaning , because rigor is too cumbersome for everyday speech . Of course , sometimes we misunderstand each other because the context is not clear , but this is true of both mathematics and language . When reading a proof , I often go huh ? That ' s not right before being reminded of the context in which the author is working . Further , it ' s easy to describe things that aren ' t fully sensible or easily answerable in math . BB 7918 is undecidable in ZFC , for example is it that absurd that the Ship of Theseus problem might be undecidable in some sense ?