IST 4 Information and Logic
|
|
- Peregrine Dawson
- 5 years ago
- Views:
Transcription
1 IST 4 Information and Logic
2 HW2 will be returned today Average is 53/6~=88%
3 T = today x= hw#x out x= hw#x due mon tue wed thr fri 3 M 6 oh M oh 3 oh oh 2M2M 2 oh oh 2 Mx= MQx out 27 oh M2 oh oh = office hours 4 3 oh 3 4 T oh oh midterms oh Mx= MQx due 8 oh oh oh 5 oh oh oh
4 MQ2 Memory Due today by pm Please PDF lastname-firstname.pdf to
5 Languages evolution
6 Building Blocks Separation finite number of building blocks infinitely many descriptions Separation A Separation B between syntax and between what is represented semantics and reality, feasibility, time, space,... Separation C between algorithms and implementation
7 The appearance of life is the first Information Megamorphosis DNA ~3.7 Billion ya The appearance of the human brain is the second Information Megamorphosis Spoken languages g ~6Kya
8 Babylonians Written languages ~5,ya The language of numbers positional number systems mathematics
9 Formal languages Greeks ~2,5ya Pythagoras BC Axioms Theorems Euclid,3BC Proofs
10 Formal languages Greeks Logic ~2,5ya Aristotle BC Syllogism Inference... our logical sense is 3 People that are wise are Babylonians Leibniz was wise Leibniz was a Babylonian
11 Algorizms Algorizmi 78-85AD ~ya Fibonacci 7-25AD Algorizms for everything!! Gottfried Leibniz ~3ya
12 Formal languages g for ideas Gottfried Leibniz Let us calculate l without t further ado, to see who is right" Let s Google it!! Let s Leibniz it!!
13 Algorizms and syntax boxes Gottfried Leibniz instead of progression by tens, I have for many years used the most simple of all, which goes by two...
14 The Binary Gottfried Leibniz d d2 majority c 2 symbol adder c a b m s parity
15 Gottfried Leibniz we need a language for logic... We need a language for syntax boxes...
16 ~2 years after Aristotle... George Boole Calculus for logic and for Syntax boxes... Boole was a Babylonian...
17 Boolean Algebra Huntington 94; concise set of axioms Edward Huntington April 26, Undergrad and Masters at Harvard PhD at the U of Strasbourg, Germany (9) Professor at Harvard until 94 Huntington was a Greek...
18 The Algebra (Boolean Calculus) Algebraic system: set of elements B, two binary operations + and B has at least two elements ( and ) If the following axioms are true then it is a Boolean Algebra: A. identity A2. complement A3. commutative A4. distributive
19 Properties of an Axiomatic System consistent No contradictions in the math theory complete Every true statement in the math theory can be derived d using the axioms independent d No redundancy d in the set of axioms
20 Complete: Every true statement in the math theory can be derived using the axioms Theorems and Algorizms Can we prove / compute EVERYTHING?
21 Consistent: No contradictions in the math theory Complete: Every true statement in the math theory can be derived using the axioms Kurt Gödel April 28, : For any axiomatic system that is powerful enough to describe the arithmetic of the natural numbers: If the system is consistent, it cannot be complete In a consistent system there are statements that are not provable... The key: represent the axiomatic system using numbers, a proof is a calculation algorizm...
22 Will be posted on the class web site Kurt Gödel April 28, Olga Taussky-Todd Caltech professor starting 957
23 A simple example Can we prove / compute EVERYTHING?
24 6, 3,, 5, 6, 8, 4, 2,, 34, 7, 52, 26, 3, 4, 2,, 5, 6, 8, 4, 2, Source: wikipedia
25 Does it always reach? 6, 3,, 5, 6, 8, 4, 2,, 34, 7, 52, 26, 3, 4, 2,, 5, 6, 8, 4, 2, n even n odd Source: wikipedia
26 Does it always reach? Which number in -5 has the longest sequence to reach? 9, 28, 4, 7, 22,, 34, 7, 52, 26, 3, 4, 2,, 5, 6, 8, 4, 2, The number 9, a sequence with 2 numbers Source: wikipedia
27 Lothar Collatz 9-99 The Collatz conjecture (937): For every starting ti value m, the sequence always reaches Empirical evidence: Verified up to some large number: True False Prove that it is impossible to decide if the conjecture true or false
28 Lothar Collatz 9-99 The Collatz conjecture (937): For every starting ti value m, the sequence always reaches A generalization:
29 The Collatz conjecture (937): For every starting value m, the sequence always reaches It is likely undecidable... Open problem... This generalization is undecidable, J. Conway, 972 Undecidable: Given a number n, there is no algorithm that can decide if the Collatz sequence reaches (Collatz conjecture) We can prove that it is impossible to decide if true or false
30 Euclid,3BC There are theorems that cannot be proved Algorizmi 78-85AD There are problems that cannot be solved by an algorizm
31 consistent No contradictions complete Every true statement can be derived using the axioms independent No redundancy in the set of axioms
32 Boolean Algebra Proving theorems If you would not see a giraffe you will not believe it exists
33 If I satisfy the axioms then I am a GIRAFFE You do not need to see it to believe it exists!
34 Boolean Algebra - algebra You can see this one
35 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND xy OR(x,y) xy AND(x,y) iff both x and y are iff both x and y are Is it a Boolean Algebra?
36 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND The following axioms are obviously true:??? A. identity A2. complement A3. commutative A4. distributive
37 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND A. identity a + = a a x = a xy OR(x,y) xy AND(x,y)
38 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND A. identity a + = a a x = a xy OR(x,y) + = + = xy AND(x,y)
39 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND A. identity a + = a a x = a xy OR(x,y) x = x = xy AND(x,y)
40 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND A2. complement a + a = a x a = xy OR(x,y) xy AND(x,y)
41 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND A2. complement a + a = a x a = + = x = + = x = xy OR(x,y) xy AND(x,y) a complement of a complement of
42 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND A3. commutative ti a + b = b + a a x b = b x a xy OR(x,y) xy AND(x,y)
43 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND A3. commutative ti a + b = b + a a x b = b x a xy OR(x,y) + = + + = + x = x x = x + = + x = x + = + x = x xy AND(x,y)
44 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND A4. distributive a + (b x c) = (a + b) x (a + c) a x (b + c) = (a x b) + (a x c) xy OR(x,y) xy AND(x,y)
45 Two-valued Boolean Algebra Boolean Algebra: set of elements B={,}, two binary operations OR and AND A4. distributive a + (b x c) = (a + b) x (a + c) + ( x ) = ( + ) x ( + ) xy OR(x,y) + ( x ) = ( + ) x ( + ) We can check all the cases... xy AND(x,y)
46 Now, to our Boolean
47 Self Absorption ME-MYSELF&I Lemma : Proof: Two-valued Boolean Algebra: set of elements B={,}, two binary operations OR and AND xy OR(x,y) Is the lemma true? xy AND(x,y)
48 Self Absorption ME-MYSELF&I Lemma : Proof: A A2 A4 A2 A Q
49 Self Absorption ME-MYSELF&I Lemma : Proof: We only proved that Need to prove Ideas?
50 Boolean Algebra Duality
51 Duality Theorem : Theorem : Any identity that is true in a Boolean algebra, is also true if + and are interchanged, and and are interchanged.
52 ME-MYSELF&I Lemma : Proof: if + and. are interchanged,, and and are interchanged A A2 A4 A2 A
53 Duality Theorem : Any identity that is true in a Boolean algebra, is also true if + and are interchanged, and and are interchanged. Proof:????
54 Theorem : Any identity that is true algebra, is also true if + and. are interchanged, and and are interchanged. It is a syntax machine: It is true for the axioms!
55 Back to the Axioms Q: Is the complement unique / well defined?
56 Boolean Algebra One way to say NO
57 One Way to Say No! Theorem : Each element of a Boolean Algebra has exactly one complement. Proof: Warm-up: First we will prove that an element is not self-complement m Assume that: By Lemma :?? However by A2:
58 One Way to Say No! Theorem : Each element of a Boolean Algebra has exactly one complement. Proof: Warm-up: First we will prove that an element is not self-complement m Assume that: By duality: By Lemma : However by A2: Contradiction! and are distinct Q
59 One Way to Say No! Theorem : Each element of a Boolean Algebra has exactly one complement. Proof: We proved that an element is not self-complement Next will prove that the complement is unique
60 One Way to Say No! Proof: Need to prove that the complement m is unique By contradiction: Assume an element has two distinct complements A A2 A4 A3 A2
61 One Way to Say No! Proof: Need to prove that the complement m is unique By contradiction: Assume an element has two distinct complements A A2 A4 A3 A2 A4 A2 A
62 One Way to Say No! Proof: Need to prove that the complement m is unique By contradiction: Assume an element has two distinct complements A A2 A4 A3 A2 A2 A3 A4 A2 A Contradiction! Q
63 So far True for any Boolean Algebra T: duality principle T: one complement per element L: Self Absorption
64 So far True for any Boolean Algebra T: one complement m per element We also proved that an element is not self-complement Q: Is the complement of the complement the original element? True for two elements? Four elements?
65 Saying No Twice? uniqueness of complement (T) complement (T) NONO Property: Proof: Need to prove that t a is the complement of Definition of complement: A2 A3 Q
66 Boolean Algebra How many elements?
67 Is there a Boolean algebra with 3 elements? Idea: use the properties p of the complement NO!! Must have an even number of elements!? Question resolved only in
IST 4 Information and Logic
IST 4 Information and Logic mon tue wed thr fri sun T = today 3 M oh x= hw#x out oh M 7 oh oh 2 M2 oh oh x= hw#x due 24 oh oh 2 oh = office hours oh oh T M2 8 3 oh midterms oh oh Mx= MQx out 5 oh 3 4 oh
More informationIST 4 Information and Logic
IST 4 Information and Logic T = today mon tue wed thr 3 M1 oh 1 fri sun x= hw#x out 10 oh M1 17 oh oh 1 2 M2 oh oh x= hw#x due 24 oh oh 2 Mx= MQx out 1 oh M2 oh = office hours oh T 8 3 15 oh 3 4 oh oh
More informationIST 4 Information and Logic
IST 4 Information and Logic MQ1 Everyone has a gift! Due Today by 10pm Please email PDF lastname-firstname.pdf to ta4@paradise.caltech.edu HW #1 Due Tuesday, 4/14 230 2:30pm in class T = today x= hw#x
More informationIST 4 Information and Logic
IST 4 Information and Logic MQ1 Everyone has a gift! Due Today by 10pm Please email PDF lastname-firstname.pdf to ta4@paradise.caltech.edu HW #1 Due Tuesday, 4/12 2:30pm in class T = today x= hw#x out
More informationIST 4 Information and Logic
IST 4 Information and Logic MQ1 Computers outperform the human brain? Due Today by 10pm Have your name inside the file as well... Please email PDF lastname-firstname.pdf to istta4@paradise.caltech.edu
More informationIST 4 Information and Logic
IST 4 Information and Logic T = today x= hw#x out x= hw#x due mon tue wed thr fri 31 M1 1 7 oh M1 14 oh 1 oh 2M2 21 oh oh 2 oh Mx= MQx out 28 oh M2 oh oh = office hours 5 3 12 oh 3 4 oh oh T midterms oh
More informationIST 4 Information and Logic
IST 4 Information and Logic T = today x= hw#x out x= hw#x due mon tue wed thr fri 30 M1 1 6 oh M1 oh 13 oh 1 oh 2M2M 20 oh oh 2 T Mx= MQx out 27 oh M2 oh oh = office hours 4 3 11 oh 3 4 oh oh midterms
More informationIST 4 Information and Logic
IST 4 Information and Logic Lectures are at: paradise.caltech.edu/ist4/lectures.html edu/ist4/lectures html Homeworks are at: paradise.caltech.edu/ist4/homeworks.html edu/ist4/homeworks html T = today
More informationIST 4 Information and Logic
IST 4 Information and Logic Quizzes grade (6): average of top n-2 T = today x= hw#x out x= hw#x due mon tue wed thr fri 1 M1 oh 1 8 oh M1 15 oh 1 T 2 oh M2 22 oh PCP oh 2 oh sun oh 29 oh M2 oh = office
More informationIST 4 Information and Logic
IST 4 Information and Logic T = today x= hw#x out x= hw#x due mon tue wed thr fri 3 M 7 oh M 4 oh oh 2M2 2 oh oh 2 oh T Mx= MQx out 28 oh M2 oh oh = office hours 5 3 2 oh 3 4 oh oh midterms oh Mx= MQx
More informationIST 4 Information and Logic
IST 4 Information and Logic mon tue wed thr fri sun T = today 3 M oh x= hw#x out 0 oh M 7 oh oh 2 M2 oh oh x= hw#x due 24 oh oh 2 oh = office hours oh oh M2 8 3 oh midterms oh oh Mx= MQx out 5 oh 3 4 oh
More informationCNS 188a Computation Theory and Neural Systems. Monday and Wednesday 1:30-3:00 Moore 080
CNS 88a Computation Theory and Neural Systems Monday and Wednesday :30-3:00 Moore 080 Lecturer: Shuki Bruck; 33 Moore office hours: Mon, Wed, 3-4pm TAs: Vincent Bohossian, Matt Cook; 3 Moore office hours:
More informationIST 4 Information and Logic
IST 4 Information and Logic mon tue wed thr fri sun T = today 3 M oh x= hw#x out oh M 7 oh oh 2 M2 oh oh x= hw#x due 24 oh oh 2 oh = office hours oh oh M2 8 3 oh midterms oh oh Mx= MQx out 5 oh 3 4 oh
More informationIST 4 Information and Logic
IST 4 Information and Logic T = today x= hw#x out x= hw#x due mon tue wed thr fri 30 M1 1 6 oh M1 oh 13 oh 1 oh 2M2M 20 oh oh 2 Mx= MQx out 27 oh M2 h T oh = office hours oh T 4 3 11 oh 3 4 oh oh midterms
More informationIST 4 Information and Logic
IST 4 Information and Logic T = today x= hw#x out mon tue wed thr fri 31 M1 1 7 oh M1 14 oh 1 oh 2M2 oh x= hw#x due 21 oh oh 2 T Mx= MQx out 28 oh M2 oh oh = office hours 5 3 12 oh 3 4 oh oh midterms oh
More informationIST 4 Information and Logic
IST 4 Information and Logic Lectures are at: paradise.caltech.edu/ist4/lectures.html edu/ist4/lectures html Homeworks are at: paradise.caltech.edu/ist4/homeworks.html edu/ist4/homeworks html T = today
More informationIST 4 Information and Logic
IST 4 Information and Logi T = today x= hw#x out x= hw#x due mon tue wed thr fri 3 M 7 oh M 4 oh oh 2M2 2 oh oh 2 oh 28 oh M2 oh oh = offie hours 5 3 Mx= MQx out 2 oh 3 4 oh oh midterms oh Mx= MQx due
More informationIST 4 Information and Logic
IST 4 Information and Logic T = today x= hw#x out x= hw#x due mon tue wed thr fri 30 M 6 oh M oh 3 oh oh 2M2M 20 oh oh 2 27 oh M2 oh midterms Students MQ oh = office hours Mx= MQx out 4 3 oh 3 4 oh oh
More informationSelf-reproducing programs. And Introduction to logic. COS 116, Spring 2012 Adam Finkelstein
Self-reproducing programs. And Introduction to logic. COS 6, Spring 22 Adam Finkelstein Midterm One week from today in class Mar 5 Covers lectures, labs, homework, readings to date Old midterms will be
More information2. Associative Law: A binary operator * on a set S is said to be associated whenever (A*B)*C = A*(B*C) for all A,B,C S.
BOOLEAN ALGEBRA 2.1 Introduction Binary logic deals with variables that have two discrete values: 1 for TRUE and 0 for FALSE. A simple switching circuit containing active elements such as a diode and transistor
More informationFrom Greek philosophers to circuits: An introduction to boolean logic. COS 116, Spring 2011 Sanjeev Arora
From Greek philosophers to circuits: An introduction to boolean logic. COS 116, Spring 2011 Sanjeev Arora Midterm One week from today in class Mar 10 Covers lectures, labs, homework, readings to date You
More informationby Yurii Khomskii There is a weaker notion called semi-representability:
Gödel s Incompleteness Theorem by Yurii Khomskii We give three different proofs of Gödel s First Incompleteness Theorem. All three proofs are essentially variations of one another, but some people may
More informationBetter Logic Through Algebra, Probability, and. Joseph W. Norman, M.D., Ph.D. University of Michigan, Ann Arbor
Better Logic Through Algebra,, and Joseph W. Norman, M.D., Ph.D. University of Michigan, Ann Arbor Association for Symbolic Logic 2012 Madison, Wisconsin Diversity Is the Savior of Logical Truth I. There
More informationEECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits)
EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) September 5, 2002 John Wawrzynek Fall 2002 EECS150 Lec4-bool1 Page 1, 9/5 9am Outline Review of
More information03 Review of First-Order Logic
CAS 734 Winter 2014 03 Review of First-Order Logic William M. Farmer Department of Computing and Software McMaster University 18 January 2014 What is First-Order Logic? First-order logic is the study of
More informationOutline. EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) Combinational Logic (CL) Defined
EECS150 - Digital Design Lecture 4 - Boolean Algebra I (Representations of Combinational Logic Circuits) January 30, 2003 John Wawrzynek Outline Review of three representations for combinational logic:
More informationLogic Synthesis and Verification
Logic Synthesis and Verification Boolean Algebra Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 2014 1 2 Boolean Algebra Reading F. M. Brown. Boolean Reasoning:
More informationChapter 2. Boolean Algebra and Logic Gates
Chapter 2 Boolean Algebra and Logic Gates Basic Definitions A binary operator defined on a set S of elements is a rule that assigns, to each pair of elements from S, a unique element from S. The most common
More informationDecidability: Church-Turing Thesis
Decidability: Church-Turing Thesis While there are a countably infinite number of languages that are described by TMs over some alphabet Σ, there are an uncountably infinite number that are not Are there
More informationCSE 105 Theory of Computation
CSE 105 Theory of Computation http://www.jflap.org/jflaptmp/ Professor Jeanne Ferrante 1 Undecidability Today s Agenda Review and More Problems A Non-TR Language Reminders and announcements: HW 7 (Last!!)
More informationPropositional Logics and their Algebraic Equivalents
Propositional Logics and their Algebraic Equivalents Kyle Brooks April 18, 2012 Contents 1 Introduction 1 2 Formal Logic Systems 1 2.1 Consequence Relations......................... 2 3 Propositional Logic
More informationHandbook of Logic and Proof Techniques for Computer Science
Steven G. Krantz Handbook of Logic and Proof Techniques for Computer Science With 16 Figures BIRKHAUSER SPRINGER BOSTON * NEW YORK Preface xvii 1 Notation and First-Order Logic 1 1.1 The Use of Connectives
More informationCprE 281: Digital Logic
CprE 281: Digital Logic Instructor: Alexander Stoytchev http://www.ece.iastate.edu/~alexs/classes/ Boolean Algebra CprE 281: Digital Logic Iowa State University, Ames, IA Copyright Alexander Stoytchev
More informationModels. Models of Computation, Turing Machines, and the Limits of Turing Computation. Effective Calculability. Motivation for Models of Computation
Turing Computation /0/ Models of Computation, Turing Machines, and the Limits of Turing Computation Bruce MacLennan Models A model is a tool intended to address a class of questions about some domain of
More informationThe roots of computability theory. September 5, 2016
The roots of computability theory September 5, 2016 Algorithms An algorithm for a task or problem is a procedure that, if followed step by step and without any ingenuity, leads to the desired result/solution.
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018
Finite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018 Lecture 15 Ana Bove May 17th 2018 Recap: Context-free Languages Chomsky hierarchy: Regular languages are also context-free; Pumping lemma
More informationDiscrete Mathematics
Discrete Mathematics Yi Li Software School Fudan University March 13, 2017 Yi Li (Fudan University) Discrete Mathematics March 13, 2017 1 / 1 Review of Lattice Ideal Special Lattice Boolean Algebra Yi
More informationThe Legacy of Hilbert, Gödel, Gentzen and Turing
The Legacy of Hilbert, Gödel, Gentzen and Turing Amílcar Sernadas Departamento de Matemática - Instituto Superior Técnico Security and Quantum Information Group - Instituto de Telecomunicações TULisbon
More informationCITS2211 Discrete Structures. Propositional Logic
CITS2211 Discrete Structures Propositional Logic Unit coordinator: Rachel Cardell-Oliver July 31, 2017 Highlights This lecture will address the following questions: 1 What is a proposition? 2 How are propositions
More informationXOR - XNOR Gates. The graphic symbol and truth table of XOR gate is shown in the figure.
XOR - XNOR Gates Lesson Objectives: In addition to AND, OR, NOT, NAND and NOR gates, exclusive-or (XOR) and exclusive-nor (XNOR) gates are also used in the design of digital circuits. These have special
More informationChurch s undecidability result
Church s undecidability result Alan Turing Birth Centennial Talk at IIT Bombay, Mumbai Joachim Breitner April 21, 2011 Welcome, and thank you for the invitation to speak about Church s lambda calculus
More informationOverview, cont. Overview, cont. Logistics. Optional Reference #1. Optional Reference #2. Workload and Grading
Course staff CS389L: Automated Logical Reasoning Lecture 1: ntroduction and Review of Basics şıl Dillig nstructor: şil Dillig E-mail: isil@cs.utexas.edu Office hours: Thursday after class until 6:30 pm
More informationLogic in Computer Science. Frank Wolter
Logic in Computer Science Frank Wolter Meta Information Slides, exercises, and other relevant information are available at: http://www.liv.ac.uk/~frank/teaching/comp118/comp118.html The module has 18 lectures.
More informationLecture 24: Gödel s s Proof. Microsoft Foundation Classes. Story So Far. Quiz? PS6 Classes. sim-object. physical-object. place. mobile-object.
Lecture 24: Gödel s s Proof CS150: Computer Science University of Virginia Computer Science David Evans http://www.cs.virginia.edu/evans PS6 Classes thing physical-object mobile-object person sim-object
More informationCSE 105 THEORY OF COMPUTATION
CSE 105 THEORY OF COMPUTATION Spring 2017 http://cseweb.ucsd.edu/classes/sp17/cse105-ab/ Today's learning goals Summarize key concepts, ideas, themes from CSE 105. Approach your final exam studying with
More informationEquational Logic and Term Rewriting: Lecture I
Why so many logics? You all know classical propositional logic. Why would we want anything more? Equational Logic and Term Rewriting: Lecture I One reason is that we might want to change some basic logical
More informationPřednáška 12. Důkazové kalkuly Kalkul Hilbertova typu. 11/29/2006 Hilbertův kalkul 1
Přednáška 12 Důkazové kalkuly Kalkul Hilbertova typu 11/29/2006 Hilbertův kalkul 1 Formal systems, Proof calculi A proof calculus (of a theory) is given by: A. a language B. a set of axioms C. a set of
More informationELEC Digital Logic Circuits Fall 2014 Boolean Algebra (Chapter 2)
ELEC 2200-002 Digital Logic Circuits Fall 2014 Boolean Algebra (Chapter 2) Vishwani D. Agrawal James J. Danaher Professor Department of Electrical and Computer Engineering Auburn University, Auburn, AL
More information... The Sequel. a.k.a. Gödel's Girdle
... The Sequel a.k.a. Gödel's Girdle Formal Systems A Formal System for a mathematical theory consists of: 1. A complete list of the symbols to be used. 2. Rules of syntax The rules that determine properly
More informationPREDICATE LOGIC: UNDECIDABILITY AND INCOMPLETENESS HUTH AND RYAN 2.5, SUPPLEMENTARY NOTES 2
PREDICATE LOGIC: UNDECIDABILITY AND INCOMPLETENESS HUTH AND RYAN 2.5, SUPPLEMENTARY NOTES 2 Neil D. Jones DIKU 2005 14 September, 2005 Some slides today new, some based on logic 2004 (Nils Andersen) OUTLINE,
More informationReview of Propositional Calculus
CS 1813 Discrete Mathematics Review of Propositional Calculus 1 Truth Tables for Logical Operators P Q P Q P Q P Q P Q P Q P 2 Semantic Reasoning with Truth Tables Proposition (WFF): ((P Q) (( P) Q)) P
More informationProofs. Chapter 2 P P Q Q
Chapter Proofs In this chapter we develop three methods for proving a statement. To start let s suppose the statement is of the form P Q or if P, then Q. Direct: This method typically starts with P. Then,
More informationLogic Design. Chapter 2: Introduction to Logic Circuits
Logic Design Chapter 2: Introduction to Logic Circuits Introduction Logic circuits perform operation on digital signal Digital signal: signal values are restricted to a few discrete values Binary logic
More informationReview CHAPTER. 2.1 Definitions in Chapter Sample Exam Questions. 2.1 Set; Element; Member; Universal Set Partition. 2.
CHAPTER 2 Review 2.1 Definitions in Chapter 2 2.1 Set; Element; Member; Universal Set 2.2 Subset 2.3 Proper Subset 2.4 The Empty Set, 2.5 Set Equality 2.6 Cardinality; Infinite Set 2.7 Complement 2.8 Intersection
More informationCOMP 2600: Formal Methods for Software Engineeing
COMP 2600: Formal Methods for Software Engineeing Dirk Pattinson Semester 2, 2013 What do we mean by FORMAL? Oxford Dictionary in accordance with convention or etiquette or denoting a style of writing
More informationBound and Free Variables. Theorems and Proofs. More valid formulas involving quantifiers:
Bound and Free Variables More valid formulas involving quantifiers: xp(x) x P(x) Replacing P by P, we get: x P(x) x P(x) Therefore x P(x) xp(x) Similarly, we have xp(x) x P(x) x P(x) xp(x) i(i 2 > i) is
More informationLanguage of Propositional Logic
Logic A logic has: 1. An alphabet that contains all the symbols of the language of the logic. 2. A syntax giving the rules that define the well formed expressions of the language of the logic (often called
More informationThe Search for the Perfect Language
The Search for the Perfect Language I'll tell you how the search for certainty led to incompleteness, uncomputability & randomness, and the unexpected result of the search for the perfect language. Bibliography
More informationSample Problems for all sections of CMSC250, Midterm 1 Fall 2014
Sample Problems for all sections of CMSC250, Midterm 1 Fall 2014 1. Translate each of the following English sentences into formal statements using the logical operators (,,,,, and ). You may also use mathematical
More informationGödel s Incompleteness Theorem. Overview. Computability and Logic
Gödel s Incompleteness Theorem Overview Computability and Logic Recap Remember what we set out to do in this course: Trying to find a systematic method (algorithm, procedure) which we can use to decide,
More informationAutomata Theory. Definition. Computational Complexity Theory. Computability Theory
Outline THEORY OF COMPUTATION CS363, SJTU What is Theory of Computation? History of Computation Branches and Development Xiaofeng Gao Dept. of Computer Science Shanghai Jiao Tong University 2 The Essential
More information3 Boolean Algebra 3.1 BOOLEAN ALGEBRA
3 Boolean Algebra 3.1 BOOLEAN ALGEBRA In 1854, George Boole introduced the following formalism which eventually became Boolean Algebra. Definition. An algebraic system consisting of a set B of elements
More informationPeano Arithmetic. CSC 438F/2404F Notes (S. Cook) Fall, Goals Now
CSC 438F/2404F Notes (S. Cook) Fall, 2008 Peano Arithmetic Goals Now 1) We will introduce a standard set of axioms for the language L A. The theory generated by these axioms is denoted PA and called Peano
More informationcse541 LOGIC FOR COMPUTER SCIENCE
cse541 LOGIC FOR COMPUTER SCIENCE Professor Anita Wasilewska Spring 2015 LECTURE 2 Chapter 2 Introduction to Classical Propositional Logic PART 1: Classical Propositional Model Assumptions PART 2: Syntax
More informationChapter 2: Introduction to Propositional Logic
Chapter 2: Introduction to Propositional Logic PART ONE: History and Motivation Origins: Stoic school of philosophy (3rd century B.C.), with the most eminent representative was Chryssipus. Modern Origins:
More informationCISC-102 Winter 2016 Lecture 17
CISC-102 Winter 2016 Lecture 17 Logic and Propositional Calculus Propositional logic was eventually refined using symbolic logic. The 17th/18th century philosopher Gottfried Leibniz (an inventor of calculus)
More informationLecture 11: Gödel s Second Incompleteness Theorem, and Tarski s Theorem
Lecture 11: Gödel s Second Incompleteness Theorem, and Tarski s Theorem Valentine Kabanets October 27, 2016 1 Gödel s Second Incompleteness Theorem 1.1 Consistency We say that a proof system P is consistent
More informationDoc112: Hardware. Department of Computing, Imperial College London. Doc112: Hardware Lecture 1 Slide 1
Doc112: Hardware Department of Computing, Imperial College London Doc112: Hardware Lecture 1 Slide 1 First Year Computer Hardware Course Lecturers Duncan Gillies Bjoern Schuller Doc112: Hardware Lecture
More informationCS187 - Science Gateway Seminar for CS and Math
CS187 - Science Gateway Seminar for CS and Math Fall 2013 Class 3 Sep. 10, 2013 What is (not) Computer Science? Network and system administration? Playing video games? Learning to use software packages?
More informationTHE LOGIC OF COMPOUND STATEMENTS
THE LOGIC OF COMPOUND STATEMENTS All dogs have four legs. All tables have four legs. Therefore, all dogs are tables LOGIC Logic is a science of the necessary laws of thought, without which no employment
More informationBOOLEAN ALGEBRA INTRODUCTION SUBSETS
BOOLEAN ALGEBRA M. Ragheb 1/294/2018 INTRODUCTION Modern algebra is centered around the concept of an algebraic system: A, consisting of a set of elements: ai, i=1, 2,, which are combined by a set of operations
More informationBoolean algebra. Values
Boolean algebra 1854 by George Boole in his book An Investigation of the Laws of Thought, is a variant of ordinary elementary algebra differing in its values, operations, and laws. Instead of the usual
More informationFORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY
5-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY 5-453 FORMAL LANGUAGES, AUTOMATA AND COMPUTABILITY YOU NEED TO PICK UP THE SYLLABUS, THE COURSE SCHEDULE, THE PROJECT INFO SHEET, TODAY S CLASS NOTES
More informationFinal Exam Comments. UVa - cs302: Theory of Computation Spring < Total
UVa - cs302: Theory of Computation Spring 2008 Final Exam Comments < 50 50 59 60 69 70 79 80 89 90 94 95-102 Total 2 6 8 22 16 16 12 Problem 1: Short Answers. (20) For each question, provide a correct,
More informationComputation. Some history...
Computation Motivating questions: What does computation mean? What are the similarities and differences between computation in computers and in natural systems? What are the limits of computation? Are
More informationDigital Logic Design: a rigorous approach c
Digital Logic Design: a rigorous approach c Chapter 1: Sets and Functions Guy Even Moti Medina School of Electrical Engineering Tel-Aviv Univ. October 25, 2017 Book Homepage: http://www.eng.tau.ac.il/~guy/even-medina
More informationCISC-102 Fall 2018 Week 11
page! 1 of! 26 CISC-102 Fall 2018 Pascal s Triangle ( ) ( ) An easy ( ) ( way ) to calculate ( ) a table of binomial coefficients was recognized centuries ago by mathematicians in India, ) ( ) China, Iran
More informationFirst-Order Logic. 1 Syntax. Domain of Discourse. FO Vocabulary. Terms
First-Order Logic 1 Syntax Domain of Discourse The domain of discourse for first order logic is FO structures or models. A FO structure contains Relations Functions Constants (functions of arity 0) FO
More informationUnderstanding Computation
Understanding Computation 1 Mathematics & Computation -Mathematics has been around for a long time as a method of computing. -Efforts to find canonical way of computations. - Machines have helped with
More informationVictoria Gitman and Thomas Johnstone. New York City College of Technology, CUNY
Gödel s Proof Victoria Gitman and Thomas Johnstone New York City College of Technology, CUNY vgitman@nylogic.org http://websupport1.citytech.cuny.edu/faculty/vgitman tjohnstone@citytech.cuny.edu March
More informationBasic Algebraic Logic
ELTE 2013. September Today Past 1 Universal Algebra 1 Algebra 2 Transforming Algebras... Past 1 Homomorphism 2 Subalgebras 3 Direct products 3 Varieties 1 Algebraic Model Theory 1 Term Algebras 2 Meanings
More informationComputing via boolean logic. COS 116: 3/8/2011 Sanjeev Arora
Computing via boolean logic. COS 116: 3/8/2011 Sanjeev Arora Recap: Boolean Logic Example Ed goes to the party if Dan does not and Stella does. Choose Boolean variables for 3 events: { Each E: Ed goes
More informationCOSE212: Programming Languages. Lecture 1 Inductive Definitions (1)
COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2017 Fall Hakjoo Oh COSE212 2017 Fall, Lecture 1 September 4, 2017 1 / 9 Inductive Definitions Inductive definition (induction)
More informationGödel s Incompleteness Theorem. Overview. Computability and Logic
Gödel s Incompleteness Theorem Overview Computability and Logic Recap Remember what we set out to do in this course: Trying to find a systematic method (algorithm, procedure) which we can use to decide,
More informationON COMPUTAMBLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHENIDUGSPROBLEM. Turing 1936
ON COMPUTAMBLE NUMBERS, WITH AN APPLICATION TO THE ENTSCHENIDUGSPROBLEM Turing 1936 Where are We? Ignoramus et ignorabimus Wir mussen wissen Wir werden wissen We do not know We shall not know We must know
More informationAxiomatic set theory. Chapter Why axiomatic set theory?
Chapter 1 Axiomatic set theory 1.1 Why axiomatic set theory? Essentially all mathematical theories deal with sets in one way or another. In most cases, however, the use of set theory is limited to its
More informationNumber Theory. Jason Filippou UMCP. ason Filippou UMCP)Number Theory History & Definitions / 1
Number Theory Jason Filippou CMSC250 @ UMCP 06-08-2016 ason Filippou (CMSC250 @ UMCP)Number Theory History & Definitions 06-08-2016 1 / 1 Outline ason Filippou (CMSC250 @ UMCP)Number Theory History & Definitions
More informationGödel s Incompleteness Theorems
Seminar Report Gödel s Incompleteness Theorems Ahmet Aspir Mark Nardi 28.02.2018 Supervisor: Dr. Georg Moser Abstract Gödel s incompleteness theorems are very fundamental for mathematics and computational
More informationComputer Science and Logic A Match Made in Heaven
A Match Made in Heaven Luca Aceto Reykjavik University Reykjavik, 3 April 2009 Thanks to Moshe Vardi from whom I have drawn inspiration (read stolen ideas ) for this presentation. Why This Talk Today?
More informationCOSE212: Programming Languages. Lecture 1 Inductive Definitions (1)
COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2018 Fall Hakjoo Oh COSE212 2018 Fall, Lecture 1 September 5, 2018 1 / 10 Inductive Definitions Inductive definition (induction)
More informationInformal Statement Calculus
FOUNDATIONS OF MATHEMATICS Branches of Logic 1. Theory of Computations (i.e. Recursion Theory). 2. Proof Theory. 3. Model Theory. 4. Set Theory. Informal Statement Calculus STATEMENTS AND CONNECTIVES Example
More informationINTRODUCTION TO INFORMATION & COMMUNICATION TECHNOLOGY LECTURE 8 : WEEK 8 CSC-110-T
INTRODUCTION TO INFORMATION & COMMUNICATION TECHNOLOGY LECTURE 8 : WEEK 8 CSC-110-T Credit : (2 + 1) / Week TEXT AND REF. BOOKS Text Book: Peter Norton (2011), Introduction to Computers, 7 /e, McGraw-Hill
More informationComplexity Theory Part I
Complexity Theory Part I Outline for Today Recap from Last Time Reviewing Verifiers Nondeterministic Turing Machines What does nondeterminism mean in the context of TMs? And just how powerful are NTMs?
More informationWarm-Up Problem. Please fill out your Teaching Evaluation Survey! Please comment on the warm-up problems if you haven t filled in your survey yet.
Warm-Up Problem Please fill out your Teaching Evaluation Survey! Please comment on the warm-up problems if you haven t filled in your survey yet Warm up: Given a program that accepts input, is there an
More informationCVO103: Programming Languages. Lecture 2 Inductive Definitions (2)
CVO103: Programming Languages Lecture 2 Inductive Definitions (2) Hakjoo Oh 2018 Spring Hakjoo Oh CVO103 2018 Spring, Lecture 2 March 13, 2018 1 / 20 Contents More examples of inductive definitions natural
More informationCSE 1400 Applied Discrete Mathematics Proofs
CSE 1400 Applied Discrete Mathematics Proofs Department of Computer Sciences College of Engineering Florida Tech Fall 2011 Axioms 1 Logical Axioms 2 Models 2 Number Theory 3 Graph Theory 4 Set Theory 4
More informationBOOLEAN ALGEBRA. Introduction. 1854: Logical algebra was published by George Boole known today as Boolean Algebra
BOOLEAN ALGEBRA Introduction 1854: Logical algebra was published by George Boole known today as Boolean Algebra It s a convenient way and systematic way of expressing and analyzing the operation of logic
More informationThe Limit of Humanly Knowable Mathematical Truth
The Limit of Humanly Knowable Mathematical Truth Gödel s Incompleteness Theorems, and Artificial Intelligence Santa Rosa Junior College December 12, 2015 Another title for this talk could be... An Argument
More informationDigital Systems and Information Part II
Digital Systems and Information Part II Overview Arithmetic Operations General Remarks Unsigned and Signed Binary Operations Number representation using Decimal Codes BCD code and Seven-Segment Code Text
More informationSection 3.1: Direct Proof and Counterexample 1
Section 3.1: Direct Proof and Counterexample 1 In this chapter, we introduce the notion of proof in mathematics. A mathematical proof is valid logical argument in mathematics which shows that a given conclusion
More information