Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth...
-
date post
21-Dec-2015 -
Category
Documents
-
view
221 -
download
0
Transcript of Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth...
![Page 1: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/1.jpg)
Truth and How to See It
CS-113
Gene Itkis
![Page 2: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/2.jpg)
• Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d?
The Truth
![Page 3: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/3.jpg)
Truth
• Truth - αλήθεια (alethia)
– Un-hiddenness, un-concealness
• Proof: “uncovering the truth”,
“making truth self-evident” ?
![Page 4: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/4.jpg)
Creation (almost) ex nihilo
Hmm…
11
10
1
1
10
10
10
11
1
10/111
![Page 5: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/5.jpg)
On What You See
Tiger
Trust not thine eyes!
When on lion’s cage you see a sign “Tiger” –
![Page 6: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/6.jpg)
As long as it is done
right !
![Page 7: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/7.jpg)
CS as problem solving
• What is the most famous/grand question answered by a computer:
– The Great Question of Life, the Universe and Everything
![Page 8: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/8.jpg)
Universal algorithm (ISO)
• Input the PROBLEM
• Solve the PROBLEM
• Output the ANSWER
![Page 9: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/9.jpg)
The Universe
• U={ “objects” }
• Popular (Sub-)Universes:– Integers: I ={0,1,-1,2,…};
– Natural numbers: N ={1,2,…};
– Rationals: Q ={a/b : aI, bN };
– Reals: R
![Page 10: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/10.jpg)
Computers are dumb!
• People are nice:– Understanding
• will try to understand what you really meant
• fill in some gaps
• identify and correct some of your mistakes
– Forgiving• provide some error-correction
• Computers are not:– “do what I mean not what I say” never works– your mistake is its command
![Page 11: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/11.jpg)
Conclusion
• Must be extra precise in what you say
• Must prove that what you say is correct
• Must build in your own error-detection
and error-correction
(if/when things do go wrong – e.g., when
assumptions turn out to be false)
![Page 12: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/12.jpg)
Everything
• Quantifiers:– Universal: = “for every”, “for all”
a,bN . a+b N – Existential: = “for some”, “there exists”
aN bN . a·b=1
– FALSE
a≠0Q bQ . a·b=1
– TRUE
![Page 13: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/13.jpg)
AND (2b2b)
: or , e.g. x,S . (xS) (xS) : and, e.g. aN bN . a·b=b b/a=b• : negation, e.g. claim C . C C
: set union, e.g. {1,2,3}{2,4}={1,2,3,4}– AB={x: xA xB}
: set intersection, e.g. {1,2,3}{2,4}={2}– A B={x: xA xB}
: (proper) subset, e.g. {2}{2,4} : subset or equal, e.g. set S . (S S) ( S)
![Page 14: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/14.jpg)
Implications
: implies, A B
– (“A implies B” or “if A then B”)
– “A B” = “A B”
• E.g. if pigs can fly then …
![Page 15: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/15.jpg)
Circuits
00
1
Input
1
1 0
Output
![Page 16: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/16.jpg)
Universal Gate: NAND
a = a NAND 1• a b = ( a NAND b )
= 1 NAND (a NAND b)• a b = … homework
Any Boolean function (truth table) can be expressed in terms of a circuit of AND (), OR () and NOT () gates it can also be expressed using only NAND gates
NAND
![Page 17: Truth and How to See It CS-113 Gene Itkis. Do you solemnly swear to tell the truth, the whole truth and nothing but the truth, so help you G*d? The Truth.](https://reader035.fdocuments.net/reader035/viewer/2022062516/56649d565503460f94a33838/html5/thumbnails/17.jpg)
XOR : Exclusive OR
: Exclusive OR (a or b but not both) also a b= (a+b mod 2) 0 0 = 1 1 = 0 1 0 = 0 1 = 1
a = a 1a b = …homeworka b = … homework