one of them is for parallel data, the other is for serial data. the first is not parallellizable, the second is fully parallelizable
somehow found this book when looking up the monster group https://archive.org/details/gdelsproof00nage/page/n133/mode/2up "Godel's Proof" by Ernest Nagel
https://en.wikipedia.org/wiki/Ernest_Nagel
it's kind of fascist but it's very compelling i couldn't stop reading
