cahn: (Default)
cahn ([personal profile] cahn) wrote 2022-06-11 05:28 am (UTC)

Well, kind of? In the sense that it's supposed to mimic what we see in the real world. But the actual reasoning processes in geometric proofs are all "here are some axioms which we take to be true, now let us derive all the theorems from the axioms" which is all deductive.

Post a comment in response:

If you don't have an account you can create one now.
HTML doesn't work in the subject.
More info about formatting