Philip K. Hooper. The undecidability of the Turing machine immortality problem. The journal of symbolic logic, vol. 31 (1966), pp. 219–234.

1971 ◽  
Vol 36 (1) ◽  
pp. 150-150
Author(s):  
Gabor T. Herman
2021 ◽  
pp. 026327642110485
Author(s):  
Luciana Parisi

What is algorithmic thought? It is not possible to address this question without first reflecting on how the Universal Turing Machine transformed symbolic logic and brought to a halt the universality of mathematical formalism and the biocentric speciation of thought. The article draws on Sylvia Wynter’s discussion of the sociogenic principle to argue that both neurocognitive and formal models of automated cognition constitute the epistemological explanations of the origin of the human and of human sapience. Wynter’s argument will be related to Gilbert Simondon’s reflections on ‘technical mentality’ to consider how socio-techno-genic assemblages can challenge the biocentricism and the formalism of modern epistemology. This article turns to ludic logic as one possible example of techno-semiotic languages as a speculative overturning of sociogenic programming. Algorithmic rules become technique-signs coinciding not with classic formalism but with interactive localities without re-originating the universality of colonial and patriarchal cosmogony.


2016 ◽  
Vol 21 (97) ◽  
pp. 87-91
Author(s):  
Victor A. Krisilov ◽  
◽  
Gleb E. Romanov ◽  
Nikolaj I. Sinegub ◽  
◽  
...  
Keyword(s):  

1989 ◽  
Author(s):  
Constantine Tsikos ◽  
Tom Chmielewski ◽  
Brian Frederick

2020 ◽  
Vol 29 (1) ◽  
pp. 1-44
Author(s):  
Alex Smith ◽  
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document