Bibliographic Details
| 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 |
