3 ms·
Are we really sure that humans aren't brute force searching for proofs, through a combination of subconscious processing and network effects (i.e. many people w
by smaddox 4y ago
Are we really sure that humans aren't brute force searching for proofs, through a combination of subconscious processing and network effects (i.e. many people working on the same problem and only some of them happen on to the correct path)?
- zozbot234 4y agoGowers seems to be arguing that brute-force-searching for proofs at the highest levels of abstraction might be okay, so long as the proofs themselves don't use brute force, even indirectly. (This means that a proof step such as: "pick n=42 and the proof goes through. QED." would somehow have to be disallowed.)