A proof of the irrationality of Sqrt[p]

M. Rosenkranz, T. Jebelean, B. Buchberger. A proof of the irrationality of Sqrt[p]. number SCCH-TR-0172, 2001.

  • Markus Rosenkranz
  • Tudor Jebelean
  • Bruno Buchberger
TypTechnischer Bericht
Abstract The well-known Theorem that Sqrt[p] is an irrational number for any prime p is proved with respect to a medium-sized knowledge base in a natural-deduction calculus, using the current predicate prover of Theorema.