moving the abstract nonsense to warp

the obj of these started as general study of abstract algebra, but has evolved into foundations of zk

first up is set theory

moving the abstract nonsense to warp

the obj of these started as general study of abstract algebra, but has evolved into foundations of zk

first up is set theory

https://substack.com/home/post/p-145043277?r=1qyfrf&utm_campaign=post&utm_medium=web

next up, group theory

group theory formalizes basic algebraic structures over sets. it's very non-concrete by design, it creates a foundation for black boxing each component of zk, then incrementally learning each

order theory

the notion of ordering elements of a set is simple in practice, but its formalization is key in higher fields of mathematics

it also equips programming languages with the binary relations we use in our conditionals and loops

order theory

the notion of ordering elements of a set is simple in practice, but its formalization is key in higher fields of mathematics

it also equips programming languages with the binary relations we use in our conditionals and loops

https://jtriley.substack.com/p/order-theory-speedrun

next up, group theory

group theory formalizes basic algebraic structures over sets. it's very non-concrete by design, it creates a foundation for black boxing each component of zk, then incrementally learning each

https://jtriley.substack.com/p/group-theory-speedrun

23. Co-founder of @beliefs (beliefs.social). Collaborator at /frogfm.

ahh, good idea. original notes came from a jupyter notebook, so it comes off a bit odd for substack

Nice, speedran it literally.
Would be helpful to remind the contents of a set in explanations (Set A mostly), so that reader doesn’t scroll back to definition.