> Math seems like low hanging fruit in that regard.

First-order logic is undecidable, so no dice.