4 года назад
Введение в математическую логику
Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...
Странствующий гений. Математик, придумавший число Эрдёша
Конечно, это интересное число придумал сам Эрдёш. Но по порядку. Родители Пала были преподавателями математиками, воспитывали малыша соответственно. В 4 года он умел в уме перемножать четырехзначные числа, "открыл" отрицательные числа. И все понял про них! В 17лет он студент Будапештского Университета, в 18 опубликовал первую научную статью, в 19 находит новое, более простое доказательство постулата Бертрана, в 20 формулирует первую собственную теорию, в 21 защищает докторскую диссертацию. Вундеркинд превратился в гения...