Search Results: Talk:Turing Test

Redirect to:


Talk:Turing machine
Senin, 2025-12-01 02:02:50

a Turing Machine. A Turing Machine is a rectangular array of instructions, sometimes known as a "State Transition Table", I believe that Alan Turing never...

Click to read more »
Talk:Turing test
Sabtu, 2026-04-25 20:36:08

concludes—the Turing Test cannot prove that a machine can think, contrary to Turing's original proposal.> Isn't "proposal" too vague a word? If Turing was posing...

Click to read more »
Talk:Post–Turing machine
Kamis, 2024-02-08 12:57:31

that the work of Post is independent of that of Turing. However, Yuri Gurevich claims that Post saw Turing's article before doing his work. Is there more...

Click to read more »
Talk:Church–Turing thesis/Archive
Kamis, 2008-03-06 00:18:33

Allen Turing refered to his own machines as "Turing machines". Until a reference (including document and page number) is applied here, "in Turing's own...

Click to read more »
Talk:Turing reduction
Sabtu, 2024-03-09 12:43:22

of many one instead of turing reducibility, you would be weaker at doing reductions than someone who was allowed to use turing reducibility. However,...

Click to read more »
Talk:Decider (Turing machine)
Jumat, 2024-05-03 07:41:17

so I don't know if "decider" means "(Turing) machine which represents a primitive recursive function" or "(Turing) machine which (we assert) always halts"...

Click to read more »
Talk:Church–Turing–Deutsch principle
Senin, 2026-03-02 04:48:58

this is just the strong Church-Turing thesis. I also wonder where Deutsch comes into this, because he was born after Turing died! A google search didn't...

Click to read more »
Talk:Church–Turing thesis/Archive 1
Jumat, 2025-05-02 20:20:35

