Consider degree of objectification and explicitness for proofs of Aristotle, Euclid, and Pappus - Githubissues

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs

Other

3 stars 1 forks source link

Consider degree of objectification and explicitness for proofs of Aristotle, Euclid, and Pappus #50

Closed Mttbnchtt closed 4 months ago

Mttbnchtt commented 4 months ago

Completed.