i haven't actually thought about the math of it, and i kinda don't understand normal math notation i'm used to thinking about functions in code form
as i understand it, web of trust is about some kind of hamming distance type thing between nodes in a graph, and you sum all of the interlinking paths by an exponentially decaying weight - ie, the value for close nodes falls off exponentially after several
so i guess, thinking that through, that he is using an inverse square weighting, against the sum of all the paths between two users based on their follows
this is only one part of it too, i think that you can also add weight by the number and frequency of replies from one user to another to evaluate more than just the simple proximity, to actually how the path is evaluated by each party in the graph