| ▲ | fhdkweig 2 hours ago | |
That 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". | ||
| ▲ | keybrd-intrrpt 22 minutes ago | parent | next [-] | |
> the proof did not explain why So humans do/did still have a role to play | ||
| ▲ | dunham an hour ago | parent | prev [-] | |
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. | ||