Effectiveness mechanized

pp. 175-243

in: Judson Webb, Mechanism, mentalism and metamathematics, Berlin, Springer, 1980

Abstract

The problem of effectiveness tended early, as we have seen, to be conflated with the paradoxical one of "finite definablility'. That the two were really distinct problems emerges from an observation due essentially to Hilbert, that α is finitely definable ⇔ α is definable (period!).