Сборник статей по математисеской логике и ее приложениям к некоторым вопросам кибернетики

Сборник статей по математисеской логике и ее приложениям к некоторым вопросам кибернетики

Для скачивания материала заполните поле ниже и нажмите скачать.

Сколько будет 2 - 1?

Год: 1958
Описание: Сбор ник статей по математической логике и ее приложениям к некоторым во просам кибернетики", Труды Математического института им. Изложение автора отличается необычайной полнотой — как в смысле полноты рассмотрения каждого вопроса, так и в смысле полноты круга рассматриваемых вопросов (с исключительной ого воркой, что совсем не рассматриваются вопросы модальной логики). Что же касается логики, то она не имела и, казалось, не могла иметь никаких кон кретных приложений. Одну из новых областей приложения математики составляют вопросы обзора и синтеза финальных автоматов. Из имеющихся на русском языке книг к 1-му тому Вступления в математическую логику" ближе каждого примыкают Основы теоретической логики Д. В течение длинного времени математическая логика оставалась глубинной областью математики и логики, обслуживавшей вну тренние надобности этих наук. Том содержит изложение способа математической логики и ее первичных представлений (категорий мате матической логики, таких, как имя", переменная", форма" и т. В заключительной части 07 термины символическая логика", математическая логика" и логистика" объявляются синонимами (не смешивать логистику с логицизмом — направ лением в философии математики. Им составлена известная Библиография математической логики", ставящая себе целью дать свод всей литературы по математической логике от времени зарождения этой науки до 1935 г. Изданный в качест ве 17-го выпуска вестимой серии Princeton Mathematical Series" 1-й том Вступления в математическую логику" стремительно завоевал широкое признание и стал нужной книгой для любого, кто желает серьезно исследовать предмет. Алонзо Чёрч знаменит также как большой знаток мировой литературы по математической логике. Все подчинено стержневой задаче — постижению формаль ной логики путем построения формализованных языков. Маркова Математи ческая логика и вычислительная математика" в журнале Вестник Академии наук СССР, 8, 1957. Можно указать по меньшей мере четыре обстоятельства, делающих мате матическую логику исключительно востребованной в наши дни:1. Эхо крупных безусловно-научных приложений математики докатывалось до этой области лишь через тему оснований математики. Характерные для Вступления тяготение к максимально отчет ливому изложению и внимание к семантическим вопросам сохра няются на протяжении каждой книги. Вопросы результативного использо вания этой информации теснее теперь купили нрав важ ной независимой научной задачи. Первый том Вступления в математическую логику" Чёрча (2-й том пока не опубликован) отличается тщательным отбором материала. Этот процесс, сопровождающийся одновременным проникновением математических способов во все больше широкие области познания, затронул и математическую логику. Наиболее восхитительным разделом 1-го тома является Введе ние, содержащее систематическое изложение основных первичных представлений математической логики и ее метода.

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *