Re: All Circular Reasoning is Linear
Posted: Sat Sep 29, 2018 8:59 pm
Agreed, but all computation is dependent upon a replication of limits, hence all definition (cultural language, mathematics, logic, laws of nature, reason, being/non being, etc.) is premised in the replication of limit where we are led to geometry as the foundation for not just definition but all the various qualitative extensions of it....this is considering the directional nature of the these definition qualities and the intuitive nature we emphasize in them (linear/circular reasoning, "getting to the point", etc).TimeSeeker wrote: ↑Tue Sep 11, 2018 4:40 pm It doesn't matter if your axioms are "true" as long as any particular language is consistently interpreted against them.
The taxonomy of languages as proposed by the Chomsky hierarchy is that any recursively-enumerable grammar is effectively parseable by a Turing machine e.g it solves the symbol-grounding problem. In English ALL regular languages are computation!
This ties into the Curry-Howard isomorphism, Lambda calculus and Type theory.