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

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

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