Matches in SemOpenAlex for { <https://semopenalex.org/work/W298497181> ?p ?o ?g. }
- W298497181 endingPage "157" @default.
- W298497181 startingPage "133" @default.
- W298497181 abstract "In this paper, the questions of what machines cannot do and what they can do will be treated by examining the ideas and results of eminent mathematicians. Regarding the question of what machines cannot do, we will rely on the results obtained by the mathematicians Alan Turing and Kurt G?odel. Turing machines, their purpose of defining an exact definition of computation and the relevance of Church-Turing thesis in the of computability will be treated in detail. The undecidability of the Entscheidungsproblem (German for decision problem) is shown to be a consequence of the computations that Turing machines can or cannot do. Beginning with Peano's arithmetic, a variant of it, theory is presented and discussed. By studying representability and expressibility in S, the notion of recursive functions will be reached. G?odel arithmetization of logic and of first order theories and his completeness and incompleteness theorems, together with Church's incompleteness theorem, provide both the important possibility of codifying mathematics and the reasons for existence of other undecidable problems Regarding the question of what machines can do, we mainly rely on the ideas of the Nobel Laureate Herbert A. Simon. Nevertheless, a few facts about modern computing machines and about the so called expert systems will be described, because they suggest the existence of important capabilities of machines. The paper ends with a few considerations about the question: who is more intelligent, the man or the machine?" @default.
- W298497181 created "2016-06-24" @default.
- W298497181 creator A5011361866 @default.
- W298497181 creator A5043190267 @default.
- W298497181 creator A5073262884 @default.
- W298497181 date "2007-01-01" @default.
- W298497181 modified "2023-09-24" @default.
- W298497181 title "What machines can and cannot do" @default.
- W298497181 cites W110520164 @default.
- W298497181 cites W111317670 @default.
- W298497181 cites W1526602206 @default.
- W298497181 cites W1531550781 @default.
- W298497181 cites W1540715591 @default.
- W298497181 cites W1555412307 @default.
- W298497181 cites W1561016548 @default.
- W298497181 cites W1577360993 @default.
- W298497181 cites W1588518880 @default.
- W298497181 cites W1593503495 @default.
- W298497181 cites W1984820433 @default.
- W298497181 cites W2017890624 @default.
- W298497181 cites W2019751493 @default.
- W298497181 cites W2024506326 @default.
- W298497181 cites W2038897552 @default.
- W298497181 cites W2094174087 @default.
- W298497181 cites W2094542439 @default.
- W298497181 cites W2118888533 @default.
- W298497181 cites W2132174753 @default.
- W298497181 cites W2135241964 @default.
- W298497181 cites W2148132004 @default.
- W298497181 cites W2323746689 @default.
- W298497181 cites W31970964 @default.
- W298497181 cites W59605948 @default.
- W298497181 cites W2033216491 @default.
- W298497181 hasPublicationYear "2007" @default.
- W298497181 type Work @default.
- W298497181 sameAs 298497181 @default.
- W298497181 citedByCount "0" @default.
- W298497181 crossrefType "journal-article" @default.
- W298497181 hasAuthorship W298497181A5011361866 @default.
- W298497181 hasAuthorship W298497181A5043190267 @default.
- W298497181 hasAuthorship W298497181A5073262884 @default.
- W298497181 hasConcept C111142201 @default.
- W298497181 hasConcept C11413529 @default.
- W298497181 hasConcept C131671149 @default.
- W298497181 hasConcept C134306372 @default.
- W298497181 hasConcept C144237770 @default.
- W298497181 hasConcept C15190523 @default.
- W298497181 hasConcept C152062344 @default.
- W298497181 hasConcept C153269930 @default.
- W298497181 hasConcept C154945302 @default.
- W298497181 hasConcept C167729594 @default.
- W298497181 hasConcept C17231256 @default.
- W298497181 hasConcept C179061269 @default.
- W298497181 hasConcept C180937797 @default.
- W298497181 hasConcept C192034797 @default.
- W298497181 hasConcept C199360897 @default.
- W298497181 hasConcept C21176728 @default.
- W298497181 hasConcept C2524010 @default.
- W298497181 hasConcept C2781302003 @default.
- W298497181 hasConcept C29248071 @default.
- W298497181 hasConcept C31402856 @default.
- W298497181 hasConcept C33923547 @default.
- W298497181 hasConcept C41008148 @default.
- W298497181 hasConcept C45374587 @default.
- W298497181 hasConcept C80444323 @default.
- W298497181 hasConcept C97489613 @default.
- W298497181 hasConcept C9870796 @default.
- W298497181 hasConceptScore W298497181C111142201 @default.
- W298497181 hasConceptScore W298497181C11413529 @default.
- W298497181 hasConceptScore W298497181C131671149 @default.
- W298497181 hasConceptScore W298497181C134306372 @default.
- W298497181 hasConceptScore W298497181C144237770 @default.
- W298497181 hasConceptScore W298497181C15190523 @default.
- W298497181 hasConceptScore W298497181C152062344 @default.
- W298497181 hasConceptScore W298497181C153269930 @default.
- W298497181 hasConceptScore W298497181C154945302 @default.
- W298497181 hasConceptScore W298497181C167729594 @default.
- W298497181 hasConceptScore W298497181C17231256 @default.
- W298497181 hasConceptScore W298497181C179061269 @default.
- W298497181 hasConceptScore W298497181C180937797 @default.
- W298497181 hasConceptScore W298497181C192034797 @default.
- W298497181 hasConceptScore W298497181C199360897 @default.
- W298497181 hasConceptScore W298497181C21176728 @default.
- W298497181 hasConceptScore W298497181C2524010 @default.
- W298497181 hasConceptScore W298497181C2781302003 @default.
- W298497181 hasConceptScore W298497181C29248071 @default.
- W298497181 hasConceptScore W298497181C31402856 @default.
- W298497181 hasConceptScore W298497181C33923547 @default.
- W298497181 hasConceptScore W298497181C41008148 @default.
- W298497181 hasConceptScore W298497181C45374587 @default.
- W298497181 hasConceptScore W298497181C80444323 @default.
- W298497181 hasConceptScore W298497181C97489613 @default.
- W298497181 hasConceptScore W298497181C9870796 @default.
- W298497181 hasIssue "2" @default.
- W298497181 hasLocation W2984971811 @default.
- W298497181 hasOpenAccess W298497181 @default.
- W298497181 hasPrimaryLocation W2984971811 @default.
- W298497181 hasRelatedWork W111470101 @default.