La tesis de Turing (1936) establece la identificación de lo mecánico con lo efectivo. Esta caracterización tiene una doble implicancia sobre la noción de mecanismo: en tanto la extiende aportando un modelo abstracto, al mismo tiempo la precisa estableciendo límites absolutos. En base a esta tensión, se inaugura una nueva discusión en torno a las posibilidades de un revitalizado mecanicismo, cuyo análisis se centra en la noción mátematicamente precisa de procedimiento efectivo en vez de en la equívoca noción de pensamiento.