alt Hacker NewsThat was terrible phrasing. I meant "The problem with the proof was that although it showed that FCT was true, the proof did not explain why".
Replies
dunham • yesterday at 10:01 PM
Yeah. On a similar note, without the computer aspect, I once had a prof tell me that he did not like character theory. If I remember right, there you calculate some numbers from a group and can prove some properties about it. But you gain no understanding of why those properties hold.
> the proof did not explain why
So humans do/did still have a role to play