Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022607815> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2022607815 endingPage "158" @default.
- W2022607815 startingPage "127" @default.
- W2022607815 abstract "§1. Introduction . This paper deals with aspects of my doctoral dissertation which contributed to the early development of model theory. What was of use to later workers was less the results of my thesis, than the method by which I proved the completeness of first-order logic—a result established by Kurt Gödel in his doctoral thesis 18 years before. The ideas that fed my discovery of this proof were mostly those I found in the teachings and writings of Alonzo Church. This may seem curious, as his work in logic, and his teaching, gave great emphasis to the constructive character of mathematical logic, while the model theory to which I contributed is filled with theorems about very large classes of mathematical structures, whose proofs often by-pass constructive methods. Another curious thing about my discovery of a new proof of Gödel's completeness theorem, is that it arrived in the midst of my efforts to prove an entirely different result. Such “accidental” discoveries arise in many parts of scientific work. Perhaps there are regularities in the conditions under which such “accidents” occur which would interest some historians, so I shall try to describe in some detail the accident which befell me. A mathematical discovery is an idea, or a complex of ideas, which have been found and set forth under certain circumstances. The process of discovery consists in selecting certain input ideas and somehow combining and transforming them to produce the new output ideas. The process that produces a particular discovery may thus be represented by a diagram such as one sees in many parts of science; a “black box” with lines coming in from the left to represent the input ideas, and lines going out to the right representing the output. To describe that discovery one must explain what occurs inside the box, i.e., how the outputs were obtained from the inputs." @default.
- W2022607815 created "2016-06-24" @default.
- W2022607815 creator A5012397206 @default.
- W2022607815 date "1996-06-01" @default.
- W2022607815 modified "2023-09-28" @default.
- W2022607815 title "The Discovery of My Completeness Proofs" @default.
- W2022607815 cites W2005607143 @default.
- W2022607815 cites W2015374966 @default.
- W2022607815 cites W2026463805 @default.
- W2022607815 cites W2056017060 @default.
- W2022607815 cites W2090190027 @default.
- W2022607815 cites W2160331299 @default.
- W2022607815 cites W2331346174 @default.
- W2022607815 cites W4234491120 @default.
- W2022607815 doi "https://doi.org/10.2307/421107" @default.
- W2022607815 hasPublicationYear "1996" @default.
- W2022607815 type Work @default.
- W2022607815 sameAs 2022607815 @default.
- W2022607815 citedByCount "42" @default.
- W2022607815 countsByYear W20226078152012 @default.
- W2022607815 countsByYear W20226078152013 @default.
- W2022607815 countsByYear W20226078152014 @default.
- W2022607815 countsByYear W20226078152017 @default.
- W2022607815 countsByYear W20226078152018 @default.
- W2022607815 countsByYear W20226078152020 @default.
- W2022607815 countsByYear W20226078152021 @default.
- W2022607815 countsByYear W20226078152022 @default.
- W2022607815 countsByYear W20226078152023 @default.
- W2022607815 crossrefType "journal-article" @default.
- W2022607815 hasAuthorship W2022607815A5012397206 @default.
- W2022607815 hasConcept C108710211 @default.
- W2022607815 hasConcept C111472728 @default.
- W2022607815 hasConcept C121332964 @default.
- W2022607815 hasConcept C126965237 @default.
- W2022607815 hasConcept C134306372 @default.
- W2022607815 hasConcept C138885662 @default.
- W2022607815 hasConcept C15744967 @default.
- W2022607815 hasConcept C17231256 @default.
- W2022607815 hasConcept C188147891 @default.
- W2022607815 hasConcept C199343813 @default.
- W2022607815 hasConcept C199360897 @default.
- W2022607815 hasConcept C24890656 @default.
- W2022607815 hasConcept C2524010 @default.
- W2022607815 hasConcept C2777686260 @default.
- W2022607815 hasConcept C2778701210 @default.
- W2022607815 hasConcept C2984917352 @default.
- W2022607815 hasConcept C33923547 @default.
- W2022607815 hasConcept C41008148 @default.
- W2022607815 hasConcept C71924100 @default.
- W2022607815 hasConcept C98045186 @default.
- W2022607815 hasConceptScore W2022607815C108710211 @default.
- W2022607815 hasConceptScore W2022607815C111472728 @default.
- W2022607815 hasConceptScore W2022607815C121332964 @default.
- W2022607815 hasConceptScore W2022607815C126965237 @default.
- W2022607815 hasConceptScore W2022607815C134306372 @default.
- W2022607815 hasConceptScore W2022607815C138885662 @default.
- W2022607815 hasConceptScore W2022607815C15744967 @default.
- W2022607815 hasConceptScore W2022607815C17231256 @default.
- W2022607815 hasConceptScore W2022607815C188147891 @default.
- W2022607815 hasConceptScore W2022607815C199343813 @default.
- W2022607815 hasConceptScore W2022607815C199360897 @default.
- W2022607815 hasConceptScore W2022607815C24890656 @default.
- W2022607815 hasConceptScore W2022607815C2524010 @default.
- W2022607815 hasConceptScore W2022607815C2777686260 @default.
- W2022607815 hasConceptScore W2022607815C2778701210 @default.
- W2022607815 hasConceptScore W2022607815C2984917352 @default.
- W2022607815 hasConceptScore W2022607815C33923547 @default.
- W2022607815 hasConceptScore W2022607815C41008148 @default.
- W2022607815 hasConceptScore W2022607815C71924100 @default.
- W2022607815 hasConceptScore W2022607815C98045186 @default.
- W2022607815 hasIssue "2" @default.
- W2022607815 hasLocation W20226078151 @default.
- W2022607815 hasOpenAccess W2022607815 @default.
- W2022607815 hasPrimaryLocation W20226078151 @default.
- W2022607815 hasRelatedWork W2022607815 @default.
- W2022607815 hasRelatedWork W2072935111 @default.
- W2022607815 hasRelatedWork W2118374132 @default.
- W2022607815 hasRelatedWork W2139455935 @default.
- W2022607815 hasRelatedWork W2142805699 @default.
- W2022607815 hasRelatedWork W2950494078 @default.
- W2022607815 hasRelatedWork W2959217929 @default.
- W2022607815 hasRelatedWork W3160700379 @default.
- W2022607815 hasRelatedWork W350561797 @default.
- W2022607815 hasRelatedWork W4242866892 @default.
- W2022607815 hasVolume "2" @default.
- W2022607815 isParatext "false" @default.
- W2022607815 isRetracted "false" @default.
- W2022607815 magId "2022607815" @default.
- W2022607815 workType "article" @default.