The Practicality of Formal Mathematics

This chapter explores the field of formal mathematics and raises questions about its practicality and applicability. It delves into concepts such as multiplying different dimensional manifolds and the importance of defining 'only calculable.' The speakers also discuss the limitations of different number systems and the need to consider higher domains of space.