3 ms·
Nice to hear from you again, Carl. Your comments about inconsistent foundations brings to mind the Univalent Foundations approach to mathematics--can you commen
by jkhdigital 5y ago
Nice to hear from you again, Carl. Your comments about inconsistent foundations brings to mind the Univalent Foundations approach to mathematics--can you comment on how your research relates to univalent foundations and homotopy type theory?
- ProfHewitt 5y agoThanks jkhdigital! Of course, mathematical foundations must not be inconsistent. Homotopy type theory is an attempt address issues of equality in type theory.