Remark on fundamental groups and effective Diophantine methods for hyperbolic curves
We discuss how non-commutative fundamental groups could eventually contribute to algorithms for finding rational points on hyperbolic curves.