search

Mttbnchtt / ontology-and-proofs

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

proofs by reductio #15

Open Mttbnchtt opened 2 years ago

Mttbnchtt commented 2 years ago

Find a way to describe proofs by reductio in the ontology.

Mttbnchtt commented 2 years ago

One way would be to have individuals representing proof steps. Then we link each proof step to the reification of a statement which expresses what the proof step says.