1 paper · 1 filter
Vitaly Aksenov, Eve Bodnia, Michael H. Freedman +1
Human mathematics (HM), the mathematics humans discover and value, is a vanishingly small subset of formal mathematics (FM), the totality of all valid deductions. We argue that HM…