Pagbabag-o han 22:03, 6 Mayo 2021 igliwat InternetArchiveBot (hiruhimangraw \| mga ámot) Mga bot 184,357 edits Add 2 books for verifiability (20210506)) #IABot (v2.0.8) (GreenC bot ← Durudaan nga pagliwat		Pagbabag-o han 13:10, 19 Hunyo 2021 igliwat Igpawara an ginbuhat InternetArchiveBot (hiruhimangraw \| mga ámot) Mga bot 184,357 edits Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8 Burubag-o nga pagliwat
Bagis 37: * {{Cite book\|last=Rogers, Jr\|first=Hartley\|title=Theory of Recursive Functions and Effective Computability\|publisher=The MIT Press\|year=1987\|isbn=0-262-68052-1}} * {{Cite journal\|last=Rosser\|first=J.B.\|authorlink=J.B. Rosser\|title=An Informal Exposition of Proofs of Godel's Theorem and Church's Theorem\|journal=Journal of Symbolic Logic\|volume= 4 \|year=1939}} Reprinted in ''The Undecidable'', p. 223ff. Herein is Rosser's famous definition of "effective method": "...a method each step of which is precisely predetermined and which is certain to produce the answer in a finite number of steps... a machine which will then solve any problem of the set with no human intervention beyond inserting the question and (later) reading the answer" (p. 225–226, ''The Undecidable'') * {{cite book \|last=Santos-Lang \|first=Christopher \| year=2014 \|editor1-first=Simon \|editor1-last=van Rysewyk \|editor2-first=Matthijs \|editor2-last=Pontier \|title=Machine Medical Ethics \|publisher=Springer \| location=Switzerland \| pages=111–127 \| chapter=Moral Ecology Approaches to Machine Ethics\| \|url=http://grinfree.com/MoralEcology.pdf \| format=PDF \| doi=10.1007/978-3-319-08108-3_8 }} {{Webarchive\|url=https://web.archive.org/web/20150208131430/http://grinfree.com/MoralEcology.pdf \|date=2015-02-08 }} * {{Cite book\|last=Scott\|first=Michael L.\|title=Programming Language Pragmatics \|edition=3rd \|publisher=Morgan Kaufmann Publishers/Elsevier\|year=2009\|isbn=978-0-12-374514-9}} * {{cite book\| last = Sipser\| first = Michael\| title = Introduction to the Theory of Computation\| year = 2006\| publisher = PWS Publishing Company\| isbn = 0-534-94728-X }}

An pagkakaiba han mga rebisyon han "Algoritmo"