This note is based on my talk An Expedition to the World of -adic Numbers at Carnegie Mellon University on January 15, 2014. Construction from Cauchy Sequences A standard approach to construct the real numbers from the rational numbers is a procedure called completion, which forces all Cauchy sequences in a metric space by adding… Continue reading On Extension of Rationals