Re: [isabelle] Proving Contests

Just to point out that Contests using Isabelle do not need to be restricted
to mathematics: they can be about any subject, e.g, chemistry, physics,
biology, and even philosophy. The only requirement is to use axioms. The
fact that the solutions can be automatically checked allow massive
participation from several countries via email. Internet is a new paradigm
for Contests.

A similar massive educational-scientific project are the games about
quantum mechanics, in order to develop the quantum intuition in people
which are not quantum physicists :

José M.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.