http://www.noncommutative.org/index.php/prime-number-theorem-an-example-of-why-polynomials-are-much-easier-than-numbers.html
http://mathoverflow.net/questions/9984/what-does-faltings-theorem-look-like-over-function-fields
Goss’ fondest hope: http://noncommutativegeometry.blogspot.com/2012/10/carlitzs-formalism-and-eulers-gamma.html
nLab page on Function fields analogy