 A useful property of algebraic numbers is that equality between two algebraic expressions can be determined algorithmically.The conjecture of Kontsevich and Zagier would imply that equality of periods is also decidable