Книга: «конструктивная математическая логика с точки зрения классической»
|
Серия: "Математическая логика и основания математики" В середине XX века получила заметное развитие идея построения математического анализа на базе современной теории алгорифмов. Такое построение, отличаясь от традиционного простотой и интуитивной убедительностью исходных концепций, вместе с тем значительно лучше учитывает реальные вычислительные возможности. В предлагаемоймонографии в рамках конструктивного направления последовательно излагается система вычислимого анализа. Книга дает отчетливое представление о характере и свойствах таких понятий, как вычислимое действительное число, вычислимая действительная функция и т. д. Большой интерес представляют также точные постановки и доказательства неразрешимости ряда алгорифмических проблем анализа. Значительная часть материала освещается в мировой монографической литературе впервые. Книга может быть рекомендована как специалистам в области математической логики и оснований математики, так и более широкому кругу читателей, работающих в области вычислительной математики и... Издательство: "Главная редакция физико-математической литературы издательства "Наука"" (1977) Формат: 84x108/32, 447 стр.
Купить за 480 руб на Озоне |
Другие книги схожей тематики:
| Автор | Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|---|
| П. С. Новиков | Конструктивная математическая логика с точки зрения классической | Книга написана на основе лекций, читавшихся П. С. Новиковым в МГУ. В ней излагаются некоторые аспекты… — Главная редакция физико-математической литературы издательства "Наука", (формат: 84x108/32, 328 стр.) Математическая логика и основания математики Подробнее... | 1977 | 210 | бумажная книга |
См. также в других словарях:
МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… … Математическая энциклопедия
КОНСТРУКТИВНАЯ ЛОГИКА — 1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается … Философская энциклопедия
конструктивная логика — КОНСТРУКТИВНАЯ ЛОГИКА (от лат. constructio построение) совокупность логических принципов, признаваемых приемлемыми представителями конструктивизма в математике. Предметом конструктивизма являются конструктивные объекты и конструктивные… … Энциклопедия эпистемологии и философии науки
КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… … Математическая энциклопедия
ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… … Математическая энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
