Foundations 1: Introduction to Mathematics
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
https://www.patreon.com/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
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
https://www.patreon.com/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
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Foundations 2: Category TheorySeven ways to visualize functionsIntroduction to MathematicsThe Map of MathematicsCrisis in the Foundation of Mathematics | Infinite SeriesStill Movement 2 - A Mandelbulb 3D Fractal AnimationOne Million View Special: My Favorite Books !How to Read a Book a Day | Jordan Harry | TEDxBathUniversityMathematics is the queen of SciencesAncient Echoes - A Mandelbulb 3D Fractal AnimationFoundations 3: Universal ConstructionsThe Mathematics of CryptographyThe surprising beauty of mathematics | Jonathan Matte | TEDxGreensFarmsAcademyMath Videos: How To Learn Basic Arithmetic Fast - Online Tutorial LessonsFoundations 4: Logic and Partially Ordered Sets1. Introduction to 'The Society of Mind'Intro to Mandelbulb3DThe History of Mathematics and Its ApplicationsPythagoras' theorem (a) | Math History | NJ Wildberger