Church–Turing thesis (also known as the Turing–Church thesis,[1] the Church–Turing conjecture, Church's thesis, Church's conjecture, and Turing's thesis)...

Click to read more »
Talk:Church–Turing thesis/Archive 2
Minggu, 2025-06-01 20:22:23

known to be unsolvable by Turing machines. Since the busy beaver function cannot be computed by Turing machines, the Church–Turing thesis states that this...

Click to read more »
Talk:Alan Turing
Rabu, 2026-05-20 19:05:31

article, and would only add to it's quality. ACM A. M. Turing Award, Turing (programming language), Turing (microarchitecture). Lafi90 (talk) 11:24, 31 December...

Click to read more »
Talk:Read-only right-moving Turing machines
Selasa, 2022-07-05 02:36:28

Turing machine or Read-only Turing machine SamuelRiv 04:29, 10 November 2007 (UTC) I think the main point of the model is to illustrate that a Turing...

Click to read more »
Talk:Turing completeness
Rabu, 2025-02-19 01:21:18

mathematically proved, and proofs of Turing completeness support Church–Turing thesis. So, the article is definitively about Turing completeness. In the article...

Click to read more »
Talk:Turing degree
Selasa, 2025-09-30 09:28:24

interesting way to Turing degrees. The arithmetical and analytical hierarchies, on the other hand, are directly related to Turing degrees. I don't have...

Click to read more »
Talk:Turing completeness/Archive 1
Selasa, 2021-05-25 12:45:36

articles for Turing Reducibility and Turing Degree for a good understanding of the exact mathematical definition of Turing Complete and Turing Equivalence...

Click to read more »
Talk:Alan Turing/Archive 1
Selasa, 2023-01-31 00:25:11

book, Alan Turing: the Enigma. Suffice it to say there was an element of threatened blackmail, but it wasn't really about revealing that Turing was gay,...

Click to read more »
Talk:Good–Turing frequency estimation
Jumat, 2024-02-02 23:06:30

This needs a description of the actual technique used by Good and Turing, which is notable by its absence from this article. -- The Anome 00:25, 27 October...

Click to read more »
Talk:Alan Turing/Archive 2
Kamis, 2026-01-01 01:23:52

Turing's "favorite fairy tale"? Did the cited author -- Timothy Ferris -- know Turing or have a source who did? The language of his book's one Turing...

Click to read more »
Talk:Turing machine/Archive 2
Selasa, 2008-04-01 00:18:09

a non-deterministic Turing machine (NDTM or DTM)." Is there a typo there? Can't be "DTM" because that is a deterministic Turing machine. Colin99 22:47...

Click to read more »
Talk:Turing machine/Archive 1
Selasa, 2023-03-21 17:21:11

UTM, based on Turing-completeness vs. simulating other Turing machines. None of that list of smallest ones directly simulates a Turing machine, though...

Click to read more »
Talk:Turing tarpit
Kamis, 2025-10-30 08:05:19

strikes me as a Turing Tarpit nor the opposite. 174.7.99.85 (talk) 03:22, 28 September 2010 (UTC) This doesn't seem desirable. A Turing tarpit is only...

Click to read more »
Talk:Turing machine/Archive 3
Minggu, 2026-03-15 03:50:25

the picture on the front page (artistic representation of Turing machine). In my opinion, Turing machine is a very simple concept, and any picture of it...

Click to read more »
Talk:Alan Turing/Archive index
Jumat, 2026-05-22 09:55:57

based on a request from Talk:Alan Turing. It matches the following masks: Talk:Alan Turing/Archive <#>, Talk:Alan Turing. This page was last edited by Legobot...

Click to read more »
Talk:Turing (programming language)
Sabtu, 2024-02-03 09:20:40

January 2010 (UTC) Turing, while hard to understand is quite fun once you get the hang of it. --> Turing is not hard at all. Turing is a very easy language...

Click to read more »
Talk:Alan Turing/Archive 3
Senin, 2024-11-18 02:52:46

(UTC) I agree it is an overstatement. Turing is known for the Turing machine, and the Turing test in AI - but turing machines are mostly conceived as symbol...

Click to read more »
Talk:Alan Turing/Archive 5
Rabu, 2026-05-20 19:05:29

(UTC) Here's a link to Turing's autopsy report: http://www.polarimagazine.com/features/killing-alan-turing/attachment/alan-turing-post-mortem-report/ 88...

Click to read more »
Talk:Turing test/Archive 2
Rabu, 2009-03-18 08:24:29

have Turing Test, so the two articles should be merged. Should it be capitalized? AxelBoldt Someone wrote: So far, no computer has passed the Turing test...

Click to read more »
Talk:Universal Turing machine
Kamis, 2024-01-11 22:54:16

- link en.wikipedia.org/wiki/Talk:Turing_completeness - Also on that page someone asked about "Criterion for Turing-complete languages." Check Goldparser...

Click to read more »
Talk:Probabilistic Turing machine
Sabtu, 2024-03-09 10:37:55

Should random Turing machine be merged with this page? Deco 22:38, 28 Apr 2005 (UTC) Random Turing machine redirects here... so I guess that'd be a 'yes'...

Click to read more »
Talk:Turing (cipher)
Sabtu, 2024-02-10 19:01:37

org/web/20120402223524/https://opensource.qualcomm.com/index.php?turing to https://opensource.qualcomm.com/index.php?turing Added archive https://web.archive...

Click to read more »
Talk:Alan Turing law
Rabu, 2024-02-07 23:29:45

improvement to the article. Human470 (talk) 20:57, 5 February 2017 (UTC) Turing himself received a posthumous apology in 2009,[1] but I guess it didn't...

Click to read more »
Talk:Alan Turing Memorial
Rabu, 2024-02-07 23:25:39

2004 (UTC) "Turing committed suicide in 1954..." While is seems very likely that this is the case, there is more to it. From the Alan Turing Article "....

Click to read more »
Talk:Alan Turing/Archive 4
Selasa, 2023-08-29 04:51:19

org/new-operas-for-new-audiences/the-turing-project/ to http://altnyc.org/new-operas-for-new-audiences/the-turing-project/ Added archive https://web.archive...

Click to read more »
Talk:Quantum Turing machine
Sabtu, 2024-03-09 10:53:34

quantum computer and Quantum Turing machine describe the same concept. Universal quantum computer should redirect to Quantum Turing machine, just like Universal...

Click to read more »
Talk:Alan Turing Institute
Rabu, 2024-02-07 23:29:28

Cúchullain t/c 14:13, 21 April 2015 (UTC) Alan Turing Institute → The Alan Turing InstituteThe Alan Turing Institute – this is the legally established and...

Click to read more »
Talk:Turing test/Archive 1
Rabu, 2009-02-04 16:24:52

interpretation of the Turing test. But that interpretation differs from what Turing actually said. The original paper by Turing didn't claim that this...

Click to read more »
Talk:Turing jump
Sabtu, 2024-07-06 19:14:50

Turing degrees. Thiey correspond perfectly for finite iterations, but this breaks down when you move to infinite levels. When you iterate the Turing jump...

Click to read more »
Talk:Random-access Turing machine
Minggu, 2026-05-17 23:47:59

The article says "The Turing machine has a special state such that when the binary number on the pointer tape is 'p', the Turing machine will write on...

Click to read more »
Talk:Turing pattern
Sabtu, 2025-10-25 00:27:36

the evolution of stars and galaxies. Why not in terms of this notion of Turing patterns? The law of entropy in Thermodynamics suggests an inexorable march...

Click to read more »
Talk:Unambiguous Turing machine
Senin, 2024-06-03 06:58:03

that the expressivity of unambiguous Turing machines is the same as that of deterministic and non-deterministic Turing machines. However, when we apply complexity...

Click to read more »
Talk:Alan Turing Year
Minggu, 2024-03-24 11:53:59

https://web.archive.org/web/20131219005930/http://turing.pilosopiya.com/conference to http://turing.pilosopiya.com/conference When you have finished reviewing...

Click to read more »
Talk:Reverse Turing test
Selasa, 2024-04-09 01:35:29

written anything about them yet. Or am I the only person who thinks 'Reverse Turing test' when I see a CAPTCHA in a registration form (since I had never heard...

Click to read more »
Talk:Turing equivalence (theory of computation)
Sabtu, 2006-01-07 10:07:17

I've redirected this article to Turing completeness for two reasons: (1) it is incorrect -- Turing equivalence does not refer to "a computing device capable...

Click to read more »
Talk:Super-Turing computation
Kamis, 2014-12-11 04:24:18

recursive neural network is super-turing, but it is not a hypercomputer. They are also two different approaches. Super-turing computation views a computer...

Click to read more »
Talk:Turing patterns
Jumat, 2019-12-06 00:46:55

of Turing pattern formation that have been shown in mouse and chick skin development. Several recent studies have shown convincing evidence of Turing pattern...

Click to read more »
Talk:Alan Turing/Data
Sabtu, 2007-05-05 23:44:01

update the sortable name (sortname), date of birth or death (dates) and field (contribs) of Alan Turing. Name: Turing, Alan Dates: 1912 – 1954 Contribs:...

Click to read more »
Talk:Turing machine equivalents
Senin, 2024-02-05 16:44:40

link on Multitape Turing machines. We also have an article (listed in the template but not summarized here) on Multi-track Turing machines. I’ve no idea...

Click to read more »
Talk:Turing equivalence (recursion theory)
Sabtu, 2005-11-26 23:02:10

articles on Turing reduction and Turing degrees, but I think it needs to be here, because as it was, there were links in articles to Turing equivalence...

Click to read more »
Talk:Nondeterministic Turing machine
Sabtu, 2024-03-09 10:00:54

(talk) 19:21, 29 October 2019 (UTC) Non-deterministic Turing machine → Nondeterministic Turing machine – Harmonizing with all other article titles that...

Click to read more »
Talk:Turing scheme
Senin, 2025-12-22 08:43:44

scheme. Which is correct? --Suhusa2 (talk) 15:28, 13 January 2022 (UTC) The Turing Scheme is officially capitalised in title case, as seen on the website and...

Click to read more »
Talk:Feigenbaum test
Rabu, 2025-01-15 12:29:36

more common than the current title "Subject-matter expert Turing testSubject-matter expert Turing test" in the existing sources. See Google Books search...

Click to read more »
Talk:History of the Church–Turing thesis
Sabtu, 2024-03-09 08:16:12

human-as-computer or is it a "computer"? -- i.e. the old use of the word from Turing's time ("computer" was a person who cranked numbers at a desk calculator)...

Click to read more »
Talk:Vyera Pharmaceuticals
Sabtu, 2024-02-17 05:11:34

So, if someone would please... I went to Turing on the net and was redirected to a different company with the same two products. I believe the name of...

Click to read more »
Talk:Turing machine (disambiguation)
Rabu, 2024-08-28 00:04:57

https://github.com/google/turing-doodle.git...

Click to read more »
Talk:Turing Tumble
Minggu, 2024-12-29 06:48:22

The introduction has two contradictory statements: the game is Turing complete, and the game is in PSPACE. The second reference for the latter says it's...

Click to read more »
Talk:Symmetric Turing machine
Sabtu, 2024-03-09 12:23:26

Is anything known about the time complexity characteristics of symmetric Turing machines? — Preceding unsigned comment added by 82.26.4.127 (talk) 17:21...

Click to read more »
Talk:Te Ture Whenua Māori Act 1993
Kamis, 2024-02-01 12:00:02

The Te Ture Whenua Maori Act 1993 (or "the Maori Land Act 1993") is a statute of the New Zealand Parliament which outlines how Maori Land is to be governed...

Click to read more »
Talk:Wolfram's 2-state 3-symbol Turing machine
Selasa, 2026-06-02 10:01:17

practice. And LBAs aren't remotely near being universal Turing machines. So much for the Turing universality of your laptop. --Vaughan Pratt 08:43, 4 November...

Click to read more »
Talk:Turing Award
Selasa, 2025-10-21 08:24:39

June 2006 (UTC). ==Nationality== Most Turing Award recipients are Americans. The national distribution of Turing Award recipients from [[1966]] to [[2005]]...

Click to read more »
Talk:Statue of Alan Turing, Bletchley Park
Senin, 2024-02-12 21:46:28

closure) BegbertBiggs (talk) 15:48, 6 October 2020 (UTC) Alan Turing statue → Statue of Alan Turing – I propose moving to make this entry more consistent with...

Click to read more »
Talk:Turing machine examples
Sabtu, 2024-03-09 12:45:09

debate about whether the proof is valid (see Talk:Wolfram's 2-state 3-symbol Turing machine#Universality proof disputed). Not only that, but the machine is...

Click to read more »
Talk:Random Turing machine
Jumat, 2005-04-29 07:51:20

Should this page be merged with probabilistic Turing machine? Deco 22:38, 28 Apr 2005 (UTC) Ugh, yeah, I'll take care of it... I thought I searched fairly...

Click to read more »
Talk:Turing (microarchitecture)
Rabu, 2024-01-31 04:07:20

support your claim that Ampere is the next consumer GPU architecture after Turing. It was properly cited that this was not known. Please see WP:CITE and WP:RS...

Click to read more »
Talk:Samori Ture
Selasa, 2026-05-05 18:52:49

(UTC) The comment(s) below were originally left at Talk:Samori Ture/CommentsTalk:Samori Ture/Comments, and are posted here for posterity. Following several...

Click to read more »
Talk:History of computing hardware
Sabtu, 2026-03-07 18:36:59

In 1945 Turing joined the National Physical Laboratory and began his work on developing an electronic stored-program digital computer. Turing thought...

Click to read more »
Talk:Turing's proof
Minggu, 2024-03-24 18:57:02

calculation of itself. Therefore, D cannot be always right! Was written "Here Turing proves "that the Hilbert Entscheidungsproblem can have no solution" (Undecidable...

Click to read more »
Talk:Halting problem
Kamis, 2025-09-25 18:59:16

examining Turing 1936 directly. He points out that Turing-PRINT is not reducible to 0", so creates a new diagonal argument to "replace" Turing's faulty argument...

Click to read more »
Talk:Effective method
Rabu, 2026-01-14 00:56:37

generally accepted Church-Turing thesis, the answer is no. 67.117.130.143 (talk) 19:46, 12 December 2010 (UTC) Church-Turing thesis unnecessary. These...

Click to read more »
Talk:Sydney Lawford
Rabu, 2025-10-29 22:57:50

Turing is a famous name---that of one of the inventors of electronic computers---the "father of computer science". Is this guy related? Michael Hardy (talk)...

Click to read more »
Talk:Alternating Turing machine
Rabu, 2025-09-03 03:44:23

fellow Wikipedians, I have just modified one external link on Alternating Turing machine. Please take a moment to review my edit. If you have any questions...

Click to read more »
Talk:Finite-state machine
Minggu, 2024-03-17 20:31:26

September 2012 (UTC) That is the the reason Turing machines are a stronger computational model. All the things Turing machines can do that state machines can't...

Click to read more »
Talk:Computing Machinery and Intelligence
Kamis, 2024-11-07 23:42:51

engineering refers to a very broad topic and deviates from what Turing said himself. Turing always refers to the problem as how we can programme a machine...

Click to read more »
Talk:Stokely Carmichael
Rabu, 2026-06-03 20:45:44

Shouldn't his name read Kwame Ture and not Stokely Carmichael? It's the name he is best known by and the name he chose to go by himself, pages for artists...

Click to read more »
Talk:Hypercomputation
Sabtu, 2025-06-07 03:48:02

extended (for instance, I see no mention of infinite time turing machines, ordinal turing machines, or perhaps (I'm no expert) infinitary lamda calculus)...

Click to read more »
Talk:Jeremy Clarkson
Minggu, 2026-05-03 21:21:03

transgender people was not a new phenomenon…”, using Alan Turing as an example. But Turing was not transgender. So either Clarkson was wrong or he has...

Click to read more »
Talk:The Chemical Basis of Morphogenesis
Sabtu, 2024-02-10 09:47:49

striped turing patterns". {{cite journal}}: Cite journal requires |journal= (help) "Identifying network topologies that can generate turing pattern"...

Click to read more »
Talk:Rule of least power
Senin, 2024-10-07 21:53:02

like Coq and Agda are not turing complete, but can model turing complete programs through monads, codata etc. Idris is Turing complete when the totality...

Click to read more »
Talk:Eugene Goostman
Senin, 2025-12-22 14:35:30

the Turing test - from the Turing test article itself, the 30% target was just something Turing expected to be possible by 2000, but NS claims "Turing said...

Click to read more »
Talk:Computability theory (computer science)
Sabtu, 2024-07-13 12:04:21

nondeterministic Turing machines (Turing machines with only a linear amount of memory). The set of languages accepted by all possible Turing machines is exactly...

Click to read more »
Talk:Enigma (2001 film)
Minggu, 2026-05-24 15:21:20

minimal reference (Alan Turing's name, with a link to a general article on Turing) to the fact that the real codebreaker Alan Turing doesn't get a mention...

Click to read more »
Talk:Analog computer
Minggu, 2025-10-05 20:07:11

(UTC) They are somewhat turing complete in the sense that there computational power is analog to a Turing machine. But the Turing concepts can't be applied...

Click to read more »
Talk:Wireworld
Selasa, 2025-10-07 07:26:39

medium is Turing-complete if it can compute every Turing-computable function. Put another way, if it can replicate the functionality of all Turing machines...

Click to read more »
Talk:Model of computation
Minggu, 2026-01-04 23:02:25

can build any Turing machine within λ-calculus and implement λ-calculus with a Turing machine, which is used to support the Church-Turing thesis, and other...

Click to read more »
Talk:Comparison of early computing machines
Rabu, 2024-01-31 04:57:10

Universal Turing Machine could have been run on the set of Colossus computers. This means that Colossus satisfies the definition of 'Turing Complete'...

Click to read more »
Talk:Recursion theory
Sabtu, 2009-08-22 22:23:14

character, and the classical notion of Turing computability, which is of an arithmetical character. Both Turing computability and hyperarithmetical reducibility...

Click to read more »
Talk:Super-recursive algorithm
Kamis, 2024-06-13 00:26:44

confused - since these "inductive" Turing machines either do not halt or else could be trivially simulated by ordinary Turing machines, they do not allow you...

Click to read more »
Talk:Leaf language
Senin, 2025-11-10 11:16:28

non-deterministic Turing machine accepts if at least one branch accepts, and rejects only if all branches reject. A co-non-deterministic Turing machine, on...

Click to read more »
Talk:Warren Sturgis McCulloch
Rabu, 2026-05-20 01:30:00

November 2005 (UTC) Why was the reference to his meeting with Turing removed? Just because Turing didn't say nice things about him? -- NIC1138 (talk) 08:39...

Click to read more »
Talk:The Imitation Game
Minggu, 2025-12-14 04:53:45

Turing is shown building and then tinkering with his Turing Machine which he names Chritopher. He is then shown breaking the Enigma code. The "Turing...

Click to read more »
Talk:Halting problem/Archive 5
Senin, 2025-06-23 19:28:09

wording of point 2. In his 1936 paper, Turing showed that no Turing machine can determine whether or not an input Turing machine is circle-free. Circle-free...

Click to read more »
Talk:Fraud in parapsychology
Kamis, 2024-11-28 01:54:00

needed] According to Alan Turing: The Enigma, by Andrew Hodges, page 416, it was J. B. Rhine's work that impressed Turing, not this one. Therefore, I...

Click to read more »
Talk:Wolfram's 2-state 3-symbol Turing machine/Archive 1
Rabu, 2025-02-12 00:36:22

WSU universality of small Turing machines than John McCarthy does to the standard notion of universality for small Turing machines. --Vaughan Pratt 21:02...

Click to read more »
Talk:Programmable calculator
Minggu, 2026-03-08 16:00:44

calculators where Turing complete. That is: the design is complete Turing complete. Implementations are never Turing complete as Turing completeness assumes...

Click to read more »
Talk:Halting problem/Archive 2
Jumat, 2017-07-07 08:03:25

a Turing machine). All's Turing needed to do was produce one example, and he produced it. My reading of Turing's words indicates to me that Turing himself...

Click to read more »
Talk:Evolutionary developmental biology
Senin, 2026-05-04 05:05:09

wrong, Biology isn't my field, but I know I've seen several mentions that Turing wrote about the basic ideas of evo-devo many years before it was rediscovered...

Click to read more »
Talk:AviSynth
Rabu, 2026-05-06 05:17:22

soon. But, from the wiki article Turing completeness, here are the language features I understand you need to be turing complete: Some sort of looping -...

Click to read more »
Talk:Total functional programming
Sabtu, 2024-02-10 16:15:31

regarding total programming languages: that they are not Turing complete. The question of Turing completeness with regards to total languages like Agda...

Click to read more »
Talk:Lazy evaluation
Kamis, 2025-03-06 19:02:31

2009 (UTC) The connection between Turing completeness and the ability to implement lazy evaluation is that in a Turing-complete language you can implement...

Click to read more »
Talk:Neural network (machine learning)
Senin, 2026-05-18 02:48:21

the use of irrational values for weights results in a machine with super-Turing power.[failed verification] The second citation appears to clearly support...

Click to read more »
Talk:UTM theorem
Sabtu, 2024-03-23 15:11:04

programs should be given as Turing programs (sequence of quintuples), like in the referring article Turing_machine#Universal_Turing_machines? Jochen Burghardt...

Click to read more »
Talk:Supercombinator
Minggu, 2025-07-06 19:30:38

Super-Turing machines, which refers to a machine capable to perform computations that Turnig machines can not perform, i.e. a super set of what a Turing machine...

Click to read more »
Talk:Orchestrated objective reduction
Selasa, 2025-11-11 23:25:16

exists.1Z Doesn't this suggest that the turing model is not even designed to address the issue of consciousness? Turing was after intelligence. Intelligence...

Click to read more »
Talk:Oracle machine
Sabtu, 2025-12-06 14:57:02

state" q? of the Turing machine, from which the only transitions are to distinguished "yes" or "no" states, qyes or qno, which the Turing machine transitions...

Click to read more »
Talk:Programming language/Archive 3
Selasa, 2024-10-01 19:03:50

programming languages must be Turing complete. There are people + books that do not require programming languages to be Turing complete. Everybody can find...

Click to read more »
Talk:Economic Calculation in the Socialist Commonwealth
Senin, 2025-01-20 12:45:11

will be a computer that does what Turing claimed will be but, best of all, will super-cede many brains. To say that Turing meant many brains in one brain...

Click to read more »
Talk:Rodney Brooks
Rabu, 2026-05-20 01:51:37

not Turing. Second, Turing invented much of "old-fashioned" AI; associating him with its modern beginnings is quite reasonable. Third, Turing's work...

Click to read more »
Talk:General-purpose macro processor
Kamis, 2025-01-09 04:36:58

speaking, homoiconic. Since essentially all GPMs are Turing complete, I deleted text that implied Turing completeness is a distinguishing characteristic of...

Click to read more »
Talk:Algorithm characterizations
Minggu, 2026-02-15 07:57:15

time identifies the instrction that the Turing machine is carryong out at the time. "An algorithm for the Turing machine consists of a set of five-tuples...

Click to read more »
Talk:Joseph Swan/Archives/2019
Rabu, 2022-08-10 11:55:09

the article only mentions friendship between Christopher Morcom and Alan Turing. Going through the article on Christopher Morcom there is no gay love there...

Click to read more »
Talk:Primitive recursive functional
Sabtu, 2024-03-09 10:43:26

functions are examples of Turing computability." Is that right? It looks like all the functionals described in the article are Turing-computable, though I...

Click to read more »
Talk:Algorithm/to do
Kamis, 2006-08-24 21:27:38

225-226 in Undecidable), Kleene proposing the "Church-Turing thesis" based on the papers of Church and Turing cited here (1943) (p. 273-274 in Undecidable)...

Click to read more »
Talk:Edward Travis
Senin, 2025-01-06 09:02:03

The article should reside at the most common name, Edward Travis. Compare Alan Turing (not Alan Mathison Turing). — Matt Crypto 09:14, 5 Mar 2005 (UTC)...

Click to read more »
Talk:Register machine
Rabu, 2026-04-15 23:46:11

230,000 for "Turing machine" about 719,000 for "Turing machines". about 741,000 for "Turing machine" computer about 535,000 for "Turing machines" computers...

Click to read more »
Talk:Computable function
Sabtu, 2024-03-09 06:51:27

Church-Turing thesis states that Turing Machine computability is equivalent to computability, and it's easy to prove that the set of *Turing-computible*...

Click to read more »
Talk:Recurrent neural network
Senin, 2024-09-23 12:25:40

what it means, but not Turing complete, anyway. Dicklyon (talk) 20:57, 27 December 2010 (UTC) Siegelmann's construction proved Turing completeness for RNN...

Click to read more »
Talk:Chemical castration
Selasa, 2025-12-23 01:25:17

problem, I will. The section's focus on Turing and following jump to the modern day gives the impression that Turing was a unique case. Sources are hard to...

Click to read more »
Talk:Super-recursive algorithm/Archive1
Minggu, 2009-03-15 07:12:29

account your comments above, I have changed "church-turing thesis is refuted" to "church-turing thesis is claimed to be refuted." in all the articles...

Click to read more »
Talk:Michael Stonebraker
Selasa, 2025-09-30 11:45:03

cfm It's the same used in the Turing award wiki page: "https://en.wikipedia.org/wiki/Turing_Award#cite_note-43" K-stz (talk) 21:10, 2 September...

Click to read more »
Talk:The Imitation Game (Play for Today)
Senin, 2024-05-20 14:19:23

I changed: "devised by Bletchley Park's Alan Turing" to "(as devised by Bletchley Park's Alan Turing)". In order to try and help differentiate and distance...

Click to read more »
Talk:Hava Siegelmann
Senin, 2024-02-26 15:41:23

did Scientific Justice to Alan Turing), or possibly original research (the section "Connection with the work by Alan Turing"). (4) remove assertions that...

Click to read more »
Talk:Plessey System 250
Senin, 2025-11-03 13:41:55

"Church-Turing machine"; what is a "Church-Turing machine"? This page from a lecture says "It should be mentioned at this point that the Church-Turing machine...

Click to read more »
Talk:Unorganized machine
Jumat, 2024-02-02 09:23:50

Turing was English, and he wrote in English English. His original paper ([1]) clearly shows he spelled it with an "s". While I appreciate that this was...

Click to read more »
Talk:Arnold Murray
Minggu, 2026-04-12 03:00:54

At least alan turing was happy but i cant believe that he had to get imprisoned and a process stopping him from reproduction and he had to go through qll...

Click to read more »
Talk:Malament–Hogarth spacetime
Jumat, 2025-10-31 23:42:44

computer (Turing machine) to work on some task...". A (physically realizable) computer and a Turing machine are not the same, since the Turing machine has...

Click to read more »
Talk:Technological singularity
Rabu, 2025-12-17 10:46:22

CharlesTGillingham (talk) 07:14, 21 June 2025 (UTC) Not sure if the short paragraph on Turing is really relevant. The question at issue is the emergence of superintelligence...

Click to read more »
Talk:Horseshoe map
Selasa, 2025-08-26 10:09:19

(UTC) (Ilya Schurov) Quote from Turing machine: Also, using a few hundred mirrors, one can build an optical universal Turing machine in one's backyard, using...

Click to read more »
Talk:Omega language
Senin, 2024-04-29 11:04:23

by a Turing Machine. There is no way that membership of the language $\{a\}^\omega$ over the alphabet $\Sigma=\{a,b\}$ is decidable by a Turing machine...

Click to read more »
Talk:Blockhead (thought experiment)
Minggu, 2024-04-28 01:50:05

non-intelligent machine could pass the Turing Test. Isn't that stating the obvious? The whole point of the Turing test is that a machine does not have to...

Click to read more »
Talk:The Imitation Game/GA1
Selasa, 2021-05-18 07:51:14

some reason Alan Turing is linked multiple times so remove the last few per WP:OVERLINK. "cryptanalyst Alan Turing" → "cryptanalyst Turing" (already mentioned)...

Click to read more »
Talk:List of unsolved problems in computer science
Rabu, 2026-01-21 06:36:01

"methods" i.e. not Church-Turing equivalent but nevertheless effective at calculating more numbers that can be "calculated" by any Turing machine/algorithmic...

Click to read more »
Talk:Read-only Turing machine
Senin, 2025-09-22 06:04:20

complicated: with the input duplicated on 3 or more tapes, read-only TMs become Turing-complete, and with 2 tapes, it seems characterizing their power is an open...

Click to read more »
Talk:Programming language/Archive 4
Sabtu, 2021-10-09 19:17:48

used to refer to a non-Turing complete language. I am not sure what would satisfy you. Sources that does not think that Turing-completeness is not a prerequisite...

Click to read more »
Talk:Systems of Logic Based on Ordinals
Sabtu, 2024-03-09 12:24:11

Church-Turing barrier", is the sort of thing that the IP is referring to. Copeland's original paper [1] does not only talk about oracle Turing machines...

Click to read more »
Talk:Algorithmic information theory
Rabu, 2024-01-24 08:07:57

choice of universal Turing machine.) Ω is a real number which expresses the probability that a self-delimiting universal Turing machine will halt when...

