|
|
|
|
|
|
by kalkut
3019 days ago
|
|
|
It is cool to see that expressing mathematical proofs with programming concepts/tool/languages is that efficient. I already was taught the Cantor proof but I feel more confident in my ability to explain this variation to a co-worker with no maths background. Non-CS maths are too rarely taught the CS way. |
|
|