Предлагаемая вниманию читателя работа Л. Генкина “О математической индукции” относится к основаниям арифметики.
Все знают о математике, что это — очень важная и очень сложная наука, но даже специалисты не всегда ясно представляют себе пути ее развития. И, к сожалению, до сих пор лишь немногим известно, что развитие математики вызвало к жизни новую науку — науку об основаниях математики.
Эта наука, значительную часть которой составляет ядро так называемой математической логики, анализирует и совершенствует те методы, которыми пользуется математика при доказательстве своих теорем. Именно этой науке математика обязана верой в неизбежность своих результатов.
Книга А. Гейтинга является монографией по основаниям математики. Вопросы оснований математики (теория математического доказательства, проблема существования в математике) рассматриваются в ней с точки зрения интуиционизма — течения в математике, видным представителем которого является автор.
Книга написана в форме живой беседы между представителями различных точек зрения на основания математики. К этой живой беседе присоединяется и редактор книги А. А. Марков, представитель не затронутого автором направления. В своих комментариях редактор не только вводит нового собеседника, но также стремится устранить неточности, допущенные автором.
Книга рассчитана на очень широкий круг читателей, начиная от математиков всех специальностей и кончая всеми, интересующимися математической логикой и философскими проблемами естествознания.
Книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры.
Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма, гомоморфизма и их обобщений. Рассматриваются возможности упрощения описываемой концептуальной схемы и условия ее применимости.
Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, дается обзор ее важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге результаты в монографическом изложении публикуются впервые.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в различных областях математики (алгебра, функциональный анализ, теория меры, теория вероятностей). Она может служить пособием при первичном изучении теории булевых алгебр; для понимания достаточно знакомства с элементами алгебры, теории меры и топологии.
Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств.
Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исследований по основаниям математики и по математической логике тесно связано с ней.
Брошюра будет полезна всем математикам, а также представителям других специальностей, интересующихся приложениями математической логики.
Первые две главы книги образуют элементарное введение в теорию булевых алгебр; здесь приводятся основные факты этой теории, дается обзор ее важнейших приложений. Последующие главы в основном посвящены полным булевым алгебрам, в первую очередь алгебрам с мерой, особенно важным для теории вероятностей и функционального анализа. Многие приводимые в книге результаты в монографическом изложении публикуются впервые.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в различных областях математики (алгебра, функциональный анализ, теория меры, теория вероятностей). Она может служить пособием при первом изучении теории булевых алгебр; для понимания достаточно знакомства с элементами алгебры, теории меры и общей топологии. Страниц 320. Таблиц 2. Иллюстраций 4.
Брошюра представляет собой развернутое изложение обзорного доклада, прочитанного первым из авторов — крупным специалистом по математической логике. В исключительно сжатой, но доступной и четкой форме авторам удалось изложить важнейшие современные аксиоматические обоснования теории абстрактных множеств.
Эта отрасль весьма слабо представлена в советской математической литературе, а между тем современное бурное развитие исследований по основаниям математики и по математической логике тесно связано с ней.
Брошюра будет полезна всем математикам, а также представителям других специальностей, интересующихся приложениями математической логики.
Работа посвящена философскому и логико-семантическому анализу познавательного значения и логических функций отрицательных высказываний. В ней рассматривается история вопроса о смысле отрицательных высказываний, роль отрицательных высказываний в структуре научного знания, так называемый «парадокс несуществования», а также дается критика некоторых современных буржуазных философских теорий смысла отрицания. Значительное место в работе занимает анализ отрицания в так называемой «логике неточных предикатов».
Работа рассчитана на студентов и аспирантов философских факультетов, а также на всех интересующихся философскими проблемами логики.
Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления.
От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает их структуры и программирование.
Тот, кто интересуется роботами, обнаружит здесь пример составления логических уравнений, на основе которых можно строить кибернетических “зверьков”, обладающих простым поведением. Книга рассчитана на широкий круг читателей, она может быть полезна математикам различных специальностей, инженерам, работающим в области связи, автоматики и телемеханики, студентам вузов и др. Для ее понимания достаточно знания математики и физики в объеме средней школы.
Для инженеров, работающих в области релейно-контактной техники или техники цифровых машин, изучение общей теории конечных автоматов и последовательностных машин не связано с большими трудностями, так как им знаком уже необходимый математический аппарат: исчисление высказываний, общие понятия об исчислении предикатов, основы теории алгоритмов (теории рекурсивных функций).
В значительно худшем положении оказываются инженеры других специальностей, в том числе и инженеры, знакомые с теорией автоматического управления. Основой их математического образования является общий анализ, математическая физика, математика дифференциальных уравнений. Как показал опыт, изучение проблемы, в основе которых лежит математическая логика и теория алгоритмов, представляет для них известные трудности.
