I think there is a lot of room for culture to determine, for example, which axiom systems are most interesting to study, and even within the same axiom system, which areas of study are most explored. But, as metamath and other similar computer systems demonstrates pretty well, the fact of entailment from some particular axioms to a particular theorem is rock solid, and can't be undone or changed by culture.
On Mon, Feb 24, 2020 at 2:33 PM vvs <[email protected]> wrote: > There is an internal logic in mathematics that makes it quite insensitive >> to the social system state. >> > > I'd argue that our logic reflects our way of reasoning. And I'm not at all > sure that other cultures will have the same logic. That is if it's > non-human, but even humanity itself has no clear definition of humans. Two > legged bird without feathers and with flat nails, perhaps? > > -- > 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/07f4133e-4b1c-4820-8105-b59234acdcc3%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/07f4133e-4b1c-4820-8105-b59234acdcc3%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAB0L6P1WLPnuwXWnGrd2pP%2B3xBj4py5Vrtrf5YN83e4Ce8AUZg%40mail.gmail.com.
