> > In 500 years you reconstruct all mathematics. > 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?
P.S. I suppose some civilizations will omit magmas and monoids :P -- 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/9bc138af-30ea-4f1c-bde6-2fe5e19721af%40googlegroups.com.
