Skip to content

Вовеки неразрешимо. Головоломное руководство по Геделю Рэймонд Смаллиан

Скачать книгу Вовеки неразрешимо. Головоломное руководство по Геделю Рэймонд Смаллиан EPUB

Рэймонд Смаллиан Передразнить пересмешника средняя цена руб. Рэймонд Смаллиан Загадки Шехерезады и другие удивительные головоломки средняя цена Материал из Википедии — свободной энциклопедии.

Смаллиан Рэймонд М. «Вовеки неразрешимо. Головоломное руководство по Геделю» | В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех «возможных миров»: эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания. Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных | Поисковый сервер «Азбука поиска» предлагает более товарных позиций.

К Вашему вниманию представлены книг. Головоломное руководство по Геделю, Смаллиан Рэймонд М. Характеристики товара: Автор. Смаллиан Рэймонд М. Издательство. Лори. Год выпуска.   Головоломное руководство по Геделю". Произвести оплату при покупке товаров в нашем интернет-магазине Вы можете одним из представленных способов: Наличный расчет. Наложенный платеж. Почтовый перевод. Банковский перевод. Яндекс.Деньги.

Рэймонд Меррилл Смаллиан (англ. Raymond Merrill Smullyan; 25 мая , Куинс, Нью-Йорк) — американский математик, пианист, логик, даосский философ и фокусник-престидижитатор. Автор многочисленных научно-популярных книг по логике и математике: о логических загадках и парадоксах, передовых концепциях логики, например, о теореме Гёделя о неполноте.

В его книге о шахматах «Шахматные приключения Шерлока Холмса» (англ.  Вовеки неразрешимо. Головоломное руководство по Геделю. Пер. с английского П. Быстрова. — М.: Лори, — с. Подробнее на английском: nfmsi.ru Метки: math, выдающиеся люди, книги. Подписаться. «Вовеки неразрешимо. Головоломное руководство по Гёделю» (). Тарас Шиян выступил с коротким докладом, проясняющим суть и философско-математическую мотивацию создания Георгом Кантором теории трансфинитных чисел.

Были также затронуты проблемы логического статуса понятия числа, соотношения кардинальных и ординальных чисел, континуум-гипотеза, аксиома выбора. Оживленное обсуждение вызвали вопросы, связанные с философским значением канторовских теорем. Виктор Горбатов прокомментировал смаллиановскую версию Первой теоремы Гёделя, идейно восходящую к ранним результатам С. Крипке. Смаллиан Рэймонд М.. Вовеки неразрешимо. Головоломное руководство по Геделю.

,00 руб./шт. Купить.  Предложено нестандартное изложение знаменитых теорем Гёделя о неполноте формальных систем и теоремы Лёба и увлекательный анализ взаимоотношения между понятиями «непротиворечивость», «доказуемость» и «разрешимость».Эта книга для тех, кто желает: не только научиться успешно искать свою подругу, которая иногда улетает на острова, населенные всегда говорящими правду рыцарями и бессовестно лгущими плутами, но даже стать в этом деле мастером, не хуже сыщиков из Скотланд-Ярда.

Реймонд Смаллиан. Вовеки неразрешимо: Головоломное руководство по Гёделю. пер. с англ. П. И. Быстрова. Дата поступления в продажу: В книге предлагается увлекательное введение в символическую логику. Дана унифицированная трактовка трех "возможных миров": эпистемического мира человеческих убеждений в истинности высказываний; мира машин, способных воспроизводить истинные высказывания, и мира математических систем, в которых можно доказывать высказывания.

Этот товар можно приобрести (в скобках указана актуальность наличия). Электронные книги в форматах: FB2, TXT, EPUB + аудиокниги. Скачивайте, читайте онлайн. Магазин на Маркете18+. Смаллиан Р. Библиотека: Тюменская областная научная библиотека им. Д. И. Менделеева.

doc, doc, PDF, fb2