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 |
| 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. |