The proof that √2 is indeed irrational is usually found in college level math texts, but it isn't that difficult to follow. It does not rely on computers at all, but instead is a "proof by contradiction": if √2 WERE a rational number, we'd get a contradiction.