it depends what you're working on, if you do any form of program analysis (security, compiler stuff) you bump into undecidability everyday