Предлагаемый вниманию читателя перевод руководства по элементам математической логики содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца ХIX - начала XX вв. Д.Гильберта и написана его учеником В.Аккерманом.
Руководство написано очень сжато и лаконично и рассчитано на читателя, привыкшего пользоваться математической литературой. Учитывая интересы более широкого круга читателей, книга снабжена несколькими ...(Подробнее)комментариями, являющимися не дополнениями к ней, а, в первую очередь, пояснениями. Прежде всего это относится к комментарию к первым двум параграфам второй главы, интересной для преподавателей элементарной логики, поскольку она представляет собой известную формализацию логики Аристотеля.
Перевод руководства по элементам математической логики Д. Гильберта и В. Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д. Гильберта и написана его учеником Аккерманом. Первоначально книга была намечена как введение в появившуюся позже двухтомную монографию Д. Гильберта и П. Бернайса, посвященную `Основаниям математики` и содержащую подробный разбор основных результатов в этой области, доведенный до 1940 года. Давид Гильберт (нем. David Hilbert, 23 января 1862 - 14 февраля 1943) - немецкий математик-универсал, внес значительный вклад в развитие многих областей математики. Член многих академий наук, в том числе Берлинской, Геттингенской, Лондонского королевского общества, иностранный почетный член Академии наук СССР (1934). Лауреат премии имени Н. И. Лобачевского (1903). В 1910-1920-е (после смерти Анри Пуанкаре) был признанным мировым лидером математиков. Разработал широкий спектр фундаментальных идей во многих областях математики. Наиболее известны его первая полная аксиоматика евклидовой геометрии и теория гильбертовых пространств, одна из основ современного функционального анализа. Внес значительный вклад в теорию инвариантов, общую алгебру, математическую физику, интегральные уравнения и основания математики. Вильгельм Фридрих Аккерман (нем. Wilhelm Friedrich Ackermann, 29 марта 1896, Хершайд, Германская империя, - 24 декабря 1962, Люденшайд, ФРГ) - немецкий математик и логик, педагог.