Формальная логика (и тем более машина Тьюринга) историкам не нужна
Формальная логика не нужна, потому что практически никто не пользуется ею при построении высказываний. А те правила, которыми пользуются - тривиальны.
Теорема Геделя (и о неполноте, и о полноте) и машина Тьюринга - ненужная фигня. Особенно это относится к машине Тьюринга (а также Поста), написание программ на которой интересует только закостенелых преподавателей в вузах бывшего СССР. В 21 веке это сродни умению построить автобус из металлической крошки.
