Patrick Dehornoy

At the interface of Mathematics, Computer Science, and Philosophy, Set Theory is both a fascinating subject and the victim of several misunderstandings: after the great successes in the first half of the XXth century, Set Theory was (mistakenly)...

Discovered (or invented?) by Richard Laver in the 1990s, the tables that are now known as Laver tables are finite structures obeying the self-distributivity law x(yz)=(xy)(xz). Although their construction is totally explicit, some of their...