La tesis M no es, sólo, una tesis problemática que esta relacionada estrechamente con la tesis de Church.