I noticed that you use the spelling "contraposative" consistently. I'd only known this as "contrapositive", and Wiktionary agrees: https://en.wiktionary.org/wiki/contrapositive . But I find lots of web hits for "contraposative", so I suspect it's more than just a common typo. Did you learn this specific form from some specific source that contrasted the two?
Yeah this is true, I suppose I sort of swipe it under the rug in the post. Another way to say it is:
If the art is Tolstoyan, then we have that it is valid to be used in the ZKP.
This seems like an intentionally reductive view on mathematics, however it is true it can be taught like so.
If you are interested, perhaps check out 3Blue1Brown on youtube, they manage to show some of the (very) real beauty in mathematics!
Edit: Also, theoretical computer science is a subset of mathematics, and considering where we are on the internet, I get the feeling you like computer science.
If you want a written resource I have a blog post about the mathematics behind building a feed forward from scratch, https://max-amb.github.io/blog/the_maths_behind_the_mlp/. Kinda focuses on translation from individual components to matrix operations.
I personally found the text hard to read (both because of the typeface and the small size), the animations distracting during scrolling (while I'm trying to skim the content), and the background colors too dark for dark text on them with jarring full white (#FFF) colored text.
I understand they're trying to go for a whimsical and fun feeling, but imo as implemented it is far from "really well made".
I just found reading it fun, but I didn't skim it so I can imagine its a bit much when skimming, I am not much of a designer. I like the style of whimsy, but I think its just a matter of preference.