In this series we develop an understanding of the modern foundations of pure mathematics, starting from first principles. We start with intuitive ideas about set theory, and introduce notions from category theory, logic and type theory, until we are in a position to understand dependent type theory, and in particular, homotopy type theory, which promises to replace set theory as the foundation of modern mathematics. We also take an interest in computer science, and how to write computer programming languages to formalize mathematics.
In this first video, we introduce the material, and discuss the important basic ideas of sets and functions from a rough, intuitive perspective.
Some people have said they want to support my efforts to make educational videos and software, and so I have made a Patreon page
/ richardsouthwell
Any support would really help me produce more videos and software.
Another way you can support me is by becoming a member of my YouTube channel. Doing this grants access to many more, currently unlisted, videos.
Смотрите видео Foundations 1: Introduction to Mathematics онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Richard Southwell 23 Ноябрь 2020, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 39,781 раз и оно понравилось 968 людям.