один известный математик начинает читать логику второкурсникам. "Логика – это наука о законах мышления. Теперь я должен объяснить вам, что такое наука, что такое закон и что такое мышление. Что такое ‘о’ - я объяснять не буду" ( Юрий Манин )

физика более достоверна, чем математика, а математика более достоверна, чем логика. самая недостоверная наука - это логика, она ни на чем не основана ( Миша Громов )


  • знакомство логика высших порядков существование бога
  • первая Th Гёделя Манин о Th Гёделя Th Гёделя о неполноте и ℕ
  • Ганди о множествах Цермелло-Френкеля Ноймана-Бернайса-Гёделя аксиома выбора и все-все-все...
  • множества решетки Булева алгебра
  • пучки расслоения сечения