> Coding a real project is the equivalent to math's proofs, I think. Surprisingl... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		zaik on Oct 25, 2021 \| parent \| context \| favorite \| on: How to learn mathematics: the asterisk method > Coding a real project is the equivalent to math's proofs, I think. Surprisingly, this turns out to be true: https://en.m.wikipedia.org/wiki/Curry%E2%80%93Howard_corresp...

k__ on Oct 25, 2021 [–]

Now, how can I use this fact, to finally become a decent math user? :D

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact