It is not the case that Parikh's own work on feasible arithmetic shows that operationally motivated length restrictions require a fully rigorous alternative proof theory, not a reinterpretation of classical inconsistency.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.