> > 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. >
That doesn't say anything in particular. Of course the fact that there exists some logical derivation can't be changed. But this doesn't mean that such logical derivation should be actually discovered by particular culture. Even if you restrict your logical foundations to intuitionistic or use only analitical functions as your definition that would preclude many theorems from being formulated and proved. And which definitions and logic is used depends on subjective choice based on culture. -- 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/964840c2-7b1a-43d2-9d27-9d9e39ecad9c%40googlegroups.com.
