Serious question:
The below Veritasium video describes a hundred and fifty years of math debate and concludes that math is a discursive technology that is incomplete and undecidable ("fatally flawed"). Excellently presented on the basis of high quality reading and consultation with professionals, I find it compelling partly because of its pragmatism. It concludes in a meditation on technology, echoing the classic pragmatic test of truth, rather than with radical epistemic skepticism or naive realism.
Question: in what ways might its conclusions be relevant to automotive and other transportation technologies?
https://www.youtube.com/watch?app=desktop&v=HeQX2HjkcNo