A proof of the irrationality of Sqrt[p]

Autoren Markus Rosenkranz
Tudor Jebelean
Bruno Buchberger
Titel A proof of the irrationality of Sqrt[p]
Typ Technischer Bericht
Nummer SCCH-TR-0172
Ort Hagenberg, Austria
Institution SCCH
Jahr 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.