UNIVERSAL TURING MACHINE: Difference between revisions

From Fabulous Loop de Loop
(Created page with "==UNIVERSAL TURING MACHINE== ANNOTATION |...| John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008 pp.70-73 Turing's 1936 paper...")
 
No edit summary
Line 1: Line 1:
==UNIVERSAL TURING MACHINE==
==UNIVERSAL TURING MACHINE==
 
<br>
<br>
ANNOTATION
ANNOTATION
|...| John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008
|...| John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008
pp.70-73
pp.70-73
<br>
<br>
Turing's 1936 paper on the Universal Machine was instrumental in arriving at a new understanding of a real-abstract machine. The Turing Machine: comprises three parts  
Turing's 1936 paper on the Universal Machine was instrumental in arriving at a new understanding of a real-abstract machine. The Turing Machine: comprises three parts  
1) a reading/writing "head"
1) a reading/writing "head"
<br>
2) an infinitely long "tape" divided into squares which pass along the head
2) an infinitely long "tape" divided into squares which pass along the head
 
<br>
3) a table of instructions (state transition table) which would tell the head what to do in relation to the machine's state. It would ask: is the mark absent or present on the tape? Depending on the outcome the machine encounters, it would
3) a table of instructions (state transition table) which would tell the head what to do in relation to the machine's state. It would ask: is the mark absent or present on the tape? Depending on the outcome the machine encounters, it would
 
<br>
a) enter a mark  
a) enter a mark  
 
<br>
b) erase a mark  
b) erase a mark  
 
<br>
c) leave the square blank <ref> John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008 p.70</ref>
c) leave the square blank <ref> John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008 p.70</ref>
 
<br>
The Turing Machine is the first example of a finite state machine. Data entering as a string of symbols (1 or 0) are encoded as absent or present.  
The Turing Machine is the first example of a finite state machine. Data entering as a string of symbols (1 or 0) are encoded as absent or present.  
Instructions: If no mark = (state 1) enter mark, move to square on left = (state 2); if there is a mark move to square on the right and remain in state 2.  
Instructions: If no mark = (state 1) enter mark, move to square on left = (state 2); if there is a mark move to square on the right and remain in state 2.  
The tape serves as a memory. Turing's thesis was that “every computation expressible as an algorithm, or every determinate procedure in a formal system, has its equivalent in a universal computing machine (aka Universal Turing Machine)” <ref> John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008 p.70</ref>
The tape serves as a memory. Turing's thesis was that “every computation expressible as an algorithm, or every determinate procedure in a formal system, has its equivalent in a universal computing machine (aka Universal Turing Machine)” <ref> John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008 p.70</ref>
To return directly to Lacan and Seminar II, this universality makes it a new kind of machine which is defined by a logic or function rather than a material structure.
To return directly to Lacan and Seminar II, this universality makes it a new kind of machine which is defined by a logic or function rather than a material structure.
 
<br>
This, Lacan suggests, is a characteristic which such machines and humans share. But humans also have access to the imaginary-symbolic] a logical form which is given equivalence in a set of algorithms.  
This, Lacan suggests, is a characteristic which such machines and humans share. But humans also have access to the imaginary-symbolic] a logical form which is given equivalence in a set of algorithms. A number of machines, from ENIAC (1946) to UNIVAC (1946) were automated, self-regulating arbitrary symbols combine to rules of composition – syntax, to produce more complex operations. Johnston: "This behaviour is used to physically instantiate a symbol system with its own independent rules or syntax." <ref> John Johnston, ''The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI'', MIT, 2008 p.71</ref> In this way thinking machines automating the “laws of thought” unlike any previous machine.  
< > Such machines can be made of many things. Johnston: "This behaviour is used to physically instantiate a symbol system with its own independent rules or syntax." <ref> John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008 p.71</ref> A number of machines, from ENIAC (1946) to UNIVAC (1946) were automated, self-regulating arbitrary symbols combine to rules of composition – syntax, to produce more complex operations. In this way thinking machines automating the “laws of thought” unlike any previous machine.  


[[Category:Parallel Text]]
[[Category:Parallel Text]]

Revision as of 12:28, 20 November 2020

UNIVERSAL TURING MACHINE



ANNOTATION |...| John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008 pp.70-73

Turing's 1936 paper on the Universal Machine was instrumental in arriving at a new understanding of a real-abstract machine. The Turing Machine: comprises three parts 1) a reading/writing "head"
2) an infinitely long "tape" divided into squares which pass along the head
3) a table of instructions (state transition table) which would tell the head what to do in relation to the machine's state. It would ask: is the mark absent or present on the tape? Depending on the outcome the machine encounters, it would
a) enter a mark
b) erase a mark
c) leave the square blank [1]
The Turing Machine is the first example of a finite state machine. Data entering as a string of symbols (1 or 0) are encoded as absent or present. Instructions: If no mark = (state 1) enter mark, move to square on left = (state 2); if there is a mark move to square on the right and remain in state 2. The tape serves as a memory. Turing's thesis was that “every computation expressible as an algorithm, or every determinate procedure in a formal system, has its equivalent in a universal computing machine (aka Universal Turing Machine)” [2] To return directly to Lacan and Seminar II, this universality makes it a new kind of machine which is defined by a logic or function rather than a material structure.
This, Lacan suggests, is a characteristic which such machines and humans share. But humans also have access to the imaginary-symbolic] a logical form which is given equivalence in a set of algorithms. A number of machines, from ENIAC (1946) to UNIVAC (1946) were automated, self-regulating arbitrary symbols combine to rules of composition – syntax, to produce more complex operations. Johnston: "This behaviour is used to physically instantiate a symbol system with its own independent rules or syntax." [3] In this way thinking machines automating the “laws of thought” unlike any previous machine.

  1. John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008 p.70
  2. John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008 p.70
  3. John Johnston, The Allure of Machinic Life: Cybernetics, Artificial Life, and the New AI, MIT, 2008 p.71