The language paradigm is not as relevant as the "technology" produced by the language. Problems like this reduce to the "pineapple problem". Formal proofs cannot determine that a pineapple is in fact a pineapple. Machine learning on the other hand...
This Tweet was deleted by the Tweet author. Learn more