Maths Programs are limited by Godel Penrose believes that any artificial mathematician would be limited by Godel's theorem. However, his reasoning is unsound. A machine modelled on the way a human mathematician thinks would have similar abilities to a human.

Penrose believes that any artificial mathematician would be limited by Godel's theorem. However, his reasoning is unsound. A machine modelled on the way a human mathematician thinks would have similar abilities to a human.