connerbrooks

↗ HN profile [ 35.2 ms ] full profile

Karma: 3
Created: November 15, 2013 (12y ago)
Submissions: 0

I think this may be the proof. Start by assuming that the predictor is a decider P for a computational model of a human M in a situation encoded by w. We can then construct a Turing Machine S that decides A_TM. S <M, w>…

11y ago · view thread · ↗