Abstract In this talk, we give an overview of a foundational mathematical theory based on the notion of concept. This theory, which we call HyperMath, will be used as a framework upon which we wish to implement a new proof ...
Prof. Dr. Masahiko Sato
Visit Date: 27/09/2025 - 01/10/2025
Home Institution: University of Kyoto, Japan