Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913145836> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2913145836 endingPage "1813" @default.
- W2913145836 startingPage "1812" @default.
- W2913145836 abstract "One of this century's major intellectual discoveries is that there are some perfectly precise problems that can never be solved. This is a technical result, not a mystical one. There is nothing ineffable about these problems; indeed, one can give specific examples of them. Nor should this result be confused with the claim that some problems (e.g. what is the meaning of life?) are too imprecise to be solved computationally. Actually, these unsolvable problems are just as precise as the problem of computing a sum. Also, the result is not based on the fact that some problems are just too large to solve in practical terms. Rather, these problems are unsolvable even under the assumption that wholly unreasonable amounts of time and space are available for their solution. By way of contrast, it is a trivial matter under such an assumption to write a program that plays a perfect game of chess: just explore all of the possibilities systematically. (There are only a finite number of possibilities, but that number is so astronomically large that this exhaustive approach will never be of practical use.)" @default.
- W2913145836 created "2019-02-21" @default.
- W2913145836 creator A5087046267 @default.
- W2913145836 date "2003-01-01" @default.
- W2913145836 modified "2023-09-24" @default.
- W2913145836 title "Undecidable problems" @default.
- W2913145836 cites W1569223466 @default.
- W2913145836 cites W168951100 @default.
- W2913145836 cites W2107308446 @default.
- W2913145836 cites W2116976042 @default.
- W2913145836 cites W2323777246 @default.
- W2913145836 hasPublicationYear "2003" @default.
- W2913145836 type Work @default.
- W2913145836 sameAs 2913145836 @default.
- W2913145836 citedByCount "0" @default.
- W2913145836 crossrefType "journal-article" @default.
- W2913145836 hasAuthorship W2913145836A5087046267 @default.
- W2913145836 hasConcept C111472728 @default.
- W2913145836 hasConcept C11413529 @default.
- W2913145836 hasConcept C136815107 @default.
- W2913145836 hasConcept C138885662 @default.
- W2913145836 hasConcept C144237770 @default.
- W2913145836 hasConcept C153269930 @default.
- W2913145836 hasConcept C192034797 @default.
- W2913145836 hasConcept C199343813 @default.
- W2913145836 hasConcept C2777686260 @default.
- W2913145836 hasConcept C2780876879 @default.
- W2913145836 hasConcept C33923547 @default.
- W2913145836 hasConcept C41008148 @default.
- W2913145836 hasConcept C71924100 @default.
- W2913145836 hasConceptScore W2913145836C111472728 @default.
- W2913145836 hasConceptScore W2913145836C11413529 @default.
- W2913145836 hasConceptScore W2913145836C136815107 @default.
- W2913145836 hasConceptScore W2913145836C138885662 @default.
- W2913145836 hasConceptScore W2913145836C144237770 @default.
- W2913145836 hasConceptScore W2913145836C153269930 @default.
- W2913145836 hasConceptScore W2913145836C192034797 @default.
- W2913145836 hasConceptScore W2913145836C199343813 @default.
- W2913145836 hasConceptScore W2913145836C2777686260 @default.
- W2913145836 hasConceptScore W2913145836C2780876879 @default.
- W2913145836 hasConceptScore W2913145836C33923547 @default.
- W2913145836 hasConceptScore W2913145836C41008148 @default.
- W2913145836 hasConceptScore W2913145836C71924100 @default.
- W2913145836 hasLocation W29131458361 @default.
- W2913145836 hasOpenAccess W2913145836 @default.
- W2913145836 hasPrimaryLocation W29131458361 @default.
- W2913145836 hasRelatedWork W1014866903 @default.
- W2913145836 hasRelatedWork W1535933434 @default.
- W2913145836 hasRelatedWork W1964977674 @default.
- W2913145836 hasRelatedWork W2031281195 @default.
- W2913145836 hasRelatedWork W2074085132 @default.
- W2913145836 hasRelatedWork W2121759190 @default.
- W2913145836 hasRelatedWork W2128969865 @default.
- W2913145836 hasRelatedWork W221786456 @default.
- W2913145836 hasRelatedWork W2314107692 @default.
- W2913145836 hasRelatedWork W2318839952 @default.
- W2913145836 hasRelatedWork W2324616103 @default.
- W2913145836 hasRelatedWork W2327899908 @default.
- W2913145836 hasRelatedWork W2330990355 @default.
- W2913145836 hasRelatedWork W2481582733 @default.
- W2913145836 hasRelatedWork W2621920160 @default.
- W2913145836 hasRelatedWork W2983802074 @default.
- W2913145836 hasRelatedWork W3121149940 @default.
- W2913145836 hasRelatedWork W328581767 @default.
- W2913145836 hasRelatedWork W35089174 @default.
- W2913145836 hasRelatedWork W40640433 @default.
- W2913145836 isParatext "false" @default.
- W2913145836 isRetracted "false" @default.
- W2913145836 magId "2913145836" @default.
- W2913145836 workType "article" @default.