A proof of the irrationality of Sqrt[p]

Authors Markus Rosenkranz
Tudor Jebelean
Bruno Buchberger
Title A proof of the irrationality of Sqrt[p]
Type techreport
Number SCCH-TR-0172
Address Hagenberg, Austria
Institution SCCH
Year 2001
SCCH ID# 172
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.