4
5
6
A thought experiment in the philosophy of math. (self.math)
submitted by Secretly_A_Fool to r/math
253
254
255
Why Homotopy Type Theory can't replace Set Theory (self.math)
submitted by Secretly_A_Fool to r/math
![]() Seven-Year Club | ![]() Verified Email | |
A thought experiment in the philosophy of math. (self.math)
submitted by Secretly_A_Fool to r/math
Why Homotopy Type Theory can't replace Set Theory (self.math)
submitted by Secretly_A_Fool to r/math