2 ms·
Rejecting induction could be quite useful if you want to be very precise about the implications of your constructions wrt. computational complexity. This is of
by zozbot234 1y ago
Rejecting induction could be quite useful if you want to be very precise about the implications of your constructions wrt. computational complexity. This is of course only a mildly strengthened variant of the usual arguments for constructivism.