Before revision: Penrose also argued against Minsky stating that mistakes human mathematicians make are irrelevant because they are correctable (like real computer programs) , while logical truths are “unassailable truths” to persons, wich are the outputs of a sound system and the only ones that matter .
After revision: Penrose also argued against Minsky stating that mistakes human mathematicians make are irrelevant because they are correctable , while logical truths are “unassailable truths” to persons, wich are the outputs of a sound system and the only ones that matter .