Three Proofs that the Square Root of 2 Is Irrational

01/02/2021
by   , et al.
0

This short article gives three proofs that √ 2 is irrational. The article is written in an expository tutorial format and the background information is provided in brief. The first proof is a simple proof by contradiction and the second and third proofs use field theory from abstract algebra. All three topics are developed and explained. For more details, please refer to this course at Clemson University.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/27/2010

Proofs, proofs, proofs, and proofs

In logic there is a clear concept of what constitutes a proof and what n...
research
07/26/2022

Teaching Simple Constructive Proofs with Haskell Programs

In recent years we have explored using Haskell alongside a traditional m...
research
01/19/2022

Incoherent coherences

This article explores a generic framework of well-typed and well-scoped ...
research
07/06/2021

Alethe: Towards a Generic SMT Proof Format (extended abstract)

The first iteration of the proof format used by the SMT solver veriT was...
research
11/10/2022

Translating proofs from an impredicative type system to a predicative one

As the development of formal proofs is a time-consuming task, it is impo...
research
08/29/2023

Sharing proofs with predicative theories through universe polymorphic elaboration

As the development of formal proofs is a time-consuming task, it is impo...
research
07/27/2018

Limits with Signed Digit Streams

We work with the signed digit representation of abstract real numbers, w...

Please sign up or login with your details

Forgot password? Click here to reset