Equality in Computer Science: with Michael Reynolds
This is a conversation with Michael Reynolds on some fundamental issues for programming and mathematics related to equality, assignment and conversion. Computer science is a powerful alternative framework for setting up solid foundations for pure mathematics, with many advantages over the current set-up, which is largely built up from philosophy.
*
Here are all the Insights into Mathematics Playlists:
Elementary Mathematics (K-6) Explained: https://www.youtube.com/playlist?
list=PL8403C2F0C89B1333
Year 9 Maths: https://www.youtube.com/playlist?list...
Ancient Mathematics: https://www.youtube.com/playlist?list...
Wild West Banking: https://www.youtube.com/playlist?list...
Sociology and Pure Mathematics: https://www.youtube.com/playlist?list...
Old Babylonian Mathematics (with Daniel Mansfield): https://www.youtube.com/playlist?
list=PLIljB45xT85CdeBmQZ2QiCEnPQn5KQ6ov
Math History: https://www.youtube.com/playlist?list...
Wild Trig: Intro to Rational Trigonometry: https://www.youtube.com/playlist?list...
MathFoundations: https://www.youtube.com/playlist?list...
Wild Linear Algebra: https://www.youtube.com/playlist?list...
Famous Math Problems: https://www.youtube.com/playlist?list...
Probability and Statistics: An Introduction: https://www.youtube.com/playlist?list...
Boole's Logic and Circuit Analysis: https://www.youtube.com/playlist?list...
Universal Hyperbolic Geometry: https://www.youtube.com/playlist?list...
Differential Geometry: https://www.youtube.com/playlist?list...
Algebraic Topology: https://www.youtube.com/playlist?list...
Math Seminars: https://www.youtube.com/playlist?list...
And here are some of the other Wild Egg Maths Playlists (some available only to Members!)
Solving Polynomial Equations: https://www.youtube.com/playlist?list...
Exceptional Structures in Maths and Physics via Dynamics on Graphs" https://www.youtube.com/playlist?list...
Triangle Centres: https://www.youtube.com/watch?v=iLBGX...
Six: An elementary course in pure mathematics: https://www.youtube.com/playlist?list...
Algebraic Calculus One: https://www.youtube.com/playlist?list...
Algebraic Calculus Two: https://www.youtube.com/playlist?list...