Click to read more »
Talk:Time hierarchy theorem
Senin, 2024-12-09 21:38:42

that article would be huge... Proof that a Turing machine can simulate the first n steps of another Turing machine in at most n log m time, where m is...

Click to read more »
Talk:Computable number
Rabu, 2026-04-29 16:55:50

the definition I removed above is similar to Turing's original definition (although, to be nitpicky, Turing used binary rather than decimal). I apologize...

Click to read more »
Talk:Enumerator (computer science)
Selasa, 2024-04-30 23:24:06

front of me. He only defines enumerators informally (as a special kind of Turing machines), and leaves the formal definition as an (uncorrected) exercise...

Click to read more »
Talk:Sally Floyd (computer scientist)
Jumat, 2024-11-22 07:36:51

author of all time in Computer Science, more cited than all the Turing Award winners (the Turing Award is the computer science equivalent of the Nobel Prize)...

Click to read more »
Talk:Halting problem/Archive 3
Minggu, 2012-02-05 03:04:44

no problem with the theory of Turing machines if some machine other than a Turing machine is able to decide whether Turing machines halt, although nobody...

Click to read more »
Talk:Constructible function
Sabtu, 2024-03-09 07:06:22

there exists a Turing machine M which, given a string 1n, outputs the binary representation of f(n) in O(f(n)) time. Why does the Turing machine need to...

Click to read more »
Talk:Trusted computing base
Sabtu, 2024-02-10 18:17:02

general Turing machine can. To be able to do so would require infinite amounts of memory, for instance. It isn't even relevant. A General Turing Machine...

Click to read more »
Talk:Algorithm/Archive 2
Rabu, 2017-06-21 21:32:26

g. a Turing machine -- both table and tape -- or a mind), not just a list of instructions (i.e. a list of cookbook instructions, or the "Turing Table")...

Click to read more »
Talk:♯P
Jumat, 2025-02-21 19:44:43

machine is that the Turing machine? If it is, it should also be explained that for an NP problem there exists many accepting Turing machines with different...

Click to read more »
Talk:Christopher Morcom
Senin, 2026-04-27 13:53:54

Alan Turing had a childhood crush on Christopher Morcom? Source: https://blog.sciencemuseum.org.uk/the-spirit-of-alan-turing/ "Morcom was Turing’s first...

Click to read more »
Talk:Logical abacus
Rabu, 2025-07-30 00:55:02

article needs to mention something about whether an Abacus can simulate a Turing machine. MrVoluntarist 15:27, 15 March 2007 (UTC) don't be silly... or do...

Click to read more »
Talk:Chinese room/Archive 3
Minggu, 2010-09-12 10:00:52

those fields.Likebox (talk) 13:29, 18 June 2009 (UTC) Don't include Turing. Turing was smart enough to realize that his test could never prove if a machine...

Click to read more »
Talk:LaMDA
Kamis, 2026-05-21 21:09:55

the previous sentence in the lead mention the Turing test? There's also a diagram purportedly of the Turing test in the body of the article without much...

Click to read more »
Talk:Computer science/Archive 1
Jumat, 2009-03-06 18:39:22

Award (e.g., Turing). I suggest that the section be rewritten to (1) briefly note the role of the Turing Award, (2) link to the Turing Award article...

Click to read more »
Talk:Deterministic algorithm
Sabtu, 2026-03-21 06:18:04

nondeterministic Turing machine, but efficient practical algorithms have never been found for any of them. For a machine to be a nondeterministic Turing machine...

Click to read more »
Talk:Reduction (complexity)
Sabtu, 2024-03-09 11:03:15

lot of overlap between this page and the pages on specific reductions: Turing reduction and many-one reduction. In an ideal world, someone would organize...

Click to read more »
Talk:Declarative programming/Archive 1
Jumat, 2022-06-17 06:15:40

programs or stylistic ambitions are not Turing-complete, computational models can be, and most languages are. Turing-completeness isn't about what's practical...

Click to read more »
Talk:Antikythera mechanism/Archive 2
Jumat, 2020-04-10 04:08:54

here. Please read Church–Turing thesis and tell me whether the Antikythera device is equivelent under its terms to a Turing machine. IMHO, its quite clear...

Click to read more »
Talk:Artificial Linguistic Internet Computer Entity
Jumat, 2026-03-27 05:22:03

it really accurate to say ALICE can't pass a Turing test? It's fooled some people, and others not -- Turing never specified that it be 100% successful,...

Click to read more »
Talk:Lambda calculus
Kamis, 2025-10-23 01:39:04

simulate any single-taped Turing machine..." Seems odd because any single-taped Turing machine can simulate any multitape Turing machine. By modus ponens...

Click to read more »
Talk:NP (complexity)
Senin, 2025-10-06 21:49:19

"non-deterministic" - a non-deterministic Turing machine is different from a deterministic (ordinary) Turing machine. Dcoetzee 17:05, 6 December 2008 (UTC)...

Click to read more »
Talk:Charles P. Thacker
Kamis, 2024-02-01 22:52:18

