Matches in SemOpenAlex for { <https://semopenalex.org/work/W2386967453> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2386967453 abstract "Consistent,soundness,completeness,and incompleteness are the basic concepts of formal system.Clearing these notions and relations among them is helpful for us to understand the correct meaning of Gdel′s completeness theorem and Gdel′s incompleteness theorem,as well as the necessary and sufficient condition for both of two theorems.Based on the analysis above,the limitation of the method of formalization and the formal system are discussed." @default.
- W2386967453 created "2016-06-24" @default.
- W2386967453 creator A5087335378 @default.
- W2386967453 date "2010-01-01" @default.
- W2386967453 modified "2023-09-23" @default.
- W2386967453 title "Clearing Some Concepts of Formal System" @default.
- W2386967453 hasPublicationYear "2010" @default.
- W2386967453 type Work @default.
- W2386967453 sameAs 2386967453 @default.
- W2386967453 citedByCount "0" @default.
- W2386967453 crossrefType "journal-article" @default.
- W2386967453 hasAuthorship W2386967453A5087335378 @default.
- W2386967453 hasConcept C10138342 @default.
- W2386967453 hasConcept C102315432 @default.
- W2386967453 hasConcept C111472728 @default.
- W2386967453 hasConcept C118615104 @default.
- W2386967453 hasConcept C134306372 @default.
- W2386967453 hasConcept C134697681 @default.
- W2386967453 hasConcept C138885662 @default.
- W2386967453 hasConcept C162324750 @default.
- W2386967453 hasConcept C17231256 @default.
- W2386967453 hasConcept C199343813 @default.
- W2386967453 hasConcept C199360897 @default.
- W2386967453 hasConcept C200116569 @default.
- W2386967453 hasConcept C2777686260 @default.
- W2386967453 hasConcept C2780876879 @default.
- W2386967453 hasConcept C2985583900 @default.
- W2386967453 hasConcept C33923547 @default.
- W2386967453 hasConcept C39920170 @default.
- W2386967453 hasConcept C41008148 @default.
- W2386967453 hasConcept C71924100 @default.
- W2386967453 hasConceptScore W2386967453C10138342 @default.
- W2386967453 hasConceptScore W2386967453C102315432 @default.
- W2386967453 hasConceptScore W2386967453C111472728 @default.
- W2386967453 hasConceptScore W2386967453C118615104 @default.
- W2386967453 hasConceptScore W2386967453C134306372 @default.
- W2386967453 hasConceptScore W2386967453C134697681 @default.
- W2386967453 hasConceptScore W2386967453C138885662 @default.
- W2386967453 hasConceptScore W2386967453C162324750 @default.
- W2386967453 hasConceptScore W2386967453C17231256 @default.
- W2386967453 hasConceptScore W2386967453C199343813 @default.
- W2386967453 hasConceptScore W2386967453C199360897 @default.
- W2386967453 hasConceptScore W2386967453C200116569 @default.
- W2386967453 hasConceptScore W2386967453C2777686260 @default.
- W2386967453 hasConceptScore W2386967453C2780876879 @default.
- W2386967453 hasConceptScore W2386967453C2985583900 @default.
- W2386967453 hasConceptScore W2386967453C33923547 @default.
- W2386967453 hasConceptScore W2386967453C39920170 @default.
- W2386967453 hasConceptScore W2386967453C41008148 @default.
- W2386967453 hasConceptScore W2386967453C71924100 @default.
- W2386967453 hasLocation W23869674531 @default.
- W2386967453 hasOpenAccess W2386967453 @default.
- W2386967453 hasPrimaryLocation W23869674531 @default.
- W2386967453 hasRelatedWork W145532944 @default.
- W2386967453 hasRelatedWork W1541966923 @default.
- W2386967453 hasRelatedWork W1543643289 @default.
- W2386967453 hasRelatedWork W1547168887 @default.
- W2386967453 hasRelatedWork W1604327066 @default.
- W2386967453 hasRelatedWork W178671404 @default.
- W2386967453 hasRelatedWork W2049375073 @default.
- W2386967453 hasRelatedWork W2132353952 @default.
- W2386967453 hasRelatedWork W2135086513 @default.
- W2386967453 hasRelatedWork W2183903648 @default.
- W2386967453 hasRelatedWork W2365634822 @default.
- W2386967453 hasRelatedWork W2712799786 @default.
- W2386967453 hasRelatedWork W2889645270 @default.
- W2386967453 hasRelatedWork W2942487569 @default.
- W2386967453 hasRelatedWork W2949075068 @default.
- W2386967453 hasRelatedWork W3121221891 @default.
- W2386967453 hasRelatedWork W3122106493 @default.
- W2386967453 hasRelatedWork W643897681 @default.
- W2386967453 hasRelatedWork W1980335312 @default.
- W2386967453 hasRelatedWork W3022614819 @default.
- W2386967453 isParatext "false" @default.
- W2386967453 isRetracted "false" @default.
- W2386967453 magId "2386967453" @default.
- W2386967453 workType "article" @default.