|
|
|
|
|
|
by 4rgento
2949 days ago
|
|
|
Obligatory mention to `coq` and `Software foundations`(SF). `coq` is an amazing piece of software. SF makes you start prooving thing right from chapter one. Learn mathematics by doing. After going through the chapters of Logic Foundations I'm able to see the patterns in most mathematicals proof I come by. Must read book if you want to acquire mathematical superpowers. Coq tells you when you are wrong, but it doesn't provide you the solution either. So you have to work it up for yourself. The satisfaction of finding a proof and knowing it is right is hard to match( this is known as the video-game-effect). You'll even be able to spot slopy proof in text books. [0]https://softwarefoundations.cis.upenn.edu/ |
|
|