Towards a New Mathematics and Types versus Sets - Sociology and Pure Maths

Explore a revolutionary approach to mathematical foundations through this 14-minute lecture that challenges conventional set theory by proposing Box Arithmetic as an alternative framework. Discover how Pure Mathematics could be reconstructed using only finite, computer-encodable constructions built from nested empty boxes or multisets, eliminating the need for infinite sets or completed infinite processes. Learn about the crucial distinction between mathematical "types" and mathematical "sets" as separate concepts that require careful differentiation. Examine how this foundational approach, detailed in the book "Algebraic Calculus" co-authored with Anna Tomskova, can be applied to arithmetic, algebra, linear algebra, and analysis while maintaining complete logical rigor and computational verifiability.