MACM 101 Lecture 22: Lecture 22

16 views5 pages
13 Aug 2016
Department
Course
Professor
Archimedes has a stack of books in his library. He has numbered the bottommost book with '1', the next book with
'2', and so on.
In terms of logic, we let q(x, y): Book number x is on top of book number y.
And observe the Rule of Archimedes Library
Which numbered books are in the stack?
In order to prove the implication in formal terms, we need one more principle:
The Well Ordering Principle
Every non-empty subset of positive integers has a smallest element
Proof (by contradiction):
This means that there exists a nonempty set
Lecture 22
March 4, 2016
10:30 AM
Lecture Notes Page 1
Unlock document

This preview shows pages 1-2 of the document.
Unlock all 5 pages and 3 million more documents.

Already have an account? Log in
Lecture Notes Page 2
Unlock document

This preview shows pages 1-2 of the document.
Unlock all 5 pages and 3 million more documents.

Already have an account? Log in

Get access

Grade+
$10 USD/m
Billed $120 USD annually
Homework Help
Class Notes
Textbook Notes
40 Verified Answers
Study Guides
1 Booster Class
Class+
$8 USD/m
Billed $96 USD annually
Homework Help
Class Notes
Textbook Notes
30 Verified Answers
Study Guides
1 Booster Class