Sometimes I think this about huge swaths of human discourse. How we’ve formalized computation and think about it, large branches of philosophy going back to Pla

Sometimes I think this about huge swaths of human discourse. How we’ve formalized computation and think about it, large branches of philosophy going back to Plato and Aristotle. For example, math has continued to be unreduced to any other theory. There is also no dogma of what counts as math. Is it what follows from intuitionism, from certain axioms (which axioms and why), from classical logical principles (LEM, LNC), from sentences which can be propositionalized or predicated, from psychology and physics? No one has demonstrated they have the answer. Maybe we keep chasing the same rabbits too strongly. Especially since we don’t know how mind relates to world.