IMPS William M. Farmer 2006 Abstract This chapter presents a proof in IMPS of the irrationality of the square root of a natural number that is not a perfect square. The irrationality of the square root of 2 is then proved as a corollary of this theorem.