Archived tweet #8375 from the @leastfixedpoint Twitter Archive

@psygnisfive Could it be that the connection with induction, and the notion of "solving a *smaller* problem", is being lost or blurred?