toinewx

↗ HN profile [ 80.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Messenger.abeto.co (messenger.abeto.co)
  2. I'm starting the first volume. Right at the start, Knuth introduces Induction Mathematical Proof, and more specifically tries to show that we can describe it as an `algorithm mathematical proof`. I showed it to a friend…