A proof of the irrationality of Sqrt[p]

Autoren Markus Rosenkranz
Tudor Jebelean
Bruno Buchberger
TitelA proof of the irrationality of Sqrt[p]
TypTechnischer Bericht
NummerSCCH-TR-0172
OrtHagenberg, Austria
InstitutionSCCH
Jahr2001
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.