the press release (see http://www.webcitation.org/5o6kRE5V6) about the Turing Award, I found that this article had already been updated to say (in part)...

Click to read more »
Talk:Reduction (computability theory)
Sabtu, 2024-03-09 11:05:50

queries. Soare (at least in his forthcoming book) uses "bounded Turing" to mean a Turing reduction with computably bounded use - i.e., synonymously with...

Click to read more »
Talk:Sentient computer
Kamis, 2024-09-19 21:22:13

has actually passed the Turing test as such, but it is expected to occur within the next 5 years. Trying to pass the Turing test in its full generality...

Click to read more »
Talk:Stored-program computer
Senin, 2025-12-15 04:28:17

2010 (UTC) I have not been clear enough. The Universal Turing Machine as described by Turing in 1936 was only virtual and did not have any storage medium...

Click to read more »
Talk:University of Kent
Jumat, 2025-05-09 20:42:08

The "Articles for Deletion" discussion about Turing College may be of interest to those watching this page. Cheers, XOR'easter (talk) 20:16, 14 January...

Click to read more »
Talk:Entscheidungsproblem
Sabtu, 2024-03-09 07:29:46

section states: "Turing reduced the halting problem for Turing machines to the Entscheidungsproblem." I don't think this is accurate. Turing & Church showed...

Click to read more »
Talk:Automatic Computing Engine
Jumat, 2024-01-26 19:15:49

Turing "wasn't working on" something, that doesn't necessarily mean he was unaware of it. Andy Dingley (talk) 10:10, 31 March 2017 (UTC) Yes, Turing was...

Click to read more »
Talk:History of computing hardware/Archive 3
Selasa, 2024-12-24 19:10:43

It must be noted that: Turing completeness says that a machine is considered to be Turing complete if it can emulate a Turing complete machine. One instruction...

Click to read more »
Talk:Halting problem/Archive 1
Senin, 2025-01-20 21:05:34

JanHidders Is it correst to say that Turing was first? I always thought it was referred t as the Church-Turing thesis, since it was proven almost simultaneously...

Click to read more »
Talk:Austrian school of economics
Sabtu, 2026-06-06 19:32:16

Martin Sibileau, in 2014, offered a formal proof that, based on the Church-Turing thesis, human action is not "decidable", "computable" and therefore cannot...

Click to read more »
Talk:History of computer science/Archive 1
Senin, 2023-01-30 06:25:38

Analytical Engine being Turing-complete needs provided for claim saying Babbage's Analytical Engine is understood to be Turing-complete. It should not...

Click to read more »
Talk:Blum–Shub–Smale machine
Sabtu, 2024-01-27 05:10:28

The following claim seems dubious to me: A Turing machine can be empowered to store arbitrary rational numbers in a single tape symbol by making that finite...

Click to read more »
Talk:Konrad Zuse/Archive 1
Minggu, 2023-02-05 07:06:10

way of implementing a universal Turing machine on a Z3 with sufficient storage. It's an awkward way, but the Turing machine itself is an awkward device...

Click to read more »
Talk:Z3 (computer)
Rabu, 2026-05-13 07:02:45

2003 (UTC) It was proven to be Turing complete in 1998. It is capable of doing any computation that can be done by a Turing machine on a finite tape. It's...

Click to read more »
Talk:Enigma machine/Archive 3
Minggu, 2026-01-18 19:08:56

topic, but I am editing a non-Wikipedia article about AI that mentions Turing and what he was famous for already by 1950, when he wrote "Computing Machinery...

Click to read more »
Talk:George Stibitz
Jumat, 2024-02-09 11:39:44

source is Turing's biography by Andrew Hodges Alan Turing: The Enigma). I am confused by the timing: All three men -- Stibitz, Alan Turing and Konrad...

Click to read more »
Talk:Turochamp
Selasa, 2026-01-20 08:26:04

was unable to recreate Turing's simulated match against Glennie, several computer chess experts and contemporaries of Turing were consulted" - You tell...

Click to read more »
Talk:Generational list of programming languages
Selasa, 2025-10-28 04:43:58

Concurrent Turing. Turing Plus is concurrent, but it has never been called Concurrent Turing. Jim Cordy (co-author of the Turing, Turing Plus and Object-Oriented...

Click to read more »
Talk:Self-interpreter
Kamis, 2014-04-03 04:29:56

non-Turing complete language It does not make perfect sense to me. Can you give an example of such self-interpreter? Given a proper encoding, any Turing-complete...

Click to read more »
Talk:Bot Colony
Senin, 2024-02-12 08:13:41

excerpt from http://botcolony.com/blog/bot-colony-turing.php MARCH, 2013 Bot Colony and the Turing Test “Just ask Jimmy [North Side's robot] if Ayame...

Click to read more »
Talk:Chinese room/Archive 5
Senin, 2025-01-13 19:50:27

following the structure of Turing's famous paper Computing Machinery and Intelligence, which proposed the Turing test -- although Turing used the term "objections"...

Click to read more »
Talk:Maheshinte Prathikaaram
Minggu, 2024-02-18 22:49:27

plot. The current plot is just a sketchy summary of the film. --Charles Turing (talk) 19:41, 19 June 2016 (UTC) It's done. Best, Nairspecht Converse 13:44...

Click to read more »
Talk:Ruth King (statistician)
Kamis, 2024-11-21 00:29:36

- Alan Turing Institute - National Institute for Data Science (Turing Fellow 2016-18, member of Programme Committee 2016-18) - Royal Statistical Society...

Click to read more »
Talk:Church–Turing thesis
Minggu, 2025-06-01 20:22:24

This is the talk page for discussing improvements to the Church–Turing thesis article. This is not a forum for general discussion of the subject of the...

Click to read more »
Talk:Halting problem/Archive 4
Minggu, 2012-02-05 15:03:19

all Turing machines because it is very easy to construct a Turing machine that has a solvable halting problem. What the example shows is that Turing machiens...

Click to read more »
Talk:The Emperor's New Mind
Selasa, 2024-04-09 01:07:42

reason the AI debate focuses on Turing machines and computability is because AI only deals with computable processes, and Turing machines can achieve any computable...

Click to read more »
Talk:Zeno machine
Sabtu, 2025-06-28 10:31:46

that claims to have “broken the Turing barrier” could be toned down and that the important and well-founded rôle of Turing computability in the mathematical...

Click to read more »
Talk:Toy programming language
Rabu, 2024-02-07 14:29:12

last section is quite silly I'd say ... assuming your "toy language" is Turing complete, then of course you can write a compiler for itself in itself....

Click to read more »
Talk:Polynomial time
Sabtu, 2024-05-04 04:19:36

should be stated explicitly. If the definition includes other models (e.g. Turing machines), then it is even less legible. Second (assuming the above interpretation...

Click to read more »
Talk:Wilfrid Noyce
Minggu, 2025-09-21 20:04:18

a more precise reference noted that Noyce and Alan Turing knew each other. Noyce noted than Turing was a little more overt about his gayness than the...

Click to read more »
Talk:Turochamp/GA1
Selasa, 2019-07-09 20:40:04

was unable to recreate Turing's simulated match against Glennie, several computer chess experts and contemporaries of Turing were consulted" - You tell...

Click to read more »
Talk:Maheshinte Prathikaaram/GA1
Selasa, 2016-08-02 08:56:29

reception.--Charles Turing (talk) 13:48, 30 July 2016 (UTC) Does the film follow the photographer or his story? Changes made.--Charles Turing (talk) 13:48,...

Click to read more »
Talk:Artificial consciousness/Archive 10
Rabu, 2007-04-18 09:04:11

computing machine, the Turing machine, is shown by Turing to be equal or superior in capability to other computing machines. A Turing machine is of course...

Click to read more »
Talk:Turing+
Sabtu, 2024-02-03 23:39:31

...

Click to read more »
Talk:Cook–Levin theorem
Rabu, 2024-01-31 07:13:21

"solvable by a nondeterministic Turing machine in polynomial time" is exactly equivalent to "verifiable by a deterministic Turing machine in polynomial time"...

Click to read more »
Talk:Post's problem
Kamis, 2006-07-13 22:19:45

This article should redirect to Turing degree. Posts' problem is more naturally considered in that article than on its own. CMummert 15:19, 13 July 2006...

Click to read more »
Talk:Ada Byron's notes on the analytical engine
Senin, 2024-01-22 23:54:35

Analytical Engine to a Universal Turing Machine, thus "computing machines in general", is only accurate if one uses the term Turing-complete in the lax sense...

Click to read more »
Talk:Radiolaria
Kamis, 2026-04-09 05:56:00

The article lacks a reference to the work of Alan Turing http://en.wikipedia.org/wiki/Alan_Turing and Bernard Richards which predicted the structure...

Click to read more »
Talk:ENIAC/Archive 1
Rabu, 2025-09-10 20:57:10

follows. A Turing machine U is universal when there exists a convention for encoding any Turing machine T as a word e(T) such that for any Turing machine...

Click to read more »
Talk:Artificial consciousness/AI vs AC
Sabtu, 2013-08-31 17:00:43

Turing result to strong AI and to AC is that all computing machines are equivalent in capability except for speed and memory capacity (Church-Turing thesis)...

Click to read more »
Talk:Colossus computer/Archive 2
Sabtu, 2025-06-14 19:07:23

for that matter. There is some discussion of Turing-completeness, but it doesn't say why it isn't Turing-complete or give a clue to the general reader...

Click to read more »
Talk:Wilmslow
Kamis, 2024-12-12 19:27:07

KillerKat (talk) 04:05, 15 February 2009 (UTC) Alan Turing I have seen no evidence at all that Alan Turing lived in Wilmslow at any point in his life; the...

Click to read more »
Talk:Real computation
Sabtu, 2024-03-09 11:01:55

then only those processes that are "computable", by the standard godel/turing definition, and therefore only discrete space/time, is "real" - but this...

Click to read more »
Talk:Colossus computer/Archive 1
Rabu, 2025-09-10 21:20:23

computer50.org/mark1/turing.html and http://www.turing.org.uk/turing/scrapbook/ww2.html --AxelBoldt --- Okay, I'll update Alan Turing's article to include...

Click to read more »
Talk:Artificial intelligence/Archive 1
Kamis, 2025-06-19 16:00:50

So, my bias here revealed, here's why I believe that: Turing also helped author the Church-Turing Thesis, an important advance in the philosophy of mathematics...

Click to read more »
Talk:Algorithm/Archive 3
Selasa, 2023-01-31 00:49:38

Church-Turing thesis." As the conventional Turing machine does not in general satisfy this Church-Turing thesis, we come to a paradoxical statement: Turing machine...

Click to read more »
Talk:Rule 110
Rabu, 2026-02-25 00:25:57

com/prizes/tm23/TM23Proof.pdf. Smith shows how to emulate an arbitrary Turing machine A with a machine B that reads a sequence of increasing initial conditions...

Click to read more »
Talk:Turing Institute
Selasa, 2024-02-27 02:38:46

guidelines may include conflict of interest, autobiography, and neutral point of view. Petermowforth (talk · contribs) / Turing Institute Turing Institute...

Click to read more »
Talk:HM Government Communications Centre
Kamis, 2024-02-08 15:06:01

connection with Alan Turing could be added to history using these sources: [1]https://www.hmgcc.gov.uk/news/celebrating-alan-turing/ [2]https://www.gov...

Click to read more »
Talk:Computation
Sabtu, 2024-12-28 09:13:13

by sci.math. It uses HALF the fetch cycle of a Turing Machine and is directly equivalent to a Turing Machine. Graham Cooper BInfTech Looks off base....

Click to read more »
Talk:Computational complexity theory
Rabu, 2026-05-27 02:05:31

problems solvable by a deterministic Turing machine within time f(n). P: Decision problems solvable by a deterministic Turing machine within time polynomial...

Click to read more »
Talk:Janatha Garage
Rabu, 2024-01-31 10:27:24

the poster not per opening credits. --Charles Turing (talk) 21:20, 8 July 2016 (UTC). User:Charles Turing You are the one who actually missed the point...

Click to read more »
Talk:List of programming language researchers
Selasa, 2025-10-28 04:46:32

February 2011 (UTC) I just inserted all Turing Award winners who fall in this category, and all such Turing award winners are identifier and show the...

Click to read more »
Talk:Esoteric programming language
Senin, 2026-05-04 04:59:09

March 2015 (UTC) User:Rhoark edited the section about Turing tarpits from A Turing tarpit is a Turing-complete programming language whose number of commands...

Click to read more »
Talk:List of LGBTQ monuments and memorials
Sabtu, 2024-10-05 23:14:14

two memorials to Alan Turing, Alan Turing (sculpture) and Alan Turing Memorial. The latter includes the phrase includes the phrase “victim of prejudice"...

Click to read more »
Talk:Soubin Shahir
Jumat, 2025-10-31 08:15:43

Please upload a better photograph of the person. --Charles Turing (talk) 19:37, 19 June 2016 (UTC) The following Wikimedia Commons file used on this page...

Click to read more »
Talk:Silvio Micali
Senin, 2025-01-27 01:09:34

acm.org/press-room/news-releases/2013/turing-award-12 to http://www.acm.org/press-room/news-releases/2013/turing-award-12 When you have finished reviewing...

Click to read more »
Talk:LOOP (programming language)
Selasa, 2024-09-03 01:38:53

instead. --Zzo38 (talk) 04:33, 9 May 2020 (UTC) Is this programming language turing complete? — Preceding unsigned comment added by Bedorlan (talk • contribs)...

Click to read more »
Talk:Blum axioms
Sabtu, 2024-03-09 06:40:33

studied Turing machines, but what is the point of an axiomatic complexity measures if you are tied to a non axiomatic computational model, the Turing machine ...

Click to read more »
Talk:Chinese room/Archive 1
Sabtu, 2026-01-03 08:06:04

pass the Turing Test; b) some machines might pass the Turing Test, but the Chinese Room is not one of them; c) if the room passes the Turing Test, then...

Click to read more »
Talk:Turingery
Rabu, 2024-02-07 15:19:33

--TedColes (talk) 09:07, 15 November 2010 (UTC) I don't see a problem. "Turing" is clearly TEWR-ing. To this just add "ery" as at the end of "machinery"...

Click to read more »
Talk:Funarg problem
Jumat, 2024-02-02 12:26:33

machines aren't turing-complete. ;-) Aragorn2 16:38, 23 Apr 2005 (UTC) No. First of all, it is possible to get all the expressiveness of a Turing machine without...

Click to read more »
Talk:The Untouchable (novel)
Kamis, 2024-01-25 16:12:39

mathematician at Cambridge and later based at Bletchley Park, seems to be Alan Turing, right down to the method of his suicide (a cyanide poisoned apple) after...

Click to read more »
Talk:Quantum simulator
Kamis, 2024-02-08 21:20:45

22:14, 22 July 2019 (UTC) The article says "Feynman showed that a classical Turing machine would experience an exponential slowdown when simulating quantum...

Click to read more »
Talk:Conversion therapy/GA1
Jumat, 2022-03-25 15:52:46

subjected Alan Turing to hormonal treatment after he was arrested for having sex with a man." What is particularly significant about Turing's treatment that...

Click to read more »
Talk:Confederate effect
Minggu, 2024-08-11 10:08:25

by a major rewrite. Also, I am not happy with the title of this article. See Reverse_Turing_test for some ideas. Zezen (talk) 06:17, 17 July 2017 (UTC)...

Click to read more »
Talk:Wang B-machine
Minggu, 2024-02-11 05:46:19

very stub-like article. It doesn't even mention whether the B-machine is Turing complete, properties of the b-machine beyond the available instructions...

Click to read more »
Talk:Illustra
Sabtu, 2024-09-21 00:53:40

I suggest adding a reference to Michael Stonebraker's Turing Award lecture where he talks at length about the history of Illustra. Unfortunately, that...

Click to read more »
Talk:Alice Motion
Senin, 2024-12-30 19:41:41

Grammar students who, for under US$20, prepared pyrimethamine for which Turing Pharmaceuticals was charging up to US$110,000? Sources: ABC News report...

Click to read more »
Talk:Turing Talk
Sabtu, 2024-02-10 19:01:14

...

Click to read more »
Talk:Programming language/Archive 1
Jumat, 2022-05-20 17:37:10

equipped with a Turing-complete semantics; a program is a programming language together with a member of that language. (BTW, the page for "Turing-complete"...

Click to read more »
Talk:Log-space reduction
Minggu, 2025-12-28 20:43:33

"languages smaller than L" mean???? Important unanswered question: Is the Turing machine allowed to modify the input? Fromulated differently: Is it allowed...

Click to read more »
Talk:Wang tile
Sabtu, 2024-03-09 12:55:19

--Sergiolerner 03:07, 30 August 2007 (UTC) I removed "computational model" and "Turing complete": it's not possible to compute functions with Wang tiles, and they...

Click to read more »
Talk:Stochastic optimization
Selasa, 2024-04-16 06:39:07

contributions about the probabilistic classes, the No Free Lunch theorem, and the Turing-completeness of stochastic local search algorithms arguing citation spam...

Click to read more »
Talk:Chinese room/Archive 2
Senin, 2010-07-12 09:47:10

definition of a turing test. The human in his experiment is a manual turing machine simulator. He basically tries to deny that a turing machine can do...

Click to read more »
Talk:One-instruction set computer
Selasa, 2025-12-02 04:53:16

issue of Turing-completeness, the author's "Revision 2" of that paper, at his personal website, admits to the unproven nature of the Turing-completeness...

Click to read more »
Talk:Scientific investigation of telepathy
Senin, 2025-03-03 01:28:27

needed] According to Alan Turing: The Enigma, by Andrew Hodges, page 416, it was J. B. Rhine's work that impressed Turing, not this one. Bubba73 (talk)...

Click to read more »
Talk:Cognitivism (psychology)
Senin, 2024-01-08 17:40:15

some Turing machine that can implement that algorithm. Turing's thesis says that there is a Universal Turing Machine which can simulate any Turing Machine...

Click to read more »
Talk:John Calhoun (publisher)
Senin, 2025-01-13 17:25:15

your question in a straight-forward manner? Thanks! — Preceding unsigned comment added by Complete turing (talk • contribs) 00:07, 4 October 2014 (UTC)...

Click to read more »
Talk:Computation problem
Senin, 2006-11-20 21:11:06

machines, Turing machines, general recursion, etc. For #2, mention that computable function are recursive (partial or total), and that Turing machines...

Click to read more »
Talk:Strong AI vs. Weak AI/Removed text
Selasa, 2008-04-22 01:14:23

itself. As a result, Searle claims that even a machine that passed the Turing test would not necessarily be conscious in the human sense. Some philosophers...

Click to read more »
Talk:Timeline of computing before 1950/Archive 1
Selasa, 2026-06-02 13:58:35

accepted that the Z3 was Turing-complete? All references I can find point to the Z3 being Turing-complete but inpractical as a Turing-complete machine. http://www...

Click to read more »
Talk:Stack Machine
Kamis, 2018-11-29 02:57:31

automata. The equivalence to a turing machine can be seen if you think about the two stacks as being the tape of the turing machine. In order to move left...

Click to read more »
Talk:Criminal Cases Review Commission (New Zealand)
Sabtu, 2026-01-24 10:33:54

article to: The New Zealand Criminal Cases Review Commission - Te Kahui Tatari Ture. Most New Zealanders speak English and so this would make it easier for the...

Click to read more »
Talk:Pyrimethamine
Sabtu, 2024-12-14 19:21:05

Daraprim, was acquired in August by Turing Pharmaceuticals, a start-up run by a former hedge fund manager. Turing immediately raised the price to $750...

Click to read more »
Talk:Andrew Hodges
Kamis, 2024-01-25 14:30:19

movie about Turing with an actor who looks more like US procecutor (and who knows US bar knows how they look like) which in the case of Turing is highly...

Click to read more »
Talk:Theory of computation
Sabtu, 2026-01-03 22:34:31

examine oneself to a point. The Turing machine does not handle conscience or other functions, as it is stated in the Turing-Church thesis (and more in follow-ups)...

Click to read more »
Talk:Tag system
Senin, 2026-01-05 02:29:04

"For each m > 1, the set of m-tag systems is Turing-complete." E.g., we know how to convert any Turing machine into an equivalent 2-tag system. (If you're...

Click to read more »
Talk:Turmite
Rabu, 2024-02-14 06:05:42

slight difference - a high chance for an intentional word game, yes Mr. Alan Turing) the animal 'termite'. further the 'ant' is a synonym for a heading and...

Click to read more »
Talk:Maxey Flats
Selasa, 2024-02-06 07:08:55

have the settlement documents at our university and they say "Maxey Flats" Turing shart guitar (talk) 15:59, 22 October 2015 (UTC) this is from the 19951...

Click to read more »
Talk:Abstract machine
Minggu, 2024-08-04 05:45:45

mention here? I mean, the Game of Life is simple, somewhat well known, and Turing-complete. —Preceding unsigned comment added by Jesin (talk • contribs) 02:46...

Click to read more »
Talk:Turing baronets
Rabu, 2025-01-29 01:14:24

...

Click to read more »
Talk:Bank of England £50 note
Sabtu, 2024-01-27 11:42:35

banknote. While it is honourable the highest denomination is reserved for Turing, most people will never hold such a note in their hands and use it, which...

Click to read more »
Talk:Linear bounded automaton
Selasa, 2024-08-20 20:40:55

(analogous to the one provided for a Turing machine). It is mentioned that it's a restricted variant of a Turing machine, but it's not at all clear to...

Click to read more »
Talk:Gerard P. Kuiper Prize
Kamis, 2024-02-15 01:19:57

Does the prize have a monetary award? ... like the Nobel Prize and the Turing Award? Either way is fine, but the article should probably clarify if it...

Click to read more »
Talk:Somalis
Kamis, 2026-01-29 16:52:40

to be wrong, then the text may just appear to potentially pass a reverse Turing test (or Gnirut test) as I like to say. "They have the historical distinction...

Click to read more »
Talk:Turing Foundation
Selasa, 2024-01-30 11:44:20

This article should not be speedily deleted for lack of asserted importance because it concerns a charity fund that donates millions a year to many organizations...

Click to read more »
Talk:Decision problem
Senin, 2025-01-06 17:08:01

section states: "Turing reduced the halting problem for Turing machines to the Entscheidungsproblem." I don't think this is accurate. Turing & Church showed...

Click to read more »
Talk:Kerala State Film Award for Best Actor
Rabu, 2024-02-14 10:55:41

--Charles Turing (talk) 15:59, 11 April 2016 (UTC) Can someone conduct a source review on the article. It urgently needs one on the FLC. --Charles Turing (talk)...

Click to read more »
Talk:Queue automaton
Kamis, 2024-02-08 21:39:23

science students. Therefore, I am not sure if I want to give a proof of Turing-completeness here (also I don't want to have to type it all out). Thoughts...

Click to read more »
Talk:Leuprorelin
Kamis, 2026-03-05 02:04:59

Shouldn't this article mention that Alan Turing was coerced to take this drug when it was found out he was homosexual? — Preceding unsigned comment added...

Click to read more »
Talk:Busy beaver/Archive 1
Senin, 2025-09-22 14:25:06

2-symbol busy beaver at Post-Turing machine and as mentioned in the article, the 3-state 2-symbol busy beaver at Turing machine examples. wvbaileyWvbailey...

Click to read more »
Talk:Quotient of a formal language
Rabu, 2024-01-24 14:47:32

set can be constructed in a similar way as the Computation history of a Turing machine can be constructed as an intersection of two context-free languages...

Click to read more »
Talk:Busy beaver/Archive 2
Minggu, 2026-04-05 20:58:43

Turing machine that wins the n-state busy beaver game. That is, it attains the largest number of 1s among all other possible n-state competing Turing...

Click to read more »
Talk:Brainfuck/Archive 2
Sabtu, 2024-10-19 05:28:06

language, but it is not Malbolge and it is not a Turing tarpit. A tarpit would be a language that, though Turing complete, is either heavily reliant on state...

Click to read more »
Talk:Hack value
Kamis, 2024-12-26 01:06:24

I think the "custom" of installing Linux on anything which is vaguely Turing complete, eg. Xboxes, watches should also count as hack value, no? Richard...

Click to read more »
Talk:History of computing hardware/Archive 1
Selasa, 2024-12-24 19:10:39

to build a machine that is theoretically Turing Complete. The Z3 has been shown to be theoretically Turing complete yes. But so what! The z3 had no conditional...

Click to read more »
Talk:Rainer Liedtke
Rabu, 2026-01-21 01:08:14

capacity with a limitation to parametric processes." [1] See Gobbledygook or more seriously Turing completeness. Pgr94 (talk) 08:55, 1 April 2008 (UTC)...

Click to read more »
Talk:Context-sensitive language
Selasa, 2025-06-24 23:34:44

with a tape with three tracks; but his argument is based in the Church-Turing thesis and so, is not constructive. (see: http://rmc.library.cornell...

Click to read more »
Talk:Martin measure
Kamis, 2025-12-18 20:21:21

at least with the cone lemma: the complement of the set of all iterated Turing jumps from 0 surely cannot contain a cone, right? GrothenDitQue (talk) 13:21...

Click to read more »
Talk:Computer terminal
Senin, 2026-05-04 04:43:10

say "theoretically Turing-complete computer" to make the distinction when comparing it to computers that are not "theoretically Turing-complete" ... well...

Click to read more »
Talk:Emil Leon Post
Senin, 2025-01-06 21:00:26

For possible use in article: Emil Post and His Anticipation of Gödel and Turing John Stillwell Mathematics Magazine, Vol. 77, No. 1 (Feb., 2004), pp. 3-14...

Click to read more »
Talk:Pretham
Rabu, 2024-02-07 17:59:45

please reopen the request with further details. — Andy W. (talk) 05:53, 15 November 2016 (UTC) Added.--Charles Turing (talk) 12:39, 19 November 2016 (UTC)...

Click to read more »
Talk:Pebble automaton
Rabu, 2024-02-07 17:08:51

used for any automaton augmented with pebbles, eg, logarithmically bounded Turing machines in Chang et al, "On pebble automata" (1986) 67.189.38.90 (talk)...

Click to read more »
Talk:Computability theory
Sabtu, 2024-03-09 06:51:18

Charles Babbage's programmable Analytical Engine would have been Turing complete, so Turing's work certainly did not "predate" computers. Babbage's work happened...

Click to read more »
Talk:Summer School Marktoberdorf
Minggu, 2024-02-04 21:38:31

an international organization. The directors/co-directors include ACM Turing Award winners, the leading international award in computer science. I have...

Click to read more »
Talk:Generative adversarial network
Minggu, 2025-12-21 04:58:52

for behavioral inference. It is termed Turing Learning, as the setting is akin to that of a Turing test. Turing Learning is a generalization of GANs. Models...

Click to read more »
Talk:List of Old Shirburnians
Senin, 2024-02-05 17:05:29

added by 86.159.30.164 (talk) 12:04, 17 March 2011 (UTC) This entry; 'Alan Turing OBE, FRS, mathematician and instrumental figure at Bletchley Park', is one...

Click to read more »
Talk:Denying the antecedent
Kamis, 2024-02-01 00:46:26

03:42, 16 February 2008 (UTC) Turing begins the essay by defining machines, as discrete machines; machines for Turing are by definition ones which only...

Click to read more »
Talk:Joan Clarke
Sabtu, 2025-08-02 01:18:02

finally break through as Joan Clarke, the mathematician who nearly marries Turing and stands by him to the bitter end." -- Charles Edwin Shipp (talk) 13:23...

Click to read more »
Talk:Computer/Archive 1
Senin, 2022-02-28 00:56:10

Neumann architectures. A Turing machine can be simulated in lambda calculus, and lambda calculus can be performed by a turing machine. This means that...

Click to read more »
Talk:Befunge
Senin, 2026-01-05 19:15:45

not Turing-complete." "Machine languages" describes languages that describe the operation of actual machines -- this class of language is never Turing complete...

Click to read more »
Talk:American women in World War I
Jumat, 2025-09-26 00:11:18

(UTC) Potential sources to improve upon article 1. http://go.galegroup.com.turing.library.northwestern.edu/ps/i.do?&id=GALE%7CA385083224&v=2...

Click to read more »
Talk:Premiership of Gordon Brown
Senin, 2026-01-26 03:14:47

May 2010 (UTC)) Gordon gave a public apology about the treatment of Alan Turing after being successfully petitioned. Characters such as Stephen Fry signed...

Click to read more »
Talk:Jimmy Page
Minggu, 2026-05-03 21:29:51

Concert, Oakland, Ca. 1983.jpg, That guitar is neither of them, however, turing and recording equipment can be different. - FlightTime (open channel) 18:22...

Click to read more »
Talk:History of programming languages
Rabu, 2025-08-20 10:13:31

The current sentence in the "Early History" section of the article is: Turing machines set the basis for storage of programs as data in the von Neumann...

Click to read more »
Talk:Peruchazhi
Selasa, 2023-12-26 20:49:08

referencing too. Hope you understand. --Charles Turing (talk) 11:06, 2 April 2016 (UTC) Charles Turing, I'm confused--is V. P. the person's last name?...

Click to read more »
Talk:Juan Camilo Mejía
Minggu, 2025-01-19 04:26:16

(undo) which I admit was a shot in the dark to begin with. Any help would be appreciated. Thanks, Complete turing (talk) 01:24, 22 September 2015 (UTC)...

Click to read more »
Talk:Glider (Conway's Game of Life)
Senin, 2025-04-21 08:21:35

connected to two counters. This has the same computational power as a universal Turing machine, so, using the glider, the Game of Life is theoretically as powerful...

Click to read more »
Talk:June 23
Senin, 2025-06-23 22:17:14

June 2010 (UTC) Is it to late to propose Alan Turing on the centenary of his birth? 1912 - Alan Turing widely considered to be the father of computer...

Click to read more »
Talk:Proprietary protocol
Kamis, 2024-02-08 19:14:05

the Church-Turing thesis is relevant: By definition a communications protocol is a set of rules. A set of rules can be translated to a Turing machine and...

Click to read more »
Talk:Nondeterministic computation
Rabu, 2019-10-23 00:46:29

This page should not redirect directly to non-deterministic Turing machine. Instead, it should describe the general concept of non-determinism as it applies...

Click to read more »
Talk:Rice's theorem
Kamis, 2026-02-26 08:27:19

there exists a Turing machine that has a certain property, and a Turing machine which does not have it, then the problem of taking a Turing machine and deciding...

Click to read more »
Talk:Manchester computers
Jumat, 2024-01-05 11:15:47

and involvement be mentioned in this article? The Alan Turing article states "In 1948 Turing joined Max Newman's Computing Laboratory at the University...

Click to read more »
Talk:C preprocessor
Senin, 2025-03-10 21:55:39

of, Turing complete? Yes. Would Turing slap you upside the head if he was still around for doing it? Also yes. Presenting the preprocessor as Turing Complete...

Click to read more »
Talk:Charlie (2015 Malayalam film)/Archive 1
Rabu, 2021-01-13 22:13:33

show a reliable source for the exaggerated character features. --Charles Turing (talk) 17:55, 30 March 2016 (UTC) Saw your work with Leela (2016 film),...

Click to read more »
Talk:Accounting Hall of Fame
Minggu, 2024-11-17 01:04:55

This award is essentially the Turing Prize equivalent for the field of accounting research. I believe it is the most prestigious award in accounting, and...

Click to read more »
Talk:Mamadu Ture Kuruma
Rabu, 2024-02-28 15:00:10

Hello fellow Wikipedians, I have just modified one external link on Mamadu Ture Kuruma. Please take a moment to review my edit. If you have any questions...

Click to read more »
Talk:General recursive function
Sabtu, 2024-03-09 07:42:26

Equivalence with lambda calculus and Turing machines (AFIK, this is due to Kleene), relationship with Church–Turing thesis. History of the terminology (AFIK...

Click to read more »
Talk:Sigonce
Minggu, 2024-02-18 21:43:24

standard here. (All of the viewings I"m talking about were, of course, viewed with the edit tool pre-submit.) Complete turing (talk) 18:32, 5 June 2015 (UTC)...

Click to read more »
Talk:Hilary Putnam
Minggu, 2024-10-20 13:41:35

The description (specification) of the Turing machine does not match the implementation. The description states that it "writes out the sequence '111'...

Click to read more »
Talk:PSPACE
Sabtu, 2024-03-09 10:49:24

solved by a Turing machine using a polynomial amount of space." Does it mean space as in physical volume or hard drive space or spaces on the Turing machine...

Click to read more »
Talk:BLIS/COBOL
Senin, 2024-01-29 06:33:01

reveals random aggregated results that all point to this article. COBOL is a Turing complete language, so it should be possible to write an OS in it, but this...

Click to read more »
Talk:RLP
Kamis, 2024-10-24 14:16:01

problems solvable in logarithmic space and polynomial time with probabilistic Turing machines I doubt if the "complexity class.." should be referred as RLP in...

Click to read more »
Talk:Cynthia Rudin
Sabtu, 2025-01-04 09:01:13

Superresolution Competition (Track 1, classic bicubic), and the 2018 PoeTix Literary Turing Competition' is a bit odd. This comment NO WAY intent to reduce the importance...

Click to read more »
Talk:Ultra Fractal
Sabtu, 2024-02-03 00:58:00

way Turing machines are a Thing. No realizable computer has the ability to address infinite memory, and therefore we humans will never build a Turing complete...

Click to read more »
Talk:Christopher Chope/Archive 1
Kamis, 2019-03-07 18:25:42

unjustices.com/human-rights/alan-turing-pardon-delayed-by-single-objection/ to http://www.unjustices.com/human-rights/alan-turing-pardon-delayed-by-single-objection/...

Click to read more »
Talk:Heinrich Scholz
Jumat, 2026-01-23 02:11:31

logician, philosopher, and Protestant theologian who was a peer of Alan Turing, who wrote in his memoirs that he on the inclusion of his essay from 1936...

Click to read more »
Talk:IAS machine
Sabtu, 2024-02-03 15:54:19

modern computer (tablet and phone) inherits from the work of Kurt Gödel/Turing/Atanasoff–Berry Computer / Claude Shannon/ENIAC/EDVAC and IAS. Jim.Callahan...

Click to read more »
Talk:Recursively enumerable language
Minggu, 2024-05-05 03:02:02

sentences. Arthur MILCHIOR (talk) 02:32, 3 November 2013 (UTC) The redirect Turing recognizable has been listed at redirects for discussion to determine whether...

Click to read more »
Talk:The Bear and the Travelers
Minggu, 2025-09-21 20:20:35

In the 2014 film The Imitation Game, Alan Turing narrates a cynical version of the tale: two friends encounter a bear on their path, and one of them begins...

Click to read more »
Talk:Jürgen Schmidhuber/Archive 1
Selasa, 2023-03-14 00:31:48

2004 (UTC) No non-Turing machine necessary My weight (if any) does not matter; the paper's content does. It does not say a non-Turing machine is necessary...

Click to read more »
Talk:Massachusetts Institute of Technology
Senin, 2026-05-25 01:01:12

that astronaut alums are super cool.) I suggest keeping the Nobel lists, Turing, and Fields, which are actively maintained lists, and have most valance...

Click to read more »
Talk:Time complexity/Archive 1
Minggu, 2025-06-01 01:57:55

does "Turing machine steps" mean in the article? Is it moves/steps of the head of a Turing machine on the tape, or bit operations on a "Turing-equivalent"...

Click to read more »
Talk:NP-completeness/Archive 1
Rabu, 2026-05-06 19:42:27

nondeterministic Turing machines. On nondeterministic Turing machines, polynomial time implies polynomial space. Your "proof" does not use nondeterministic Turing machines...

Click to read more »
Talk:Alec Naylor Dakin
Senin, 2024-12-30 09:13:22

Naylor Dakin were:- 1) Worked at Bletchley park (in hut 4) alongside Alan Turing 2) Intercepted premature death of Hitler (failed assassination attempt)...

Click to read more »
Talk:Ludwig Wittgenstein/Archive 6
Rabu, 2010-10-13 01:39:26

biography of Alan Turing (Andrew Hodges, Alan Turing: The Enigma of Intelligence, London: Unwin, 1983), has him introduced to Turing during the summer...

Click to read more »
Talk:MegaHAL
Selasa, 2024-01-30 02:27:23

Why is the Turing test described in full here, instead of merely being referenced? --Randal L. Schwartz 06:25, 13 April 2006 (UTC) Nevermind, it looks...

Click to read more »
Talk:Women's Entrepreneurship Day
Selasa, 2024-03-26 20:54:28

For example, the article at Barbara Liskov says: Liskov received the 2008 Turing Award from the ACM, in March 2009, for her work in the design of programming...

Click to read more »
Talk:Bryan Caplan/Archive 1
Selasa, 2025-03-25 21:36:30

2017 (UTC) @Srich32977: To clarify, the content about the "ideological turing test" is sourced to Caplan's blog. It mentions that others have reacted...

Click to read more »
Talk:Kevin Warwick
Minggu, 2024-11-17 18:09:33

latter part of the section, referring to the Turing test, is better supported but should this be in the Turing test section of the page? --DanversCarew (talk)...

Click to read more »
Talk:Geoffrey Hinton
Rabu, 2026-05-20 01:50:30

table. --Cyllel (talk) 14:34, 1 May 2023 (UTC) Herb Simon received the Turing Award in 1975 and the Nobel prize in Economics in 1978 Schmidhuber, Jürgen...

Click to read more »
Talk:Tor Mikkel Wara
Minggu, 2025-12-07 06:38:07

play? We can't even document him as a person on the main page dedicated to Norwegian Politicians. Complete turing (talk) 02:53, 19 January 2015 (UTC)...

Click to read more »
Talk:Loebner Prize
Selasa, 2025-07-15 21:51:10

not for passing the Turing Test but rather the very much harder Loebner Test. Vaughan Pratt 19:14, 20 November 2006 (UTC) Turing actually originally phrases...

Click to read more »
Talk:Timeline of algorithms
Sabtu, 2024-03-09 13:21:23

reason why Alan Turing is omitted from the time-line article (1930s)? von Neumann is mentioned, why not Turing? pbgrose, 11 June 2006 Turing didn't really...

Click to read more »
Talk:Carol Doda
Jumat, 2025-01-03 00:23:21

descended from a ture hole in the ceiling I've never heard of a "ture hole", and Googling it turns up things like "tempera-ture hole" and "su-ture hole". Is...

Click to read more »
Talk:Proof of impossibility
Minggu, 2026-02-01 10:54:17

stick into it? No, by Turing's thesis." I don't think this is quite right - if the Collatz conjecture has a solution, then a Turing machine CAN be built...

Click to read more »
Talk:Klára Dán von Neumann
Senin, 2025-01-20 04:02:50

programmers, writing code to solve mathematical problems on computers." "Alan Turing was the logician with the original idea. Julian Bigelow was the engineer...

Click to read more »
Talk:Constraint programming
Rabu, 2024-01-31 06:36:27

programming is Turing-complete, as this depends on the specific programming paradigm used (in particular, solving a CSP is not a Turing-complete problem)...

Click to read more »
Talk:The Mind's I
Sabtu, 2024-02-10 11:21:41

bold" business to heart. Deleted some material that was better covered at Turing test and Chinese room, as well as other removed info that seemed more peripheral...

Click to read more »
Talk:Limb development
Kamis, 2024-04-11 05:18:33

ignores the now generally accepted explanation for skeletal patterning by Turing-type reaction-diffusion mechanisms. It should probably be considered as...

Click to read more »
Talk:Diamond Necklace (soundtrack)
Selasa, 2022-05-03 10:28:58

length and sources for an independent article. Tracks are only 4. Charles Turing (talk) 09:35, 20 March 2016 (UTC) The discussion above is closed. Please...

Click to read more »
Talk:Central European Olympiad in Informatics
Minggu, 2025-11-02 04:03:16

https://web.archive.org/web/20011006041335/http://turing.fmph.uniba.sk:80/www/ceoi/ to http://turing.fmph.uniba.sk/www/ceoi/ When you have finished reviewing...

Click to read more »
Talk:Trakhtenbrot's theorem
Senin, 2025-09-15 08:10:12

arithmetical sentences that are true in the standard natural numbers iff a Turing machine halts, identifies finite models with initial segments of the naturals...

Click to read more »
Talk:Duck test/Archive 1
Rabu, 2025-01-01 22:20:14

reasonable assumption to make. Is there any relationship to the Turing Test? Seems to me that the Turing Test is applying the Duck Test to consciousness. --Andrew...

Click to read more »
Talk:Epigrams on Programming
Senin, 2025-09-15 19:26:31

references, Perlis' article is actually called Epigrams on programming. In the Turing tarpit article, there was a link to the inexistent Epigrams On Programming...

Click to read more »
Talk:Manuel Corpas (scientist)
Rabu, 2026-03-11 08:09:54

only on: 1. Updating my current position (University of Westminster, Alan Turing Institute) 2. A brief, neutrally-worded lead paragraph 3. A short media...

Click to read more »
Talk:Quantum Zeno effect/Archive 1
Selasa, 2025-04-01 06:41:47

(UTC) Apparently Alan Turing had something to say about zeno-like paradoxes. http://plato.stanford.edu/entries/turing/#8 …‘the Turing Paradox’; it is easy...

Click to read more »
Talk:Hyperarithmetical theory
Minggu, 2024-02-04 01:13:55

article shouldn't be renamed to hyperarithmetical hierarchy any more than Turing degree should be renamed to arithmetical hierarchy. At some point, it might...

Click to read more »
Talk:Loham/Archive 1
Senin, 2022-05-09 20:50:44

cameos misplaced in that section.--Charles Turing (talk) 17:24, 27 December 2015 (UTC) Sorry, Charles Turing - I didn't mean to suggest the current list...

Click to read more »
Talk:Action This Day (memo)
Senin, 2024-01-15 00:42:59

the article accordingly, using the chapter from Copeland's The Essential Turing as reference. I was put on to the right man by IP 142.112.221.64 at the...

Click to read more »
Talk:Mechanical philosophy
Jumat, 2026-01-09 21:31:56

debate centers on whether the human mind is equivalent to a Turing machine, or by the Church-Turing thesis, any finite machine at all. If it is, and if the...

Click to read more »
Talk:Scientific wager
Rabu, 2024-02-07 17:55:02

will pass the turing test. Anyone up for it ? The Procrastinator 14:42, 8 January 2006 (UTC) The bet is too poorly defined. To pass the Turing test on one...

Click to read more »
Talk:Anytime algorithm
Kamis, 2024-01-25 12:46:28

sufficient condition. The Introduction makes it seem like it is. Limit turing machines seem to have nothing to do with it. Generally, the article is incoherent...

Click to read more »
Talk:Negligible function
Sabtu, 2024-02-24 04:49:57

the concept of "Turing Machine", this concept of "negligible" is much younger (thus presentable contents are likely shorter than "Turing Machine"'s). I...

Click to read more »
Talk:Virtual finite-state machine
Sabtu, 2024-12-07 00:05:06

action" -- how do you define them? For example, the following table is from Turing (1936) page 120 in the Undecidable. Here we see something more like "pseudostates"...

Click to read more »
Talk:Additive smoothing
Minggu, 2025-10-05 05:41:29

empirical-Bayes to estimate a symmetric Dirichlet prior by applying the Good-Turing insight that the singleton count ( B 1 {\displaystyle B_{1}} ) and empty...

Click to read more »
Talk:Gordon Welchman
Sabtu, 2025-12-20 18:41:25

of fixed points (letters encrypting to themselves) due to the reflector. Turing and several German Enigma testers of the Enigma including Gisbert Hasenjaeger...

Click to read more »
Talk:Post machine
Sabtu, 2024-09-14 23:35:27

it about deleting only one symbol -- it's known that the model won't be Turing-complete unless the fixed number of symbols deleted is greater than 1!)...

Click to read more »
Talk:Recursive language
Sabtu, 2024-02-24 20:13:26

lines of "the set of all Turing machines that accept recursive languages is not recursively enumerable", or "the set of all Turing machines that are deciders...

Click to read more »
Talk:NP-hardness
Senin, 2026-03-02 00:16:10

decided by a Non-deterministic turing machine (to put it simply), but this problem we know to be undecidable: that is, no Turing machine can decide the halting...

Click to read more »
Talk:Butler Lampson
Kamis, 2025-01-02 17:25:23

The article really ought to mention what he did while at DEC. His Turing Award profile gives three paragraphs. 121a0012 (talk) 01:14, 14 March 2013 (UTC)...

Click to read more »
Talk:Computable analysis
Minggu, 2024-07-28 22:02:02

relates to output writing of this model, even if you know the standard Turing machine model. Or where the topology language comes in some parts of the...

Click to read more »
Talk:Codd's cellular automaton
Rabu, 2024-11-06 23:46:03

with regard to the state transition rule; 2. is not Turing closed, whereas Codd's system is Turing closed. Further, as with you, I have no knowledge of...

Click to read more »
Talk:Shafi Goldwasser
Senin, 2025-09-08 03:26:44

acm.org/press-room/news-releases/2013/turing-award-12 to http://www.acm.org/press-room/news-releases/2013/turing-award-12 When you have finished reviewing...

Click to read more »
Talk:Manuel Blum
Minggu, 2026-05-31 18:13:33

(UTC) Anyone have a better image of Blum usable in the public domain? Asking for use on Turing Award. Caleb Stanford (talk) 02:10, 13 November 2021 (UTC)...

Click to read more »
Talk:Graphics Turing test
Rabu, 2024-11-20 19:09:22

https://www.youtube.com/watch?v=2paNFnw1wRs 67.209.128.18 (talk) 12:09, 20 November 2024 (UTC)...

Click to read more »
Talk:Bell Labs/Archives/2021
Minggu, 2024-08-11 04:37:42

of prizes to Nobel Prizes but are also going to include winners of the Turing Award, you should include anyone who won an Abel Prize for mathematics (if...

Click to read more »
Talk:Michael O. Rabin/Archive 1
Sabtu, 2026-04-18 20:19:32

mention his work on nondeterministic finite automata, for which he won the Turing award. Is there a reason for this, or should I amend the infobox? — mlc...

Click to read more »
Talk:P versus NP problem
Jumat, 2026-05-29 07:33:07

turing machines 2A00:20:600D:2768:4635:D54A:452:6124 (talk) 21:54, 23 September 2024 (UTC) This article is exclusively about the properties of Turing...

Click to read more »
Talk:VHDL-AMS
Jumat, 2024-02-02 09:01:28

description language. HDLs are not suited for software developments but there are turing-complete programming languages. Especially, a test bench is often a plain...

Click to read more »
Talk:History of computing hardware/Archive 2
Selasa, 2024-12-24 19:46:43

the column "Turing Complete" the link (1998) is clearly copied and pasted from the row about Z3. I don't know if Harvard Mark I was turing complete but...

Click to read more »
Talk:Petra Mutzel
Sabtu, 2026-01-24 19:16:38

notable to warrant a Wikipedia page? Has she won a major award (like a Turing Award), or received substantial coverage in the media? LachlanA (talk) 06:47...

Click to read more »
Talk:Action Hero Biju
Senin, 2024-01-22 22:11:40

is how things are done in Wikipedia. --Charles Turing (talk) 10:50, 31 March 2016 (UTC) Charles Turings activity seems to be highly disrupting. In the...

Click to read more »
Talk:Argument from poverty of the stimulus
Selasa, 2024-12-24 00:05:35

argument without linking to this article, please create the link! Tyrell turing 21:49, 8 September 2005 (UTC) Doesn't Chomsky now refer to this as "Plato's...

Click to read more »
Talk:Neural Turing machine
Selasa, 2025-01-14 13:03:06

Merge with Differentiable neural computer? ★NealMcB★ (talk) 00:44, 22 October 2016 (UTC) Maybe you should use this type of associative memory for NTMs...

Click to read more »
Talk:All-African People's Revolutionary Party
Kamis, 2024-02-08 03:42:21

party was founded by Stokeley Carmichael, who changed his name to Kwame Ture. --MarioGom (talk) 17:36, 20 July 2019 (UTC) @MarioGom: Can you provide links...

Click to read more »
Talk:McCarthy Formalism
Sabtu, 2024-03-09 09:36:23

computational system equivalent to Turing Machines, that means they have the same computational power. (See Church-Turing Thesis) It is wrongly believed that...

Click to read more »
Talk:IEEE 754-1985/Archive 1
Selasa, 2025-01-14 16:11:16

The 'church-turing' theorum says that anything that's turing complete can (with sufficient memory and time) simulate any other turing complete machine...

Click to read more »
Talk:Loham/GA2
Selasa, 2022-05-03 11:17:37

And thanks to all the editors who worked to make this a GA. --Charles Turing (talk) 16:58, 2 March 2016 (UTC) Thanks. This looks like it's good to go...

Click to read more »
Talk:Hypercomputation/PNDTM
Jumat, 2006-03-24 10:03:07

We define a preferential non-deterministic Turing machine as a 7-tuple M = ( Q , Σ , ι , ⊔ , A , δ , ≤ A ) {\displaystyle M=(Q,\Sigma ,\iota ,\sqcup ,A...

Click to read more »
Talk:Symbolic logic
Sabtu, 2009-02-28 21:14:06

basic idea is that for any wff, a turing machine should be able to determine whether or not that wff is an axiom, the turing machine being guaranteed to halt...

Click to read more »
Talk:David Parnas
Sabtu, 2025-01-04 23:08:53

Turing Machines originated by an engineering thought on how an human computer worked at those days, using the minimal elements. The Universal Turing Machine...

Click to read more »
Talk:Mathematics/to do
Rabu, 2022-11-30 03:14:00

discussion of "abstract machines" E.g. Archimedes' method, Carnot engine, Turing machine, etc. Add brief discussion about number sense & numerical cognition...

Click to read more »
Talk:Difference engine
Sabtu, 2024-03-09 13:20:26

not Turing complete. — Preceding unsigned comment added by 89.25.210.104 (talk) 19:35, 8 May 2018 (UTC) Well, I will try to prove it not to. A Turing machine...

Click to read more »
Talk:Constructivism (philosophy of mathematics)
Selasa, 2026-02-03 23:49:49

actually a traditional Turing machine. But if the termination time of a generalised Turing machine can be given by a traditional Turing machine, then it also...

Click to read more »
Talk:Functional encryption
Kamis, 2025-05-29 17:06:37

queries >1 then you should also remove the paper of Goldwasser et al. on turing machines that is also for one query. It would be also greato to stress that...

Click to read more »
Talk:Programming language/Archive 6
Jumat, 2023-02-03 03:23:18

better-known examples of a non-Turing-complete general purpose language. For an example, see Darius Bacon's comment in this thread on Turing-completeness at the...

Click to read more »
Talk:Premam
Sabtu, 2024-02-03 10:04:16

readers, they can click that link.--Charles Turing (talk) 15:40, 15 April 2016 (UTC) Dear Charles_Turing, Wikipedia is meant for a global audience, not...

Click to read more »
Talk:Arcfox
Minggu, 2025-10-26 23:12:50

In October 2023, Arcfox signed cooperation agreements with Japan's TURING and the UAE's Ben Omire Group to launch Arcfoxn the Japanese, UAE and Saudi markets...

Click to read more »
Talk:Full-employment theorem
Rabu, 2026-04-15 11:45:06

on either side. If one is restricting "AI" to be run on a conventional (turing equivalent) computer, then the AI is a formal system is subject to incompleteness...

Click to read more »
Talk:Statue of Alexander Wood
Selasa, 2025-12-23 07:28:31

T:DYK/P1 without image A footnote to the current article suggests that Alan Turing, not Alexander Wood, was the subject of the first monument to a gay individual...

Click to read more »
Talk:BQP
Rabu, 2024-12-11 17:44:14

think it is assumed that there's always enough of them, just as we do with Turing tapes. --Seb What does this 1/4-clause mean in long run ? That chance of...

Click to read more »
Talk:Tures
Jumat, 2024-02-02 01:24:45

...

Click to read more »
Talk:Brainfuck/Archive 1
Jumat, 2023-04-07 17:07:24

range. In the latter case, a Turing machine can be simulated using two cells to store the left and right halves of the Turing machine tape. I'll put a detailed...

Click to read more »
Talk:Leslie Lamport
Sabtu, 2026-05-16 20:39:20

reference (ACM Fellows 2014) to a {{cite web}} template; deduplicated a Turing-award citation that duplicated the existing |name=:0 ref. Added a sentence...

Click to read more »
Talk:Bekenstein bound
Senin, 2025-12-08 05:20:12

obviously false, since not only is a Turing machine realisable, but every computer in operation is a universal Turing machine. The claim should not be restored...

Click to read more »
Talk:Robin Denniston
Selasa, 2024-02-13 17:44:48

unavoidably under-rated by history, at least for a time. Think of Alan Turing. Alistair deserves more attention and Robin's biography of him will be useful...

Click to read more »
Talk:Brent–Kung adder
Kamis, 2026-01-01 06:22:51

variable C_in and does not work when constructed and simulated in the game Turing Complete. — Preceding unsigned comment added by ~2025-44046-96 (talk) 23:21...

Click to read more »
Talk:Boris Hagelin
Minggu, 2025-04-13 22:19:34

Swedish... (see ref. -- NB that this is not the book Codebreakers about Turing breaking and the Enigma at Bletchley Park), several of his trips between...

Click to read more »
Talk:Rainbow Honor Walk
Minggu, 2024-06-02 20:55:18

I was also on the Turing Centennial committee, and I know the referenced work, but I this use of artificial in the context of Turing, not to sound too...

Click to read more »
Talk:AIXI
Minggu, 2025-04-13 16:31:12

67.198.37.16 (talk) 20:59, 25 October 2018 (UTC) Defining a Universal Turing Machine with FOL axioms is an undergraduate classroom exercise. If you can...

Click to read more »
Talk:Chris Beckett
Jumat, 2025-01-03 17:12:14

the prelims it listed other books by Chris Beckett, one of which was The Turing Test. However, according to the article, this was only a short stroy. What...

Click to read more »
Talk:Celso Rodrigues Da Costa
Jumat, 2025-02-14 14:55:54

Swan/Fábio Poças Nero Patrício Saraiva User:Geo Swan/Nero Patrício Saraiva Sandro Monteiro User:Geo Swan/Sandro Monteiro Sadjo_Ture User:Geo Swan/Sadjo_Ture...

Click to read more »
Talk:Indirection
Jumat, 2024-11-15 22:13:32

computer science can be solved with another level of indirection", but in his Turing Award Lecture in 1993, Lampson himself attributes this saying to David Wheeler...

Click to read more »
Talk:Blackwell (microarchitecture)
Senin, 2026-02-23 22:30:27

they're both compute capability 7.5 (or SM75) to indicate they are both the Turing architecture. One architecture can also have multiple compute capability...

Click to read more »
Talk:C. D. Broad
Kamis, 2025-01-02 17:41:27

Since this: (In 1952, the mathematician, logician and philosopher Alan Turing was convicted of 'gross indecency' for admitting to a sexual relationship...

Click to read more »
Talk:Enrique Marroquin
Senin, 2025-09-01 21:27:15

using English spellings, things can go array. It's ambiguous at best in the worst case scenario.) Complete turing (talk) 07:09, 28 February 2015 (UTC)...

Click to read more »
Talk:Post correspondence problem
Kamis, 2024-02-08 12:57:28

a way that a match must display an accepting computation history of the Turing machine (a list of its states in order). Deco 18:48, 13 July 2005 (UTC)...

Click to read more »
Talk:Chinese room/Archive 4
Sabtu, 2024-12-21 23:12:45

Universal Turing machine. Therefor the Chinese room can simulate the action of a Universal Turing Machine. Therefor the program is Turing complete. ----...

Click to read more »
Talk:Pseudo-polynomial time
Sabtu, 2024-02-24 08:27:07

think addition is linear-time on a 1-tape Turing Machine.: to add an m-bit number to an n-bit number on a Turing machine you need to keep hunting back from...

Click to read more »
Talk:Arthur Scherbius
Jumat, 2024-02-02 17:53:23

Germans was optimally protected" ? No mention of Bletchley Park or Alain Turing ? — Preceding unsigned comment added by Pielleunipi (talk • contribs) 12:17...

Click to read more »
Talk:Sackville Gardens
Minggu, 2024-02-25 15:32:19

2006 (UTC) Turing's codes? Of course THEy wouldn't be relevant to anything. They were, in fact, the German's codes... and the fact that Turing helped crack...

Click to read more »
Talk:The Turing Test (novel)
Selasa, 2024-02-13 23:51:03

...

Click to read more »
Talk:Open access
Minggu, 2026-04-12 00:52:17

closed while claiming to have become open. As of 23 January 2026, five Turing Award winners, over fifty ACM Fellows, and hundreds of ACM authors and other...

Click to read more »
Talk:Statue of Alan Turing
Selasa, 2024-10-08 22:16:55

...

Click to read more »
Talk:Complexity class
Senin, 2025-07-14 03:49:07

through parallel computation, which can be simulated using a Turing Machine (or an Alternating Turing machine where AP=PSPACE), thus seems to be within the realm...

Click to read more »
Talk:History of cryptography
Jumat, 2025-05-30 23:19:21

'Alan Turing was a person who worked for British Army can be called as the "Father of Modern Cryptology"' This is inaccurate in that Turing was employed...

Click to read more »
Talk:Solomonoff's theory of inductive inference
Jumat, 2026-03-27 15:42:58

{{clarity}} tag. GreatBigDot (talk) 20:45, 13 June 2017 (UTC) Why does the Turing Machine section have a warning about no citations? Every other sentence...

Click to read more »
Talk:Undecidable problem
Jumat, 2026-03-13 17:29:09

Incompleteness Theorem. In 1936, Alan Turing proved that the halting problem—the question of whether or not a Turing machine halts on a given program—is...

Click to read more »
Talk:1954
Sabtu, 2025-12-13 08:42:57

on this page or its Wikidata item has been nominated for deletion: Alan Turing Aged 16.jpg Participate in the deletion discussion at the nomination page...

Click to read more »
Talk:Event management (ITIL)
Kamis, 2024-02-01 21:31:36

event, but he/she is uncertain of what level of importance it has, so by turing to the Event Mgmnt process - this will be sorted out. Example 2) Something...

Click to read more »
Talk:Checkers (video game)/GA1
Selasa, 2025-07-15 16:50:22

Maybe mention that while Turochamp was "designed by Turing in 1948", it was "designed by Turing in 1948 but never successfully run on a computer" to...

Click to read more »
Talk:Council for Science and Technology
Senin, 2026-03-16 13:04:00

particular reports which have had an impact e.g. recommending the Alan Turing Institute a list of those in the role of independent co-chair and of course...

Click to read more »
Talk:Symbolic regression
Sabtu, 2024-02-10 05:08:36

20 June 2022 (UTC) TuringBot was removed from the "Software" section on 28 November 2021‎ by Moltean with the claim that "TuringBot is commercial", but...

Click to read more »
Talk:Invariance theorem
Minggu, 2024-02-04 06:51:04

it a theorem if it "follows trivially from the definition of a universal turing machine"? Is there something more to it that I'm missing?--208.120.106.136...

Click to read more »
Talk:Unrestricted grammar
Jumat, 2026-05-01 20:04:32

(nondeterministic) Turing machine for every unrestricted grammar, and in Thm. 9.4 an unrestricted grammar for every acceptor Turing machine. Again, the...

Click to read more »
Talk:Wizard of Oz experiment
Jumat, 2024-02-02 21:42:26

computer system? The only thing I can think of would be called Failing the Turing Test. What would be a more applicable name? Nutster (talk) 22:42, 15 November...

Click to read more »
Talk:Labdoo
Jumat, 2026-03-20 05:21:26

future. --AoifeJB (talk) 18:20, 13 February 2017 (UTC) I have added the Alan Turing Award, updated the global statistics and added a brief history section....

Click to read more »
Talk:Department of Computer Science, University of Manchester
Selasa, 2024-02-13 00:18:21

on this page or its Wikidata item has been nominated for deletion: Alan Turing Aged 16.jpg Participate in the deletion discussion at the nomination page...

Click to read more »
Talk:Effective results in number theory
Senin, 2024-12-09 01:38:41

20:47, 16 Mar 2004 (UTC) Effectively computable - old-fashioned, see Church-Turing thesis. It's better to link to that, than explain it twice. Growth of class...

Click to read more »
Talk:Bell Labs/Archives/2022
Rabu, 2025-07-16 20:33:49

hence the section was significant as an addition to Nobel Prizes, and Turing Awards. — Preceding unsigned comment added by Antonio cruz wiki (talk •...

Click to read more »
Talk:Loham/GA1
Sabtu, 2020-07-11 08:06:23

the entire article body text needs lots of work. Just curious, Charles Turing, what is your level of language at Category:User en ? Strongly suggest you...

Click to read more »
Talk:Jeffrey Ullman
Senin, 2024-07-22 22:46:33

referenced statement is titled "Statement Regarding the 2020 ACM Turing Award" and the 2020 ACM Turing Award went to Ullman. Furthermore, the statement specifically...

Click to read more »
Talk:Random sequence
Sabtu, 2024-02-03 14:51:25

there are sequences that can't be compressed by a Turing machine but can be compressed by a Turing machine with a halting oracle. There is more info at...

Click to read more »
Talk:Stokely Carmichael/Archive 1
Selasa, 2026-05-26 00:28:36

quote that links to David Horowitz is a very bad quote. It is a lie. Kwame Ture was never a hater of Trinidad and Tobago. I wish you would remove it. Neither...

Click to read more »
Talk:Yellow Pig's Day
Sabtu, 2007-07-21 20:17:14

as notable as Billy Bowlegs Pirate Festival, Night of the Radishes and Turing Days, to pick a few minor festivals at random. Anyway, I think a move to...

Click to read more »
Talk:Chandy–Lamport algorithm
Senin, 2026-05-18 02:00:18

ACM SIGOPS Hall of Fame Award (2013) and Dijkstra Prize (2014); Lamport's Turing Award citation for this work. All sourced to the paper, Lamport's personal...

Click to read more »
Talk:Names of small numbers
Sabtu, 2024-03-09 09:53:16

archive.org/web/20120321074006/http://turing.cs.camosun.bc.ca/COMP166/resources/floatingpoint.html to http://turing.cs.camosun.bc.ca/COMP166/resources/floatingpoint...

Click to read more »
Talk:Robert Kahn (computer scientist)
Sabtu, 2026-01-31 18:43:56

robertsky (talk) 02:47, 3 May 2024 (UTC) Bob Kahn → Robert Kahn – (1) His Turing Award page uses 'Robert' (https://amturing.acm.org/award_winners/kahn_4598637...

Click to read more »
Talk:Homeostat
Rabu, 2024-10-30 22:36:50

digital computers and truly field concurrent processes of the Homeostat. Turing was wrong (see article) to claim he could simulate the Homeostat as indeed...

Click to read more »
Talk:Schema (genetic algorithms)
Kamis, 2024-04-04 00:20:18

defaultation hierarchy of executions for each command will certainly pass the Turing Test, that is all it does. The distinction actually exists in reality and...

Click to read more »
Talk:Hartley (unit)
Sabtu, 2024-02-03 10:37:44

2016 (UTC) The article already discusses the origin of the term "ban" (Turing/Good in 1940), but not the origin of the terms "hartley" (probably coined...

Click to read more »
Talk:Normalization property (abstract rewriting)
Rabu, 2025-02-05 20:03:02

LiveDuo (talk • contribs) 13:28, 8 May 2016 (UTC) Totality is not the same as Turing-completeness. Consider this [total] Brainfuck interpreter written in Agda:...

Click to read more »
Talk:Congruent transformation
Minggu, 2024-09-15 21:34:34

a matrix to a matrix. Oleg Alexandrov 01:46, 13 August 2005 (UTC) I am turing this into a disambig page, as isometry already describes the first sense...

Click to read more »
Talk:Algorithmic learning theory
Selasa, 2024-12-31 11:35:03

that any language which is defined by a Turing machine program can be learned in the limit by another Turing-complete machine using enumeration." (Or...

Click to read more »
Talk:Busy beaver
Minggu, 2026-04-05 20:58:45

countably infinite time. Since the infinite test can be encoded as a small Turing machine so it stops if the conjecture is false then if that machine is smaller...

Click to read more »
Talk:Post's theorem
Selasa, 2024-07-09 05:55:50

incorrect, or else it needs a citation. I've never seen any formalization of turing machines where the halting time function is Δ 0 {\displaystyle \Delta _{0}}...

Click to read more »
Talk:Thomas Simpson
Selasa, 2025-01-28 13:12:30

https://web.archive.org/web/20131104003416/http://turing.une.edu.au/~ernie/Archive/Creases2009MT.pdf to http://turing.une.edu.au/~ernie/Archive/Creases2009MT.pdf...

Click to read more »
Talk:Computably enumerable set
Senin, 2026-02-09 03:32:47

(unless you choose the nonstandard definition that identifies algorithms with Turing machines, or something else equally nonstandard). The definitions of recursively...

Click to read more »
Talk:DSPACE
Kamis, 2024-02-01 11:05:23

algorithm articles link here, and the jump from practical algorithms to Turing machines is quite big for those not familiar with theoretical CS. I'll have...

Click to read more »
Talk:David and Lisa
Selasa, 2024-02-13 18:19:06

English computer-pioneer and mathematician Alan Turing? Both Keir Dullea (David Clemens) and Alan Turing could have been brothers (same looks), and above...

Click to read more »
Talk:Jan Łukasiewicz
Senin, 2024-02-12 02:29:34

stores have been discussed elsewhere, possibly as early as 1947 by Alan Turing, certainly in 1949 by Harry D. Huskey in connection with the ZEPHYR (SWAC)...

Click to read more »
Talk:List of most expensive Indian films
Rabu, 2025-07-16 04:08:57

googled I couldn't find any contrary claim. --Charles Turing (talk) 17:44, 4 May 2016 (UTC) Charles Turing: Yes. I also believe that it is a promotional tool...

Click to read more »
Talk:Apple Inc./Archive 2
Sabtu, 2026-02-28 16:57:44

to Turing. The fact is, Turing has a lot more to do with computers than Newton, and in particular the missing bite, which would be the one Turing took...

Click to read more »
Talk:The Diamond Age/Archive 1
Jumat, 2024-02-09 20:00:26

To me it read as if everything "Turing" was lumped together into one unrecognizable porridge. Turing test, Turing computability, for what's supposed...

Click to read more »
Talk:Space–time tradeoff
Selasa, 2024-12-24 12:12:35

But it depends on the definition of space complexity and the model of turing machine employed. -- Hegariz —Preceding unsigned comment added by Hegariz...

Click to read more »
Talk:Self-hosting/Archive 1
Rabu, 2019-05-29 03:51:10

new names used. Alan M. Turing showed that a computer can be defined to build other computers, even it self. (see Universal Turing Machine, UTM). He discussed...

Click to read more »
Talk:Islets of Ksamil
Minggu, 2024-01-14 07:38:39

ture_harte/Broshura_natyre.pdf to http://www.akt.gov.al/tinymce/jscripts/tiny_mce/plugins/filemanager/files/broshura_ture_harte/Broshura_natyre...

Click to read more »
Talk:Specker sequence
Jumat, 2024-02-09 22:00:09

sequence mentions "computation of {n}(n)" but the link points to a page about Turing machines. Ferdinand.kraft (talk) 05:10, 23 February 2021 (UTC) I came here...

Click to read more »
Talk:Two Generals' Problem
Sabtu, 2025-12-20 00:02:37

questionable statement. What about the various halting problems? Church, Turing, Godel, etc were working on unsolvable problems in the 1930s and 40s. Without...

Click to read more »
Talk:Hierarchical task network
Jumat, 2024-08-02 17:26:08

Theorem 2. STRIPS can emulate a Turing machine with finite tape. That means, it can emulate LBA (which is a kind of Turing machine with finite tape, but...

Click to read more »
Talk:Distributed cognition/Archive 1
Minggu, 2023-12-24 23:05:30

(talk) 15:42, 3 August 2008 (UTC) The section in Applications referring to Turing Test with a link to a paper at soton.ac.uk seems not to be relevant, and...

Click to read more »
Talk:SQL
Senin, 2025-08-11 02:07:15

"&oldid=947475103" stated that " ... the most recent SQL standard actually *is* Turing complete, but many popular implementations are not ...". This raises the...

Click to read more »
Talk:The Yale Record
Rabu, 2024-02-07 02:11:38

Victor Ture (talk) 11:16, 29 December 2023 (UTC) I have now changed this as List of humor magazines also list Blandaren as the first. Victor Ture (talk)...

Click to read more »
Talk:Immortality Drive
Selasa, 2024-02-06 22:50:05

sequenced the human genome. Rather their own genome was sequenced, by a turing machine. Thus, not any merit of their own. A gamer, a scientist, athlete...

Click to read more »
Talk:Viva Communications
Rabu, 2024-12-11 04:40:13

18 September 2007 (UTC) Please confirm this news if this rumor article is ture and accurate news unless with permission from VIVA Entertainment Management...

Click to read more »
Talk:Fallibilism
Rabu, 2024-01-17 21:30:56

knowledge, the reader (or reader's Turing machine) may infer that 1 + 1 = 2. In doing so, the reader (or a Turing machine) does not inject any new information...

Click to read more »
Talk:Computronium
Selasa, 2025-06-24 09:02:23

that... ... You can imagine a turing machine quite easily using nothing but your brain, so human brains are quite turing complete (and thus general purpose)...

Click to read more »
Talk:Inform
Senin, 2025-09-08 23:47:06

section should mention that it is turing complete? J.D. Clemens implements a turing machine in 'The amazing interactive turing machine'. (the game source and...

Click to read more »
Talk:Svaha
Selasa, 2024-02-27 05:43:11

is "OM. TARE TUTARE TURE. MAMA AYUR PUNYE JNANA PUSHTIM KURU, SWAHA" [1]. Another more common Tara mantra is "OM! Tara, Tuttare Ture, Swaha." I'm guessing...

Click to read more »
Talk:GPT-2
Kamis, 2026-04-16 05:06:53

Neutral: - I have some concerns. Claims that GPT-2 "often" passes the Turing test (implied with an Easter egg link) is not implausible, but it's such...

Click to read more »
Talk:Algorithm/Archive 1
Selasa, 2024-10-01 20:09:03

with "Turing-Complete system" that is off the mark in two regards. 1. There is nothing to make "Thus" follow, here. Also, the reference to "Turing-Complete"...

Click to read more »
Talk:Ampere (microarchitecture)
Senin, 2025-08-04 11:11:55

IP editor mostly offers insults in response, and has also cited on talk:Turing (microarchitecture)#IP edit warring over ?.? a vague comment by Jensen Huang...

Click to read more »
Talk:Philip Emeagwali/Archive 1
Kamis, 2013-09-05 23:54:18

The Turing has a 15-year waiting period but you expect Emeagwali to do Turing prize-winning discovery while in high school and earn the Turing Award...

Click to read more »
Talk:List of islands of Albania
Minggu, 2024-03-17 11:42:53

ture_harte/Broshura_natyre.pdf to http://www.akt.gov.al/tinymce/jscripts/tiny_mce/plugins/filemanager/files/broshura_ture_harte/Broshura_natyre...

Click to read more »
Talk:Turing equivalence
Selasa, 2024-10-15 21:34:32

The disambiguation was misleading the reader into thinking that equivalence and completeness mean the same thing, while they do not. I corrected it to...

Click to read more »
Talk:List of awards and nominations received by Benedict Cumberbatch
Minggu, 2024-02-11 12:18:12

for his awards and nominations. SAG Awards BENEDICT CUMBERBATCH / Alan Turing – "THE IMITATION GAME" (The Weinstein Company) BENEDICT CUMBERBATCH / Sherlock...

Click to read more »
Talk:List of Malayalam films of 2016
Jumat, 2026-01-30 10:34:44

08:24, 1 February 2016 (UTC) You can do that. No need to discuss.--Charles Turing (talk) 18:01, 1 February 2016 (UTC) @Surabhy: Can you start a table? I will...

Click to read more »
Talk:Bletchley Park/Archive 2
Sabtu, 2025-11-01 20:36:52

or Alan Turing as this was the house occupied by the Budd Family from 1940 through to 1950, it was in Cottage Number 3 that Knox and Turing worked with...

Click to read more »
Talk:Functionalism (philosophy of mind)/Archive 1
Minggu, 2016-07-24 13:04:36

activity is computational in its nature. Functionalism is often aligned with Turing or digital computation (1 and 0s); however, this does not necessarily need...

Click to read more »
Talk:Serial (literature)
Selasa, 2024-10-15 08:01:19

fascicles. This is a very famous seminal text that earned him the 1974 Turing Award . 217.112.168.122 (talk) Would Lord of the Rings be considered a serial...

Click to read more »
Talk:List of programming languages
Kamis, 2026-04-30 18:38:14

are, indeed designed for non-turing completeness. A non-turing complete language can be embedded (as a DSL) in a turing complete language, by one definition...

Click to read more »
Talk:Robert W. Floyd
Sabtu, 2025-01-25 12:38:59

his Stanford obituary, "Computer pioneer Robert Floyd dead at 65"; his Turing Award citation; Knuth's obituary in ACM SIGACT News, R. J. Lipton's recollection...

Click to read more »
Talk:Beavis and Butt-Head Do the Universe
Sabtu, 2025-09-13 19:16:16

credited for the story. But seeing the update, i can’t make heads or tails on which one to know it’s ture. BMA-Nation2020 (talk) 18:38, 5 January 2023 (UTC)...

Click to read more »
Talk:Algorithm/Archive 4
Sabtu, 2026-01-03 17:35:41

to a description of Turing machines, so what? By the Church-Turing thesis, any (every) algorithm can be converted into a Turing machine program. Bill...

Click to read more »
Talk:George Johnstone Stoney
Senin, 2025-09-29 07:23:47

Sheodred (talk) 11:26, 29 November 2011 (UTC) This according to Hodges Turing bio. Probably worth mentioning in article?--Jrm2007 (talk) 15:23, 9 June...

Click to read more »
Talk:Semi-decidable
Senin, 2026-04-20 09:33:42

probable that, in most case, it has been presented to them in terms of Türing machines or RAM abstract machines, as these theories, although formally...

Click to read more »
Talk:P versus NP problem/Archive 1
Minggu, 2026-04-05 20:44:20

my point. "The" Turing machine in the last sentence refers to the polynomial time Turing machine mentioned in condition (ii). "A" Turing machine would be...

Click to read more »
Talk:Lists of programming languages
Selasa, 2025-10-28 04:46:48

grounds that they are Turing-complete, then primitive recursive functions aren't really very much different, and yet they are not Turing-complete. Even worse...

Click to read more »
Talk:Jack Dongarra
Sabtu, 2025-01-11 21:03:54

work, so why not excerpt more of that? https://awards.acm.org/about/2021-turing It's only a one-page press release. Martindo (talk) 00:30, 3 April 2022...

Click to read more »
Talk:Primitive recursive function
Sabtu, 2024-03-09 10:36:22

Turing machines, Church's Thesis]" (p. 231-232). Over the years, a number of authors have shown the equivalence of (general or u-)recursion to Turing...

Click to read more »
Talk:Ric Holt
Jumat, 2025-01-24 21:58:10

April 2015 (UTC) University of Waterloo official C.V. information Origin of Turing programming language Gravel Watch Ontario executives (Holt as President...

Click to read more »
Talk:Sed
Selasa, 2026-04-28 05:57:16

functionality; nevertheless, the language is Turing complete. --HJH Lots of Google references to "sed turing complete" say so, and it is not unreasonable...

Click to read more »
Talk:Kolmogorov complexity/Archive 1
Minggu, 2026-04-05 01:24:40

required to be Turing complete. But it links to minimum message length, which makes the claim that Kolmogorov complexity allows only Turing complete description...

Click to read more »
Talk:Von Neumann universal constructor
Minggu, 2024-02-11 04:27:34

interested in modeling a Turing machine. It is clearly the case that von Neumann's cellular automata are capable of representing a Turing machine. However, and...

Click to read more »
Talk:William Gibson bibliography
Sabtu, 2024-02-17 19:02:42

I agree with the proposed merges of Screaming Fist, Ono Sendai, and Turing Police. Possibly Gender-bait could also be merged somewhere? --Quiddity 04:40...

Click to read more »
Talk:A. Tryfiatis-Tripiaris
Jumat, 2024-01-19 17:34:12

reference standards. That page indicates that it is drawn from Bill Mallon and Ture Widlund: "The 1896 Olympic Games - Results for All Competitors in All Events...

Click to read more »
Talk:Coed School
Jumat, 2025-10-03 08:15:33

show that it improves the encyclopedic knowledge of the band rather than turing the article into a fanpage. Active Banana (bananaphone 03:32, 27 May 2011...

Click to read more »
Talk:Skysurfing
Selasa, 2024-01-30 20:06:38

you are not ture all a lie Top: Marc Jason Marcel Mikliw Dominic Mallown Dario Dalwin Ariell Marc Gabrielle Amman Jack Rondson Jeromir Strife Michael Quell...

Click to read more »
Talk:Automated essay scoring
Jumat, 2024-01-26 19:15:14

if they want to. The comment about the Turing test needs to go--the performance of AES programs is not a Turing test. Your assertion that only people involved...

Click to read more »
Talk:Ture Kailo
Kamis, 2024-01-25 09:06:38

...

Click to read more »
Talk:Preprocessor
Jumat, 2025-09-19 07:17:31

from programming language. Does a general purpose preprocessor have to be Turing complete? I would hope so, but I think the definition is based on general...

Click to read more »
Talk:Matthew Cook
Minggu, 2026-05-17 03:31:12

computer scientist I find the fact that something as simple as Rule 110 can be Turing complete both fascinating and important. It is my lay opinion that the article...

Click to read more »
Talk:1897
Selasa, 2024-01-16 00:49:30

When electronics (as defined in Wikipedia) did not yet exist? And when Turing, in his celebrated 1936 article, still used "computer" to refer to a person...

Click to read more »
Talk:IBM 608
Kamis, 2024-01-25 22:15:12

Unit used tubes or transistors ? - Rod57 (talk) 04:49, 11 January 2016 (UTC) Is the IBM 608 Turing complete? asklucas (talk) 14:32, 11 January 2016 (UTC)...

Click to read more »
Talk:Black Power: The Politics of Liberation
Minggu, 2024-01-28 06:58:42

County Freedom Organization and the county of Tuskegee. In these examples Ture and Hamilton shows the reader different ways Black citizens try to gain political...

Click to read more »
Talk:Conjecture
Rabu, 2026-04-08 05:52:18

conjecture (mathematics).Also a conjecture means that a guess that is maybe ture. Like for example if a odd number minus an even numer is the answer even...

Click to read more »
Talk:Word problem for groups
Sabtu, 2024-03-09 13:07:56

pseudo explicit examples given, and one explicit example given. I think Turing, Markov, and Post had 2 or 3 examples that are both foundational and easy...

Click to read more »
Talk:Men Going Their Own Way/Archive 8
Minggu, 2026-01-18 19:29:17

13:03, 5 January 2016 (UTC) @ShadowKomet: Alan Turing? I can't see any relevance here at all: Turing was a gay man with no apparent animosity toward...

Click to read more »
Talk:SolidDB
Kamis, 2024-02-01 07:14:01

the matter or if there's any issue with my addition. I put this talk page up just in case. Thanks, Complete turing (talk) 10:11, 11 January 2015 (UTC)...

Click to read more »
Talk:David Baragwanath
Sabtu, 2025-01-04 18:44:52

Study Paper 9 — NZLC SP9 (PDF). Wellington, New Zealand: New Zealand Law Commission / Te Aka Matua o te Ture. ISBN 1-877187-64-X. Retrieved 2023-10-08....

Click to read more »
Talk:GeForce RTX 20 series
Jumat, 2026-02-13 23:37:22

a Nvidia Ampere page, we already know its going to be the successor to Turing, its going to be 7nm and Samsung will do it: Source: https://www.tomshardware...

Click to read more »
Talk:LOLCODE
Jumat, 2024-02-09 13:02:19

that a language is Turing complete, you only have to prove that it can emulate another Turing complete system. Since brainfuck is turing complete, a brainfuck...

Click to read more »
Talk:Artificial general intelligence/Archive 2
Sabtu, 2014-02-08 01:03:11

The first sentence of 'Requirements of strong AI': The Turing test is not a definition of intelligence, it is a test of intelligence. --62.16.187.35 (talk)...

Click to read more »
Talk:Computer game bot Turing test
Senin, 2024-07-29 13:07:42

...

Click to read more »