один известный математик начинает читать логику второкурсникам. "Логика - это наука о законах мышления. Теперь я должен объяснить вам, что такое наука, что такое закон и что такое мышление. Что такое ‘о’ - я объяснять не буду" ( Юрий Манин )
физика более достоверна, чем математика, а математика более достоверна, чем логика. самая недостоверная наука - это логика, она ни на чем не основана ( Миша Громов )
знакомство • логика высших порядков • существование бога
первая Th Гёделя • Манин о Th Гёделя • Th Гёделя о неполноте и ℕ
Ганди о множествах
Цермелло-Френкеля •
Ноймана-Бернайса-Гёделя
аксиома выбора и все-все-все...
множества • решетки • Булева алгебра • сигма-алгебры
общая топология • топологические свойства • Мэтр Хахам об топологию • пучки расслоения сечения
Type Theory • Proof Theory • Кат теория
хроники хасида • тайские хроники • ADT vs OOP
абстрактные типы • зависимые типы
prolog • lisp • smalltalk • forth