search

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs
Other
3 stars 1 forks source link

Is Euclid's step 4 (isosceles triangle proof) a construction? #41

Closed Mttbnchtt closed 11 months ago

Mttbnchtt commented 11 months ago

If yes, set the datatype property "involves a construction" for that step.

Mttbnchtt commented 11 months ago

It is not a construction because it does not modify the diagram.