Anatoly Vorobey (avva) wrote,
Anatoly Vorobey
avva

Categories:

книжки по логике

Teach Yourself Logic 2017: A Study Guide - очень полезный подробный обзор с рекомендациями учебников по математической логике и разным ее областям, английского логика Питера Смита. Он его обновляет каждый год - я точно пару лет назад уже читал, и мне помнилось, что даже написал тогда о нем, но не могу найти.

Хорошо бы такие вдумчивые обзоры иметь по другим областям математики, физики и прочих наук.

P.S. Мои собственные рекомендации. Для введения в мат. логику, предполагая знакомство с высшей математикой и строгими доказательствами: H. Enderton, A Mathematical Introduction To Logic. Теоремы Гёделя о неполноте: R. Smullyan, Godel's Incompleteness Theorems. Теория множеств: A. Levy, Basic Set Theory (не доходит до результатов о независимости, хорошо освещает ординалы и кардиналы, включая большие кардиналы).
Tags: логика
Subscribe

  • монеточка

    Сегодня вечером концерт Монеточки в Тель-Авиве! Кто идет? (Мы идем почти всей семьей) Кстати, в прошлом году я послушал немного Noize MC и мне…

  • о цветкове

    Александр Стесин написал воспоминания о многолетней близкой дружбе с Алексеем Цветковым. Очень хорошо написал, всячески рекомендую:…

  • лайфхак с кредитками

    Я потерял свою кредитную карточку, и несколько недель все никак ее не отменял, чтобы мне прислали новую. Р. примерно каждый день пыталась меня…

  • Post a new comment

    Error

    default userpic

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 14 comments

  • монеточка

    Сегодня вечером концерт Монеточки в Тель-Авиве! Кто идет? (Мы идем почти всей семьей) Кстати, в прошлом году я послушал немного Noize MC и мне…

  • о цветкове

    Александр Стесин написал воспоминания о многолетней близкой дружбе с Алексеем Цветковым. Очень хорошо написал, всячески рекомендую:…

  • лайфхак с кредитками

    Я потерял свою кредитную карточку, и несколько недель все никак ее не отменял, чтобы мне прислали новую. Р. примерно каждый день пыталась меня…