> > > BTW, this is really interesting topic per se. Is it even possible to > reconstruct every proof by any arbitrary person? In other words: do we > really need geniuses or it's just a convenience? So, would a culturally > very different civilization create the same definitions and theorems? >
A genius is no more than a person with an inner double core processor. No more. No magic. I'm pretty sure we would reconstruct the same collection of definitions and theorem. Including magmas and semigroups. Another question is; would class relations and domination have an influence? -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/eb46daa5-017d-47e8-a903-539a5c00ea77%40googlegroups.com.
