Switch to: References

Add citations

You must login to add citations.
  1. Formal Ontology and Mathematics. A Case Study on the Identity of Proofs.Matteo Bianchetti & Giorgio Venturi - 2023 - Topoi 42 (1):307-321.
    We propose a novel, ontological approach to studying mathematical propositions and proofs. By “ontological approach” we refer to the study of the categories of beings or concepts that, in their practice, mathematicians isolate as fruitful for the advancement of their scientific activity (like discovering and proving theorems, formulating conjectures, and providing explanations). We do so by developing what we call a “formal ontology” of proofs using semantic modeling tools (like RDF and OWL) developed by the computer science community. In this (...)
    Download  
     
    Export citation  
     
    Bookmark