Mathematical arguments

There are various attempts to apply Godel’s incompleteness results to prove that men can do more than machines. Actually, related theorems about abstract machines deal more directly with the limitations of mechanical procedures.