3 ms·
Ask HN: Math subfields important to become a distributed systems researcher?
Hi,
I intend to start a master's degree in distributed systems(more specifically in permissionless distributed ledgers scalability) and would like to know which math subfields are important to develop meaningful work in this field.
- agentultra 7y agoLogic, predicate calculus, and temporal logic for a start.
- Digg_mov 7y agook
- iwakuralain 7y agoIt may surprise you, but you might consider algebraic topology. See Maurice Herlihy's marvellous little book, Distributed Computing through Combinatorial Topology. The idea is that the state of a distributed computation can be represented as a simplicial complex (think "graph" only in higher dimensions), and that steps in a protocol correspond to continuous transformations applied to the complex. The result is that significant distributed computing problems get reduced to well-known results from combinatorial topology, and they "just fall out".