so we should build machines to tell the truth quicker and then verify the machines told the truth by using methods that do not include using machines... when machines are built to determine the truth but cannot be trusted to do so - it's (more or less) a negative sum game.
reply