Bibliographic Details
| Title: |
Theoretical Structures as Networks from the Perspective of Automated Creation and Proving of Theorems |
| Authors: |
Sochi, Taha |
| Publication Status: |
Preprint |
| Publisher Information: |
Elsevier BV, 2025. |
| Publication Year: |
2025 |
| Subject Terms: |
traditional network modeling, theoretical physics, Automated theorem proving, automated search for novel theorems, theoretical structures, automated theorem creation, axiomatic structures, pure mathematics, mathematical structures |
| Description: |
We envisage theoretical structures (especially in pure mathematics and theoretical physics) as networks made of elementary propositions (representing nodes) interconnected through deductive relationships (representing throats). This vision can be exploited as a basis for employing traditional network modeling techniques in the automated search for new theorems as well as for automated proving of proposed theorems and conjectures. This deductive, deterministic and intuitive approach can replace some of the conventional approaches (which are generally more sophisticated and elaborate and hence they are more expensive) in certain areas of automated and assisted theorem proving in addition to its benefit in the automated search for novel theorems. However, we admit that it has a number of limitations and shortcomings although this similarly applies to other methods in this field; moreover some of these limitations and shortcomings can be overcome by the reformulation of certain theoretical structures where we rely for the viability of this reformulation on our perception of theoretical structures as elaborate high-level linguistic systems. |
| Document Type: |
Article |
| DOI: |
10.2139/ssrn.5386398 |
| DOI: |
10.6084/m9.figshare.26977051.v1 |
| DOI: |
10.5281/zenodo.13760187 |
| DOI: |
10.5281/zenodo.13760186 |
| DOI: |
10.6084/m9.figshare.26977051 |
| Rights: |
CC BY |
| Accession Number: |
edsair.doi.dedup.....25c087a0fc448fdea7ca9b7fa8f4ceaf |
| Database: |
OpenAIRE |