The situation of Buridan's ass was given a mathematical basis in a 1984 paper by American computer scientist Leslie Lamport, in which Lamport presents an argument that, given certain assumptions about continuity in a simple mathematical model of the Buridan's ass problem, there will always be some starting conditions under which the ass will starve to death, no matter what strategy it takes.
Lamport signature – The Lamport one-time signature scheme is a method for constructing a digital signature.
Leslie Charteris | Leslie Grantham | Leslie Nielsen | Leslie Uggams | Leslie Phillips | Leslie Howard | Leslie West | Leslie Stuart | Leslie Howard (actor) | Leslie | Frank Leslie | Leslie Groves | Leslie Frost | Leslie Cheung | Leslie Marmon Silko | Leslie Fiedler | Leslie Ash | Lisa Leslie | Leslie Stephen | Leslie Caron | Leslie Bibb | Charles Robert Leslie | Leslie Van Gelder | Leslie speaker | Leslie Norris | Leslie Knope | Leslie Halliwell | Leslie Fuller | Leslie Bradley | Walter Leslie Wilmshurst |
In 1985, Patashnik created the bibliography-system, BibTeX, in collaboration with Leslie Lamport, the creator of LaTeX.