Commentary on Bringsjord on P = NP.
Saved in:
| Title: | Commentary on Bringsjord on P = NP. |
|---|---|
| Source: | Minds & Machines. Dec2017, Vol. 27 Issue 4, p673-678. 6p. |
| Subjects: | Physical cosmology, Problem solving methodology, Physical networks (Polymers), Digital computer simulation, Turing machines |
| Abstract: | The article presents an argument that the existence of a physical process that can solve a problem in a polynomial number of macroscopic steps does not entail the existence of a Turing machine, physical or abstract, that can solve the same problem in a polynomial number of read/write tape moves, even if we grant digital physics. The argument is supported by Barcan Formula. |
| Database: | Engineering Source |
Be the first to leave a comment!
