Фундаменти на математика, ZFC и малко логика
Вставка
- Опубліковано 28 лис 2022
- Здравейте приятели!
Този вторник бяхме на приключение из дебрите на математиката, или по-скоро из нейните основи :Д. Лектор беше Иван Димитров магистър по "Logic and Algorithms" и асистент във ФМИ. От него научихме какво са множества и как чрез тях, и съвсем малко логика, можем да построим цялата ни известна математика. - Наука та технологія