Talk:Theory of computation

From Wikipedia, the free encyclopedia
Jump to: navigation, search
          This article is of interest to the following WikiProjects:
WikiProject Computer science (Rated C-class, Top-importance)
WikiProject icon This article is within the scope of WikiProject Computer science, a collaborative effort to improve the coverage of Computer science related articles on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
C-Class article C  This article has been rated as C-Class on the project's quality scale.
 Top  This article has been rated as Top-importance on the project's importance scale.
 
WikiProject Systems (Rated C-class, Mid-importance)
WikiProject icon This article is within the scope of WikiProject Systems, which collaborates on articles related to systems and systems science.
C-Class article C  This article has been rated as C-Class on the project's quality scale.
 Mid  This article has been rated as Mid-importance on the project's importance scale.
Taskforce icon
This article is not associated with a particular field. Fields are listed on the template page.
 
WikiProject Mathematics (Rated C-class, High-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
C Class
High Importance
 Field: Discrete mathematics
WikiProject Computing (Rated C-class, Top-importance)
WikiProject icon This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
C-Class article C  This article has been rated as C-Class on the project's quality scale.
 Top  This article has been rated as Top-importance on the project's importance scale.
 
WikiProject Cognitive science (Rated Start-class, High-importance)
WikiProject icon This article is within the scope of WikiProject Cognitive science, a collaborative effort to improve the coverage of Cognitive science on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Start-Class article Start  This article has been rated as Start-Class on the project's quality scale.
 High  This article has been rated as High-importance on the project's importance scale.
 

Archive: /1

Computation as a explanation of the mind[edit]

This is a discussion that is becoming increasingly popular: Can computation as it is defined act as an adequate model of the way an organic neurological system behaves? In other words does the theory of computation give us any further understanding of the mind? This is a topic of both philosophy and computer science/AI. My feelings on this matter are that our understanding of the function of machines is misleading, often the way it is perceived that a computer works is actually far from the reality of what the machine is doing. This is similar to the problems of introspective thinking that led to ideas like Cartesian Dualism. So, can we (as intelligent animals) be described in terms of symbol manipulation and finite state machines? I’m not so convinced, but at the same time I don’t completely reject the notion. Katateochi 09:10, 22 February 2006 (UTC)

This is a discussion of related computation vs conscience in the talk pages of Computer science. It is a very hard debate. Some of taken the debate very personal because it does 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). Some think computation goes beyond that while others do not. There is no proof. — Dzonatas 14:20, 22 February 2006 (UTC)

Use of the term Regular Expression[edit]

The use of the term regular expression in this article is misleading, as regular expressions in Unix tools and Perl recognize non-regular languages, through the backreference operators (\1 \2 ...). So mentioning regular expressions in a sentence with Unix tools and Perl, then saying that FSA are mathematically equivalent to regular expressions makes use of both senses of the term. --jonsafari 23:45, 19 May 2006 (UTC)

Move Other formal definitions of computation to Computability[edit]

I have copied the section Theory_of_computation#Other formal definitions of computation to the Computability article and will just be leaving a stub here. I think this article should be fairly brief and mainly just disambiguate to computability and complexity and this section gave too much detail a level down in the computability branch. Dmcq (talk) 16:06, 30 August 2009 (UTC)

As the person who suggested the section move, I can only agree :) Pcap ping 18:11, 30 August 2009 (UTC)

certification in Theory of computation[edit]

IS THERE ANY CERTIFICATION TO DO IN THEORY OF COMPUTATION??

58.68.66.251 (talk) 08:00, 3 January 2010 (UTC)SVM

P′′ as a major model[edit]

It seem to me that this " P " should be a minor subsection of the model of computation article, not a major subdivision here. Any comments? --121.45.201.112 (talk) 12:26, 25 May 2013 (UTC)

Models of computation section is not overly detailed[edit]

Use of the following template seems unwarranted:

because the section provides a concise overview of other available models.

Therefore, I have removed it.

yoyo (talk) 20:17, 16 August 2015 (UTC)