BCK GAME

"LOGICAL" GAMES BETWEEN ELOISE AND ABELARD: A JAVA IMPLEMENTATION

WELCOME!

This site proposes a game for mathematical proofs' interpretation.
In fact we want to explain how BCK GAME can be used to "implement" some statements as learning algorithms. This game represents a debate between two "imaginary" players: Eloise and Abelard. We have realized five levels : you can choose one of them and play!