251 подписчик
Сделав все эти предварительные уточнения, (см. Ф893 "Теорема не верна"1) Показав, в известном смысле, что история науки не то же самое, что и история теории познания или логики. Не говоря уже о теориях последних. Можно попытаться проанализировать исходный пример для тезиса, что частично фигурирует в названии работы. Его авторство принадлежит Гильберту и Аккерману[1]. Во всяком случае, на их совместный труд ссылается тот, кто передал его по традиции. Бродский И.Н. Опубликовал его, по-видимому, первоначально в тексте озаглавленном «Элементарное введение в символическую логику»...