книжки по логике
May. 21st, 2017 06:17 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
avvaTeach 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 (не доходит до результатов о независимости, хорошо освещает ординалы и кардиналы, включая большие кардиналы).
Хорошо бы такие вдумчивые обзоры иметь по другим областям математики, физики и прочих наук.
P.S. Мои собственные рекомендации. Для введения в мат. логику, предполагая знакомство с высшей математикой и строгими доказательствами: H. Enderton, A Mathematical Introduction To Logic. Теоремы Гёделя о неполноте: R. Smullyan, Godel's Incompleteness Theorems. Теория множеств: A. Levy, Basic Set Theory (не доходит до результатов о независимости, хорошо освещает ординалы и кардиналы, включая большие кардиналы).
no subject
Date: 2017-05-25 08:38 pm (UTC)https://citizenlab.org/2017/05/tainted-leaks-disinformation-phish/