Why Computers Will Likely Never Perform Abductive Inferences