Kant's analytic/synthetic distinction rests on necessity and knowability a priori, not computational...
This proposition has not been edited since the history system was added.