Space, Mechanism and Interactability

The space used to encode a problem and the machine (mechanism) used for solving it cannot transform an interactable problem to a tractable one.

Instead, interactability may have its most important relationship to the logical form (or description) of the problem.

This hypothesis suggests itself when one examines the description of recursively enumerable sets and the computing levels in the arithmetical hierarcy. (See Chapter 4 of Robert I. Soare's Recursively Enumerable Sets and Degrees.)

, .

Comments:

Post a Comment:
  • HTML Syntax: NOT allowed
About

MortazaviBlog

Search

Archives
« July 2014
SunMonTueWedThuFriSat
  
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
  
       
Today