Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Algorithm_characterizations> ?p ?o }
- Algorithm_characterizations abstract "Algorithm characterizations are attempts to formalize the word algorithm. Algorithm does not have a generally accepted formal definition. Researchers are actively working on this problem. This article will present some of the \"characterizations\" of the notion of \"algorithm\" in more detail.".
- Algorithm_characterizations wikiPageExternalLink 164.pdf.
- Algorithm_characterizations wikiPageExternalLink 141.pdf.
- Algorithm_characterizations wikiPageID "6901703".
- Algorithm_characterizations wikiPageLength "71303".
- Algorithm_characterizations wikiPageOutDegree "122".
- Algorithm_characterizations wikiPageRevisionID "705505175".
- Algorithm_characterizations wikiPageWikiLink Abstract_machine.
- Algorithm_characterizations wikiPageWikiLink Ackermann_function.
- Algorithm_characterizations wikiPageWikiLink Alan_Turing.
- Algorithm_characterizations wikiPageWikiLink Algorithm.
- Algorithm_characterizations wikiPageWikiLink Algorithm_examples.
- Algorithm_characterizations wikiPageWikiLink Alonzo_Church.
- Algorithm_characterizations wikiPageWikiLink Andreas_Blass.
- Algorithm_characterizations wikiPageWikiLink Andrey_Markov.
- Algorithm_characterizations wikiPageWikiLink Boolean_algebra.
- Algorithm_characterizations wikiPageWikiLink C_preprocessor.
- Algorithm_characterizations wikiPageWikiLink Cantors_diagonal_argument.
- Algorithm_characterizations wikiPageWikiLink Category:Algorithms.
- Algorithm_characterizations wikiPageWikiLink Category:Computability_theory.
- Algorithm_characterizations wikiPageWikiLink Category:Formal_methods.
- Algorithm_characterizations wikiPageWikiLink Category:Models_of_computation.
- Algorithm_characterizations wikiPageWikiLink Chinese_room.
- Algorithm_characterizations wikiPageWikiLink Chomsky_hierarchy.
- Algorithm_characterizations wikiPageWikiLink Christos_Papadimitriou.
- Algorithm_characterizations wikiPageWikiLink Church_Thesis.
- Algorithm_characterizations wikiPageWikiLink Church–Turing_thesis.
- Algorithm_characterizations wikiPageWikiLink Complexity_class.
- Algorithm_characterizations wikiPageWikiLink Computable_function.
- Algorithm_characterizations wikiPageWikiLink Computational_theory_of_mind.
- Algorithm_characterizations wikiPageWikiLink Computer.
- Algorithm_characterizations wikiPageWikiLink Constructivism_(mathematics).
- Algorithm_characterizations wikiPageWikiLink Counter-machine_model.
- Algorithm_characterizations wikiPageWikiLink Counter_machine.
- Algorithm_characterizations wikiPageWikiLink Daniel_Dennett.
- Algorithm_characterizations wikiPageWikiLink Darwins_Dangerous_Idea.
- Algorithm_characterizations wikiPageWikiLink Data_flow_diagram.
- Algorithm_characterizations wikiPageWikiLink David_Berlinski.
- Algorithm_characterizations wikiPageWikiLink Donald_Knuth.
- Algorithm_characterizations wikiPageWikiLink Emil_Leon_Post.
- Algorithm_characterizations wikiPageWikiLink Euclidean_algorithm.
- Algorithm_characterizations wikiPageWikiLink Formal_grammar.
- Algorithm_characterizations wikiPageWikiLink Formal_language.
- Algorithm_characterizations wikiPageWikiLink Formal_system.
- Algorithm_characterizations wikiPageWikiLink George_Boolos.
- Algorithm_characterizations wikiPageWikiLink Greatest_common_divisor.
- Algorithm_characterizations wikiPageWikiLink Harry_R._Lewis.
- Algorithm_characterizations wikiPageWikiLink Hartley_Rogers,_Jr..
- Algorithm_characterizations wikiPageWikiLink Hierarchy.
- Algorithm_characterizations wikiPageWikiLink Ian_Stewart_(mathematician).
- Algorithm_characterizations wikiPageWikiLink Intrinsic_and_extrinsic_properties.
- Algorithm_characterizations wikiPageWikiLink Intuitionism.
- Algorithm_characterizations wikiPageWikiLink J._Barkley_Rosser.
- Algorithm_characterizations wikiPageWikiLink Jan_van_Leeuwen.
- Algorithm_characterizations wikiPageWikiLink John_P._Burgess.
- Algorithm_characterizations wikiPageWikiLink John_Searle.
- Algorithm_characterizations wikiPageWikiLink John_Venn.
- Algorithm_characterizations wikiPageWikiLink Kurt_Gödel.
- Algorithm_characterizations wikiPageWikiLink Lambda_calculus.
- Algorithm_characterizations wikiPageWikiLink Logical_form.
- Algorithm_characterizations wikiPageWikiLink M4_(computer_language).
- Algorithm_characterizations wikiPageWikiLink MIX.
- Algorithm_characterizations wikiPageWikiLink Machine_code.
- Algorithm_characterizations wikiPageWikiLink Martin_Davis.
- Algorithm_characterizations wikiPageWikiLink Michael_Sipser.
- Algorithm_characterizations wikiPageWikiLink Mind.
- Algorithm_characterizations wikiPageWikiLink Natural_number.
- Algorithm_characterizations wikiPageWikiLink Peter_van_Emde_Boas.
- Algorithm_characterizations wikiPageWikiLink Pointer_machine.
- Algorithm_characterizations wikiPageWikiLink Post–Turing_machine.
- Algorithm_characterizations wikiPageWikiLink Primitive_recursive_function.
- Algorithm_characterizations wikiPageWikiLink Programming_language.
- Algorithm_characterizations wikiPageWikiLink Random-access_machine.
- Algorithm_characterizations wikiPageWikiLink Random-access_stored-program_machine.
- Algorithm_characterizations wikiPageWikiLink Recursion.
- Algorithm_characterizations wikiPageWikiLink Register_machine.
- Algorithm_characterizations wikiPageWikiLink Richard_Jeffrey.
- Algorithm_characterizations wikiPageWikiLink Robert_I._Soare.
- Algorithm_characterizations wikiPageWikiLink Robin_Gandy.
- Algorithm_characterizations wikiPageWikiLink Rózsa_Péter.
- Algorithm_characterizations wikiPageWikiLink Semantics.
- Algorithm_characterizations wikiPageWikiLink State_diagram.
- Algorithm_characterizations wikiPageWikiLink Stephen_Cole_Kleene.
- Algorithm_characterizations wikiPageWikiLink Syllogism.
- Algorithm_characterizations wikiPageWikiLink Syntax.
- Algorithm_characterizations wikiPageWikiLink Taxonomy_(general).
- Algorithm_characterizations wikiPageWikiLink Tetration.
- Algorithm_characterizations wikiPageWikiLink Tree_diagram.
- Algorithm_characterizations wikiPageWikiLink Turing_completeness.
- Algorithm_characterizations wikiPageWikiLink Turing_machine.
- Algorithm_characterizations wikiPageWikiLink Turing_machine_equivalents.
- Algorithm_characterizations wikiPageWikiLink Universal_Turing_machine.
- Algorithm_characterizations wikiPageWikiLink Wilhelm_Ackermann.
- Algorithm_characterizations wikiPageWikiLink William_Stanley_Jevons.
- Algorithm_characterizations wikiPageWikiLink Yuri_Gurevich.
- Algorithm_characterizations wikiPageWikiLink Μ-recursive_function.
- Algorithm_characterizations wikiPageWikiLink Μ_operator.
- Algorithm_characterizations wikiPageWikiLinkText "Algorithm characterizations".
- Algorithm_characterizations sign "John Searle".
- Algorithm_characterizations text "Computation [...] is observer-relative, and this is because computation is defined in terms of symbol manipulation, but the notion of a 'symbol' is not a notion of physics or chemistry. Something is a symbol only if it is used, treated or regarded as a symbol. The Chinese room argument showed that semantics is not intrinsic to syntax. But what this shows is that syntax is not intrinsic to physics. [...] Something is a symbol only relative to some observer, user or agent who assigns a symbolic interpretation to it [...] you can assign a computational interpretation to anything. But if the question asks, "Is consciousness intrinsically computational?" the answer is: nothing is intrinsically computational [italics added for emphasis]. Computation exists only relative to some agent or observer who imposes a computational interpretation on some phenomenon. This is an obvious point. I should have seen it ten years ago but I did not.".