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

  • о смысле слова и

    Кажется, редко где обсуждают тот замечательный, мне кажется, факт о проходящем прямо сейчас в американском Сенате суде над уже бывшим президентом…

  • о родном языке

    Недавно я писал тут о книгах Джеймса Хэрриота, которые очень любил в детстве и перечитываю сейчас ("О всех созданиях больших и малых" это первая…

  • писатели-эмигранты

    О знании писателями-эмигрантами языков стран проживания. "Мария Васильевна [Розанова] французского не знает, и Синявский тоже не знал. При этом…

  • 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

  • о смысле слова и

    Кажется, редко где обсуждают тот замечательный, мне кажется, факт о проходящем прямо сейчас в американском Сенате суде над уже бывшим президентом…

  • о родном языке

    Недавно я писал тут о книгах Джеймса Хэрриота, которые очень любил в детстве и перечитываю сейчас ("О всех созданиях больших и малых" это первая…

  • писатели-эмигранты

    О знании писателями-эмигрантами языков стран проживания. "Мария Васильевна [Розанова] французского не знает, и Синявский тоже не знал. При этом…