3 ms·
The question was whether there are statements provable by humans but not computers, which is either trivially impossible or guaranteed, depending on whether you
by lonelappde 7y ago
The question was whether there are statements provable by humans but not computers, which is either trivially impossible or guaranteed, depending on whether you allow the computer to use the same axioms as the people.
- dooglius 7y agoIt depends on how you interpret it, I interpreted it as asking if there are provable statements that can't be "computed" directly.
- vanderZwan 7y agoUh... well... can I claim the "sorry, not a mathematician so my reasoning about these matters is quite sloppy, relatively speaking"-defense? (The responses here have been very nice despite that though, thank you everyone!)