3 ms·
> It is an interesting pedagogical question in my mind whether there is a way to introduce proofs and the language of mature mathematics in a way that stays wit
by Dewie 13y ago
> It is an interesting pedagogical question in my mind whether there is a way to introduce proofs and the language of mature mathematics in a way that stays within a stone’s throw of computer programs. It seems like a worthwhile effort, but I can’t think of anyone who has sought to replace a classical mathematics education entirely with one based on computation.
...Curry–Howard correspondence?
- j2kun 13y agoIs quite a large stone's throw away from both computer science and standard mathematical proofs.