Matches in SemOpenAlex for { <https://semopenalex.org/work/W2607250687> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2607250687 endingPage "172" @default.
- W2607250687 startingPage "159" @default.
- W2607250687 abstract "The idea of proving theorems mechanically may be dated back to Leibniz in the 17th century and has been formulated in precise mathematical forms in this century through the school of Hilbert as well as his followers on mathematical logic. The problem consists in essence in replacing qualitative difficulties inherited in usual mathematical proofs by quantitative complexities of calculations on standardizing the proof procedures in an algorithmic manner. Such quantitative complexities of calculations, formerly far beyond the reach of human abilities, have become more and more trivial owing to the occurrence and rapid development of computers. In spite of vigorous efforts, however, researches in this direction give rise quite often to negative results in the form of undecidable mathematical theories. To cite a notable positive result, we may mention Tarski's method of proving theorems mechanically in elementary geometry and elementary algebra. The methods of Tarski as well as later ones are largely based on a generalization of Sturm theorem and are still too complicated to be feasible, even with the use of computers. The present paper, restricted to theorems with betweenness out of consideration and based on an entirely different principle, aims at giving a mechanical procedure which permits to prove quite non-trivial theorems in elementary geometry even by hands." @default.
- W2607250687 created "2017-04-28" @default.
- W2607250687 creator A5027038985 @default.
- W2607250687 date "1978-02-20" @default.
- W2607250687 modified "2023-09-26" @default.
- W2607250687 title "ON THE DECISION PROBLEM AND THE MECHANIZATION OF THEOREM-PROVING IN ELEMENTARY GEOMETRY" @default.
- W2607250687 doi "https://doi.org/10.1360/ya1978-21-2-159" @default.
- W2607250687 hasPublicationYear "1978" @default.
- W2607250687 type Work @default.
- W2607250687 sameAs 2607250687 @default.
- W2607250687 citedByCount "10" @default.
- W2607250687 countsByYear W26072506872016 @default.
- W2607250687 crossrefType "journal-article" @default.
- W2607250687 hasAuthorship W2607250687A5027038985 @default.
- W2607250687 hasConcept C108710211 @default.
- W2607250687 hasConcept C11413529 @default.
- W2607250687 hasConcept C118615104 @default.
- W2607250687 hasConcept C134306372 @default.
- W2607250687 hasConcept C136119220 @default.
- W2607250687 hasConcept C153269930 @default.
- W2607250687 hasConcept C177148314 @default.
- W2607250687 hasConcept C192034797 @default.
- W2607250687 hasConcept C194886279 @default.
- W2607250687 hasConcept C199343813 @default.
- W2607250687 hasConcept C202444582 @default.
- W2607250687 hasConcept C206880738 @default.
- W2607250687 hasConcept C2524010 @default.
- W2607250687 hasConcept C2777686260 @default.
- W2607250687 hasConcept C33923547 @default.
- W2607250687 hasConcept C45962547 @default.
- W2607250687 hasConcept C47884741 @default.
- W2607250687 hasConcept C71924100 @default.
- W2607250687 hasConceptScore W2607250687C108710211 @default.
- W2607250687 hasConceptScore W2607250687C11413529 @default.
- W2607250687 hasConceptScore W2607250687C118615104 @default.
- W2607250687 hasConceptScore W2607250687C134306372 @default.
- W2607250687 hasConceptScore W2607250687C136119220 @default.
- W2607250687 hasConceptScore W2607250687C153269930 @default.
- W2607250687 hasConceptScore W2607250687C177148314 @default.
- W2607250687 hasConceptScore W2607250687C192034797 @default.
- W2607250687 hasConceptScore W2607250687C194886279 @default.
- W2607250687 hasConceptScore W2607250687C199343813 @default.
- W2607250687 hasConceptScore W2607250687C202444582 @default.
- W2607250687 hasConceptScore W2607250687C206880738 @default.
- W2607250687 hasConceptScore W2607250687C2524010 @default.
- W2607250687 hasConceptScore W2607250687C2777686260 @default.
- W2607250687 hasConceptScore W2607250687C33923547 @default.
- W2607250687 hasConceptScore W2607250687C45962547 @default.
- W2607250687 hasConceptScore W2607250687C47884741 @default.
- W2607250687 hasConceptScore W2607250687C71924100 @default.
- W2607250687 hasIssue "2" @default.
- W2607250687 hasLocation W26072506871 @default.
- W2607250687 hasOpenAccess W2607250687 @default.
- W2607250687 hasPrimaryLocation W26072506871 @default.
- W2607250687 hasRelatedWork W1493847008 @default.
- W2607250687 hasRelatedWork W1553142094 @default.
- W2607250687 hasRelatedWork W1577951736 @default.
- W2607250687 hasRelatedWork W1604826792 @default.
- W2607250687 hasRelatedWork W162463835 @default.
- W2607250687 hasRelatedWork W1983598602 @default.
- W2607250687 hasRelatedWork W2022735782 @default.
- W2607250687 hasRelatedWork W2026253506 @default.
- W2607250687 hasRelatedWork W2062897452 @default.
- W2607250687 hasRelatedWork W2074560788 @default.
- W2607250687 hasRelatedWork W2077378514 @default.
- W2607250687 hasRelatedWork W2077725083 @default.
- W2607250687 hasRelatedWork W2094110556 @default.
- W2607250687 hasRelatedWork W2120467997 @default.
- W2607250687 hasRelatedWork W2131793723 @default.
- W2607250687 hasRelatedWork W2479095804 @default.
- W2607250687 hasRelatedWork W2894566655 @default.
- W2607250687 hasRelatedWork W3143504415 @default.
- W2607250687 hasRelatedWork W3217399827 @default.
- W2607250687 hasRelatedWork W959475953 @default.
- W2607250687 hasVolume "21" @default.
- W2607250687 isParatext "false" @default.
- W2607250687 isRetracted "false" @default.
- W2607250687 magId "2607250687" @default.
- W2607250687 workType "article" @default.