René's URL Explorer Experiment


Title: Algorithm characterizations - Wikipedia

Open Graph Title: Algorithm characterizations - Wikipedia

Generator: MediaWiki 1.46.0-wmf.10

direct link

Domain: en.wikipedia.org

Hey, it has json ld scripts: 
{"@context":"https:\/\/schema.org","@type":"Article","name":"Algorithm characterizations","url":"https:\/\/en.wikipedia.org\/wiki\/Algorithm_characterizations","sameAs":"http:\/\/www.wikidata.org\/entity\/Q4724354","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q4724354","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2006-09-08T18:11:02Z","dateModified":"2025-10-30T21:23:07Z","headline":"attempts to formalize the concept of algorithms"}
referrerorigin-when-cross-origin
format-detectiontelephone=no
og:typewebsite

Links:

Jump to contenthttps://en.wikipedia.org/wiki/Algorithm_characterizations#bodyContent
Main pagehttps://en.wikipedia.org/wiki/Main_Page
Contentshttps://en.wikipedia.org/wiki/Wikipedia:Contents
Current eventshttps://en.wikipedia.org/wiki/Portal:Current_events
Random articlehttps://en.wikipedia.org/wiki/Special:Random
About Wikipediahttps://en.wikipedia.org/wiki/Wikipedia:About
Contact ushttps://en.wikipedia.org/wiki/Wikipedia:Contact_us
Helphttps://en.wikipedia.org/wiki/Help:Contents
Learn to edithttps://en.wikipedia.org/wiki/Help:Introduction
Community portalhttps://en.wikipedia.org/wiki/Wikipedia:Community_portal
Recent changeshttps://en.wikipedia.org/wiki/Special:RecentChanges
Upload filehttps://en.wikipedia.org/wiki/Wikipedia:File_upload_wizard
Special pageshttps://en.wikipedia.org/wiki/Special:SpecialPages
https://en.wikipedia.org/wiki/Main_Page
Search https://en.wikipedia.org/wiki/Special:Search
Donatehttps://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=en.wikipedia.org&uselang=en
Create accounthttps://en.wikipedia.org/w/index.php?title=Special:CreateAccount&returnto=Algorithm+characterizations
Log inhttps://en.wikipedia.org/w/index.php?title=Special:UserLogin&returnto=Algorithm+characterizations
Donatehttps://donate.wikimedia.org/?wmf_source=donate&wmf_medium=sidebar&wmf_campaign=en.wikipedia.org&uselang=en
Create accounthttps://en.wikipedia.org/w/index.php?title=Special:CreateAccount&returnto=Algorithm+characterizations
Log inhttps://en.wikipedia.org/w/index.php?title=Special:UserLogin&returnto=Algorithm+characterizations
(Top) https://en.wikipedia.org/wiki/Algorithm_characterizations
1 The problem of definition https://en.wikipedia.org/wiki/Algorithm_characterizations#The_problem_of_definition
2 Chomsky hierarchy https://en.wikipedia.org/wiki/Algorithm_characterizations#Chomsky_hierarchy
3 Features of a good algorithm https://en.wikipedia.org/wiki/Algorithm_characterizations#Features_of_a_good_algorithm
4 1881 John Venn's negative reaction to W. Stanley Jevons's Logical Machine of 1870 https://en.wikipedia.org/wiki/Algorithm_characterizations#1881_John_Venn's_negative_reaction_to_W._Stanley_Jevons's_Logical_Machine_of_1870
5 1943, 1952 Stephen Kleene's characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#1943,_1952_Stephen_Kleene's_characterization
5.1 1943 "Thesis I", 1952 "Church's Thesis" https://en.wikipedia.org/wiki/Algorithm_characterizations#1943_"Thesis_I",_1952_"Church's_Thesis"
5.2 1952 "Turing's thesis" https://en.wikipedia.org/wiki/Algorithm_characterizations#1952_"Turing's_thesis"
5.3 1952 Church–Turing Thesis https://en.wikipedia.org/wiki/Algorithm_characterizations#1952_Church–Turing_Thesis
5.4 A note of dissent: "There's more to algorithm..." Blass and Gurevich (2003) https://en.wikipedia.org/wiki/Algorithm_characterizations#A_note_of_dissent:_"There's_more_to_algorithm..."_Blass_and_Gurevich_(2003)
6 1954 A. A. Markov Jr.'s characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#1954_A._A._Markov_Jr.'s_characterization
7 1936, 1963, 1964 Gödel's characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#1936,_1963,_1964_Gödel's_characterization
8 1967 Minsky's characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#1967_Minsky's_characterization
9 1967 Rogers' characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#1967_Rogers'_characterization
10 1968, 1973 Knuth's characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#1968,_1973_Knuth's_characterization
11 1972 Stone's characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#1972_Stone's_characterization
12 1995 Soare's characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#1995_Soare's_characterization
13 2000 Berlinski's characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#2000_Berlinski's_characterization
14 2000, 2002 Gurevich's characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#2000,_2002_Gurevich's_characterization
15 2003 Blass and Gurevich's characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#2003_Blass_and_Gurevich's_characterization
16 1995 – Daniel Dennett: evolution as an algorithmic process https://en.wikipedia.org/wiki/Algorithm_characterizations#1995_–_Daniel_Dennett:_evolution_as_an_algorithmic_process
17 2002 John Searle adds a clarifying caveat to Dennett's characterization https://en.wikipedia.org/wiki/Algorithm_characterizations#2002_John_Searle_adds_a_clarifying_caveat_to_Dennett's_characterization
18 2002: Boolos-Burgess-Jeffrey specification of Turing machine calculation https://en.wikipedia.org/wiki/Algorithm_characterizations#2002:_Boolos-Burgess-Jeffrey_specification_of_Turing_machine_calculation
19 2006: Sipser's assertion and his three levels of description https://en.wikipedia.org/wiki/Algorithm_characterizations#2006:_Sipser's_assertion_and_his_three_levels_of_description
20 2011: Yanofsky https://en.wikipedia.org/wiki/Algorithm_characterizations#2011:_Yanofsky
21 2024: Seiller https://en.wikipedia.org/wiki/Algorithm_characterizations#2024:_Seiller
22 Notes https://en.wikipedia.org/wiki/Algorithm_characterizations#Notes
23 References https://en.wikipedia.org/wiki/Algorithm_characterizations#References
Add linkshttps://www.wikidata.org/wiki/Special:EntityPage/Q4724354#sitelinks-wikipedia
Articlehttps://en.wikipedia.org/wiki/Algorithm_characterizations
Talkhttps://en.wikipedia.org/wiki/Talk:Algorithm_characterizations
Readhttps://en.wikipedia.org/wiki/Algorithm_characterizations
Edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit
View historyhttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=history
Readhttps://en.wikipedia.org/wiki/Algorithm_characterizations
Edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit
View historyhttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=history
What links herehttps://en.wikipedia.org/wiki/Special:WhatLinksHere/Algorithm_characterizations
Related changeshttps://en.wikipedia.org/wiki/Special:RecentChangesLinked/Algorithm_characterizations
Upload filehttps://en.wikipedia.org/wiki/Wikipedia:File_Upload_Wizard
Permanent linkhttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&oldid=1319614324
Page informationhttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=info
Cite this pagehttps://en.wikipedia.org/w/index.php?title=Special:CiteThisPage&page=Algorithm_characterizations&id=1319614324&wpFormIdentifier=titleform
Get shortened URLhttps://en.wikipedia.org/w/index.php?title=Special:UrlShortener&url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FAlgorithm_characterizations
Download QR codehttps://en.wikipedia.org/w/index.php?title=Special:QrCode&url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FAlgorithm_characterizations
Download as PDFhttps://en.wikipedia.org/w/index.php?title=Special:DownloadAsPdf&page=Algorithm_characterizations&action=show-download-screen
Printable versionhttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&printable=yes
Wikidata itemhttps://www.wikidata.org/wiki/Special:EntityPage/Q4724354
Algorithmhttps://en.wikipedia.org/wiki/Algorithm
algorithmhttps://en.wikipedia.org/wiki/Algorithm
[1]https://en.wikipedia.org/wiki/Algorithm_characterizations#cite_note-:0-1
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=1
recursive functionshttps://en.wikipedia.org/wiki/Computable_function
Turing machinehttps://en.wikipedia.org/wiki/Turing_machine
register-machinehttps://en.wikipedia.org/wiki/Register_machine
random-access machinehttps://en.wikipedia.org/wiki/Random-access_machine
[1]https://en.wikipedia.org/wiki/Algorithm_characterizations#cite_note-:0-1
random-access stored-program machinehttps://en.wikipedia.org/wiki/Random-access_stored-program_machine
computerhttps://en.wikipedia.org/wiki/Computer
Turing-equivalenthttps://en.wikipedia.org/wiki/Turing_machine_equivalents
Turing machinehttps://en.wikipedia.org/wiki/Turing_machine
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=2
Chomsky (1956) hierarchyhttps://en.wikipedia.org/wiki/Chomsky_hierarchy
containment hierarchyhttps://en.wikipedia.org/wiki/Containment_hierarchy
formal grammarshttps://en.wikipedia.org/wiki/Formal_grammar
formal languageshttps://en.wikipedia.org/wiki/Formal_language
classifyinghttps://en.wikipedia.org/wiki/Taxonomy_(general)
programming languageshttps://en.wikipedia.org/wiki/Programming_language
abstract machineshttps://en.wikipedia.org/wiki/Abstract_machine
M4https://en.wikipedia.org/wiki/M4_(computer_language)
Turing completehttps://en.wikipedia.org/wiki/Turing_complete
C preprocessor macro languagehttps://en.wikipedia.org/wiki/C_preprocessor
Relationships between complexity classeshttps://en.wikipedia.org/wiki/Complexity_class#Relationships_between_complexity_classes
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=3
effectively computablehttps://en.wikipedia.org/wiki/Effectively_computable
finitehttps://en.wiktionary.org/wiki/finite
[2]https://en.wikipedia.org/wiki/Algorithm_characterizations#cite_note-2
spacehttps://en.wikipedia.org/wiki/Space_complexity
time efficiencyhttps://en.wikipedia.org/wiki/Time_complexity
generalityhttps://en.wiktionary.org/wiki/generality
determinismhttps://en.wikipedia.org/wiki/Deterministic_algorithm
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=4
W. Stanley Jevonshttps://en.wikipedia.org/wiki/W._Stanley_Jevons
syllogismhttps://en.wikipedia.org/wiki/Syllogism
logical formhttps://en.wikipedia.org/wiki/Logical_form
Boolean equationhttps://en.wikipedia.org/wiki/Boolean_equation
John Vennhttps://en.wikipedia.org/wiki/John_Venn
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=5
primitive recursivehttps://en.wikipedia.org/wiki/Primitive_recursive
mu-operatorhttps://en.wikipedia.org/wiki/Mu-operator
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=6
Church's thesishttps://en.wikipedia.org/wiki/Church%27s_thesis
mu recursive functionshttps://en.wikipedia.org/wiki/Mu_recursive_function
primitive recursive functionshttps://en.wikipedia.org/wiki/Primitive_recursive_function
mu-operatorhttps://en.wikipedia.org/wiki/%CE%9C_operator
Some common primitive recursive functionshttps://en.wikipedia.org/wiki/Primitive_recursive_function
mu-operatorhttps://en.wikipedia.org/wiki/Mu-operator
Ackermannhttps://en.wikipedia.org/wiki/Wilhelm_Ackermann
Ackermann functionhttps://en.wikipedia.org/wiki/Ackermann_function
Rózsa Péterhttps://en.wikipedia.org/wiki/R%C3%B3zsa_P%C3%A9ter
Cantor's diagonal argumenthttps://en.wikipedia.org/wiki/Cantor%27s_diagonal_argument
super-exponentiationhttps://en.wikipedia.org/wiki/Super-exponentiation
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=7
Turing's Thesishttps://en.wikipedia.org/wiki/Turing%27s_Thesis
primitive recursive functionshttps://en.wikipedia.org/wiki/Primitive_recursive_function
counter machinehttps://en.wikipedia.org/wiki/Counter_machine
abstract machinehttps://en.wikipedia.org/wiki/Abstract_machine
counter-machine modelshttps://en.wikipedia.org/wiki/Counter-machine_model
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=8
Church–Turing Thesishttps://en.wikipedia.org/wiki/Church%E2%80%93Turing_Thesis
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=9
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=10
Andrey Markov Jr.https://en.wikipedia.org/wiki/Andrey_Markov_Jr.
recursive functionhttps://en.wikipedia.org/wiki/Recursion
Ian Stewarthttps://en.wikipedia.org/wiki/Ian_Stewart_(mathematician)
constructive analysishttps://en.wikipedia.org/wiki/Constructive_analysis
constructive mathematicshttps://en.wikipedia.org/wiki/Constructive_mathematics
Intuitionismhttps://en.wikipedia.org/wiki/Intuitionism
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=11
Kurt Gödelhttps://en.wikipedia.org/wiki/Kurt_G%C3%B6del
Martin Davishttps://en.wikipedia.org/wiki/Martin_Davis_(mathematician)
formal systemshttps://en.wikipedia.org/wiki/Formal_system
Martin Davishttps://en.wikipedia.org/wiki/Martin_Davis_(mathematician)
Alan Turinghttps://en.wikipedia.org/wiki/Alan_Turing
Emil Posthttps://en.wikipedia.org/wiki/Emil_Post
Alonzo Churchhttps://en.wikipedia.org/wiki/Alonzo_Church
recursionhttps://en.wikipedia.org/wiki/Recursion
lambda calculushttps://en.wikipedia.org/wiki/Lambda_calculus
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=12
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=13
Post–Turing machinehttps://en.wikipedia.org/wiki/Post%E2%80%93Turing_machine
counter machinehttps://en.wikipedia.org/wiki/Counter_machine
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=14
Knuthhttps://en.wikipedia.org/wiki/Donald_Knuth
Euclidean algorithmhttps://en.wikipedia.org/wiki/Euclidean_algorithm
greatest common divisorhttps://en.wikipedia.org/wiki/Greatest_common_divisor
natural numbershttps://en.wikipedia.org/wiki/Natural_number
machine languagehttps://en.wikipedia.org/wiki/Machine_language
MIXhttps://en.wikipedia.org/wiki/MIX_(abstract_machine)
tree diagramshttps://en.wikipedia.org/wiki/Decision_tree
flow diagramshttps://en.wikipedia.org/wiki/Data_flow_diagram
state diagramshttps://en.wikipedia.org/wiki/State_diagram
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=15
Turing machinehttps://en.wikipedia.org/wiki/Turing_machine
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=16
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=17
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=18
pointer machinehttps://en.wikipedia.org/wiki/Pointer_machine
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=19
https://en.wikipedia.org/wiki/File:Wiki_letter_w_cropped.svg
expanding ithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=
Turing machineshttps://en.wikipedia.org/wiki/Turing_machines
pointer machineshttps://en.wikipedia.org/wiki/Pointer_machine
dynamic semanticshttps://en.wikipedia.org/wiki/Dynamic_semantics
Algorithm exampleshttps://en.wikipedia.org/w/index.php?title=Algorithm_examples&action=edit&redlink=1
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=20
Daniel Dennetthttps://en.wikipedia.org/wiki/Daniel_Dennett
Darwin's Dangerous Ideahttps://en.wikipedia.org/wiki/Darwin%27s_Dangerous_Idea
according to whom?https://en.wikipedia.org/wiki/Wikipedia:Manual_of_Style/Words_to_watch#Unsupported_attributions
sichttps://en.wikipedia.org/wiki/Sic
intrinsicallyhttps://en.wikipedia.org/wiki/Intrinsic
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=21
Daniel Dennetthttps://en.wikipedia.org/wiki/Daniel_Dennett
strong artificial intelligencehttps://en.wikipedia.org/wiki/Computational_theory_of_mind
mindhttps://en.wikipedia.org/wiki/Mind
John Searlehttps://en.wikipedia.org/wiki/John_Searle
Chinese roomhttps://en.wikipedia.org/wiki/Chinese_room
syntaxhttps://en.wikipedia.org/wiki/Syntax
semantichttps://en.wikipedia.org/wiki/Semantic
Searle 2002https://en.wikipedia.org/wiki/Algorithm_characterizations#CITEREFSearle2002
intrinsichttps://en.wikipedia.org/wiki/Intrinsic
Searle 2002https://en.wikipedia.org/wiki/Algorithm_characterizations#CITEREFSearle2002
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=22
Algorithm exampleshttps://en.wikipedia.org/w/index.php?title=Algorithm_examples&action=edit&redlink=1
Turing machinehttps://en.wikipedia.org/wiki/Turing_machine
Turing machinehttps://en.wikipedia.org/wiki/Turing_machine
Turing machinehttps://en.wikipedia.org/wiki/Turing_machine
finite state machinehttps://en.wikipedia.org/wiki/Finite_state_machine
Universal Turing machinehttps://en.wikipedia.org/wiki/Universal_Turing_machine
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=23
Algorithm exampleshttps://en.wikipedia.org/w/index.php?title=Algorithm_examples&action=edit&redlink=1
random-access machinehttps://en.wikipedia.org/wiki/Random-access_machine
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=24
[3]https://en.wikipedia.org/wiki/Algorithm_characterizations#cite_note-3
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=25
[4]https://en.wikipedia.org/wiki/Algorithm_characterizations#cite_note-4
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=26
ahttps://en.wikipedia.org/wiki/Algorithm_characterizations#cite_ref-:0_1-0
bhttps://en.wikipedia.org/wiki/Algorithm_characterizations#cite_ref-:0_1-1
http://math.ucsd.edu/~sbuss/ResearchWeb/FutureOfLogic/paper.pdfhttp://math.ucsd.edu/~sbuss/ResearchWeb/FutureOfLogic/paper.pdf
Alexander S. Kechrishttps://en.wikipedia.org/wiki/Alexander_S._Kechris
^https://en.wikipedia.org/wiki/Algorithm_characterizations#cite_ref-2
ISBNhttps://en.wikipedia.org/wiki/ISBN_(identifier)
0314043756https://en.wikipedia.org/wiki/Special:BookSources/0314043756
^https://en.wikipedia.org/wiki/Algorithm_characterizations#cite_ref-3
arXivhttps://en.wikipedia.org/wiki/ArXiv_(identifier)
math/0602053https://arxiv.org/abs/math/0602053
^https://en.wikipedia.org/wiki/Algorithm_characterizations#cite_ref-4
Mathematical Informaticshttps://theses.hal.science/tel-04616661
edithttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&action=edit§ion=27
David Berlinskihttps://en.wikipedia.org/wiki/David_Berlinski
ISBNhttps://en.wikipedia.org/wiki/ISBN_(identifier)
0-15-601391-6https://en.wikipedia.org/wiki/Special:BookSources/0-15-601391-6
George Booloshttps://en.wikipedia.org/wiki/George_Boolos
John P. Burgesshttps://en.wikipedia.org/wiki/John_P._Burgess
Richard Jeffreyhttps://en.wikipedia.org/wiki/Richard_Jeffrey
ISBNhttps://en.wikipedia.org/wiki/ISBN_(identifier)
0-521-00758-5https://en.wikipedia.org/wiki/Special:BookSources/0-521-00758-5
Andreas Blasshttps://en.wikipedia.org/wiki/Andreas_Blass
Yuri Gurevichhttps://en.wikipedia.org/wiki/Yuri_Gurevich
Algorithms: A Quest for Absolute Definitionshttp://research.microsoft.com/~gurevich/Opera/164.pdf
ISBNhttps://en.wikipedia.org/wiki/ISBN_(identifier)
0-387-95569-0https://en.wikipedia.org/wiki/Special:BookSources/0-387-95569-0
Davis, Martinhttps://en.wikipedia.org/wiki/Martin_Davis_(mathematician)
Computability & Unsolvabilityhttps://archive.org/details/computabilityuns0000davi
Davis, Martinhttps://en.wikipedia.org/wiki/Martin_Davis_(mathematician)
The Undecidable: Basic Papers On Undecidable Propositions, Unsolvable Problems and Computable Functionshttps://archive.org/details/undecidablebasic0000davi
Gödelhttps://en.wikipedia.org/wiki/G%C3%B6del
Alonzo Churchhttps://en.wikipedia.org/wiki/Alonzo_Church
Turinghttps://en.wikipedia.org/wiki/Turing
Rosserhttps://en.wikipedia.org/wiki/J._Barkley_Rosser
Kleenehttps://en.wikipedia.org/wiki/Kleene
Emil Posthttps://en.wikipedia.org/wiki/Emil_Post
Dennett, Danielhttps://en.wikipedia.org/wiki/Daniel_Dennett
Darwin's Dangerous Ideahttps://archive.org/details/darwinsdangerous0000denn
Gandy, Robinhttps://en.wikipedia.org/w/index.php?title=Gandy,_Robin&action=edit&redlink=1
J. Barwisehttps://en.wikipedia.org/wiki/Jon_Barwise
H. J. Keislerhttps://en.wikipedia.org/wiki/H._J._Keisler
K. Kunenhttps://en.wikipedia.org/wiki/K._Kunen
Gurevich, Yurihttps://en.wikipedia.org/wiki/Yuri_Gurevich
Sequential Abstract State Machines Capture Sequential Algorithmshttp://research.microsoft.com/~gurevich/Opera/141.pdf
Kleene C., Stephenhttps://en.wikipedia.org/wiki/Stephen_Kleene
"Recursive Predicates and Quantifiers"https://doi.org/10.2307%2F1990131
doihttps://en.wikipedia.org/wiki/Doi_(identifier)
10.2307/1990131https://doi.org/10.2307%2F1990131
JSTORhttps://en.wikipedia.org/wiki/JSTOR_(identifier)
1990131https://www.jstor.org/stable/1990131
Church Thesishttps://en.wikipedia.org/wiki/Church_Thesis
Kleene, Stephen C.https://en.wikipedia.org/wiki/Kleene
Knuth, Donald E..https://en.wikipedia.org/wiki/Donald_Knuth
Lewis, H.R.https://en.wikipedia.org/wiki/Harry_R._Lewis
Papadimitriou, C.H.https://en.wikipedia.org/wiki/Christos_H._Papadimitriou
A. A. Markovhttps://en.wikipedia.org/wiki/A._A._Markov
Minsky, Marvinhttps://en.wikipedia.org/wiki/Marvin_Minsky
Computation: Finite and Infinite Machineshttps://archive.org/details/computationfinit0000mins
Rogers, Hartley Jrhttps://en.wikipedia.org/w/index.php?title=Rogers,_Hartley_Jr&action=edit&redlink=1
ISBNhttps://en.wikipedia.org/wiki/ISBN_(identifier)
0-262-68052-1https://en.wikipedia.org/wiki/Special:BookSources/0-262-68052-1
Consciousness and Languagehttps://archive.org/details/consciousnesslan00john
ISBNhttps://en.wikipedia.org/wiki/ISBN_(identifier)
0-521-59744-7https://en.wikipedia.org/wiki/Special:BookSources/0-521-59744-7
Seiller, Thomashttps://en.wikipedia.org/w/index.php?title=Seiller,_Thomas&action=edit&redlink=1
[1]https://theses.hal.science/tel-04616661
Sipser, Michaelhttps://en.wikipedia.org/wiki/Sipser,_Michael
ISBNhttps://en.wikipedia.org/wiki/ISBN_(identifier)
978-0-534-95097-2https://en.wikipedia.org/wiki/Special:BookSources/978-0-534-95097-2
Soare, Roberthttps://en.wikipedia.org/w/index.php?title=Soare,_Robert&action=edit&redlink=1
Ian Stewarthttps://en.wikipedia.org/w/index.php?title=Stewart,_Ian_(mathematician)&action=edit&redlink=1
van Emde Boas, Peterhttps://en.wikipedia.org/w/index.php?title=Van_Emde_Boas,_Peter&action=edit&redlink=1
Jan van Leeuwenhttps://en.wikipedia.org/wiki/Jan_van_Leeuwen
ISBNhttps://en.wikipedia.org/wiki/ISBN_(identifier)
0-444-88071-2https://en.wikipedia.org/wiki/Special:BookSources/0-444-88071-2
https://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&oldid=1319614324https://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&oldid=1319614324
Categorieshttps://en.wikipedia.org/wiki/Help:Category
Computability theoryhttps://en.wikipedia.org/wiki/Category:Computability_theory
Models of computationhttps://en.wikipedia.org/wiki/Category:Models_of_computation
Formal methodshttps://en.wikipedia.org/wiki/Category:Formal_methods
Algorithmshttps://en.wikipedia.org/wiki/Category:Algorithms
Articles with short descriptionhttps://en.wikipedia.org/wiki/Category:Articles_with_short_description
Short description matches Wikidatahttps://en.wikipedia.org/wiki/Category:Short_description_matches_Wikidata
Articles to be expanded from June 2008https://en.wikipedia.org/wiki/Category:Articles_to_be_expanded_from_June_2008
All articles to be expandedhttps://en.wikipedia.org/wiki/Category:All_articles_to_be_expanded
All articles with specifically marked weasel-worded phraseshttps://en.wikipedia.org/wiki/Category:All_articles_with_specifically_marked_weasel-worded_phrases
Articles with specifically marked weasel-worded phrases from February 2013https://en.wikipedia.org/wiki/Category:Articles_with_specifically_marked_weasel-worded_phrases_from_February_2013
Creative Commons Attribution-ShareAlike 4.0 Licensehttps://en.wikipedia.org/wiki/Wikipedia:Text_of_the_Creative_Commons_Attribution-ShareAlike_4.0_International_License
Terms of Usehttps://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use
Privacy Policyhttps://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy
Wikimedia Foundation, Inc.https://wikimediafoundation.org/
Privacy policyhttps://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy
About Wikipediahttps://en.wikipedia.org/wiki/Wikipedia:About
Disclaimershttps://en.wikipedia.org/wiki/Wikipedia:General_disclaimer
Contact Wikipediahttps://en.wikipedia.org/wiki/Wikipedia:Contact_us
Legal & safety contactshttps://foundation.wikimedia.org/wiki/Special:MyLanguage/Legal:Wikimedia_Foundation_Legal_and_Safety_Contact_Information
Code of Conducthttps://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct
Developershttps://developer.wikimedia.org
Statisticshttps://stats.wikimedia.org/#/en.wikipedia.org
Cookie statementhttps://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement
Mobile viewhttps://en.wikipedia.org/w/index.php?title=Algorithm_characterizations&mobileaction=toggle_view_mobile
https://www.wikimedia.org/
https://www.mediawiki.org/
https://en.wikipedia.org/wiki/Algorithm_characterizations
https://en.wikipedia.org/wiki/Algorithm_characterizations
https://en.wikipedia.org/wiki/Algorithm_characterizations
https://en.wikipedia.org/wiki/Algorithm_characterizations
https://en.wikipedia.org/wiki/Algorithm_characterizations
https://en.wikipedia.org/wiki/Algorithm_characterizations
https://en.wikipedia.org/wiki/Algorithm_characterizations
Add topic https://en.wikipedia.org/wiki/Algorithm_characterizations

Viewport: width=1120

Robots: max-image-preview:standard

URLs of crawlers that visited me.