Эта книга представляет собой введение в теорию Геделя посредством логических занимательных задач с применением математической логики.
Аргументация Геделя перенесена из формальной области математических систем в область идей, более доступных обычному читателю.
Основной упор сделан на системы вер и их соотношение с математикой. Это приводит к семантике возможных миров, которая играет существенную роль в компьютерных исследованиях и искусственном интеллекте.
| Про книгу | |
| Видавництво, місто | Канон+, М. |
| Рік видання | 2013 |
| Кількість сторінок | 304 |
| Обкладинка | тверд |
-
1.784грн.
Схожі товари
О жизни, учениях и изречениях знаменитых филососфов
Диоген Лаэртский - древнегреческий писатель-биограф. Его произведение "О жизни, учениях и изречениях знаменитых философов" состоит из 10 книг и представляет собой биографическую историю греческой философии от Фалеса до Эпикура. Настоящее издание снабжено предисловием и комментариями известного русского философа А.Ф. Лосева...
Конец 20 века и конец эпохи модерна
В монографии исследуются такие острые темы политической жизни XX в., как революция 1917 г., вторая мировая война, крушение СССР, воссоединение Германии, гражданская война в Югославии. Наше время – это, скорее, не время ,,конца истории”, но время приближающегося конца эпохи модерна. Главные события эпохи модерна – экспансия Европы, колониальные империи, Атлантика как центр истории, либерализм, гуманизм, буржуазная культура, преобладание урбанизма и урбанистической цивилизации, идеал научной объективности – уже исчерпали себя и подошли или подходят к концу. И ждет нас не триумфальное шествие демократии, а тревожное время, обостряющее все застарелые раны и проблемы предыдущей эпохи. Для историков, политологов, философов...
Философские сказки для обдумывающих житье, или веселая книга о свободе и нравственности
Николай Козлов — широко известный психолог, руководитель Центра человековедения и духовного совершенствования «Синтон», создатель одноименного молодежного Клуба практической психологии, создатель авторских методических разработок «Синтон программы» для работы с молодежью и школьниками, автор популярных книг. Это книга для обдумывающих житье. Для тех, кто Жизнь, ее игру и сверкание ставит выше застывших правил и догм, кто верит, что жить можно весело и осмысленно. Эту книгу писал Практик, знающий,что ничего практичнее философии нет, - естественно, философии правильной. Автор не претендует на то, что он Истиной владеет, - на его взгляд, владеть Истиной безнравственно. Он с Истиной дружит - и она, похоже, отвечает ему взаимностью. Книга написана в форме Сказок, то есть свободных живых рассказов, где декорациями оказываются Вечные темы: Человек, Добро, Свобода, Религия, Искусство, а читатель поселяется среди действующих лиц: Морали Приличии Каквсевны, зав. душевной канцелярией Святой Веры Ивановны, Дракона - и наблюдает, что эти Герои делают с человеком и что человек может делать с ними. Эта книга для тех, кто разрешает себе видеть в Счастье не трудную цель, которую надо достичь, а такое же естественное и обязательное условие жизни, как утром умыться. Эта книга для тех, кто выбирает любить себя и людей, а свою жизнь - праздновать ..