slide1
Download
Skip this Video
Download Presentation
Welcome to

Loading in 2 Seconds...

play fullscreen
1 / 18

Welcome to - PowerPoint PPT Presentation


  • 70 Views
  • Uploaded on

Welcome to. Gödel. Escher. Bach. Tuesday edition, February 27, 2001. News. Seminar Wed Feb 28, 4:00 PM Jepson 109 The Poincaré Conjecture Mike Kerckhove discusses whether we can determine whether our universe is in the shape of a sphere or a doughnut.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Welcome to' - ginger


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
slide1

Welcome to

Gödel

Escher

Bach

Tuesday edition, February 27, 2001

News

Seminar Wed Feb 28, 4:00 PM Jepson 109 The Poincaré ConjectureMike Kerckhove discusses whether we can determine whether our universe is in the shape of a sphere or a doughnut

Exam II Almost everyone has taken it. Unlikely to be returned before next Tuesday.

symbols of the propositional calculus
Symbols of the Propositional Calculus

(Symbols of previous systems)

MIU-System: M I U

pq-System: - p q

Atom particle: -

Atoms: - or - - or - - - or ...

symbols of the propositional calculus1
Symbols of the Propositional Calculus

(Symbols of previous systems)

MIU-System: M I U

pq-System: - p q

Operation: p

atoms

- - - p - -

Example:

symbols of the propositional calculus2

p

p

Symbols of the Propositional Calculus

(Symbols of previous systems)

MIU-System: M I U

pq-System: - p q

Operation: q

atom

- - - p - -

q - -

Example:

symbols of the propositional calculus3
Symbols of the Propositional Calculus

(Symbols of previous systems)

MIU-System: M I U

pq-System: - p q

tq-System: - t q

C-System: - t q C

Prefix operation: C

C - - -

Example:

symbols of the propositional calculus4
Symbols of the Propositional Calculus

How to classify them?

< >

P Q R ’

^ v ~

[ ]

Atom particles

Example:

P

All atom particles are atoms

symbols of the propositional calculus5

New atom

Symbols of the Propositional Calculus

How to classify them?

< >

P Q R ’

^ v ~

[ ]

Atom particles

Atom suffix

Example:

P

All atoms are well-formed

symbols of the propositional calculus6
Symbols of the Propositional Calculus

How to classify them?

< >

P Q R ’

^ v ~

[ ]

Atom particles

Suffix

Prefix op

Formation Rule #1: If x is well-formed, then so is ~x

Example:

~

x

P

symbols of the propositional calculus7
Symbols of the Propositional Calculus

How to classify them?

< >

P Q R ’

^ v ~

[ ]

Atom particles

Suffix

Infix ops

Prefix op

Formation Rules #2: If x and y are well-formed, then so is <x^y>

Example:

<x^y>

<P^~Q>

symbols of the propositional calculus8
Symbols of the Propositional Calculus

How to classify them?

< >

P Q R ’

^ v ~

[ ]

Infix op start

Infix op stop

Atom particles

Suffix

Infix ops

Prefix op

Procedure: Push

Procedure: Pop

Fantasy Rule

Example:

<P^~Q>

study question 3 what s so recursive about the formation rules
(Study Question 3)What’s so recursive about the Formation Rules?

Formation Rule #1: If x is well-formed, then so is ~x

Formation Rule #1: If is well-formed, then so is

~

study question 3 what s so recursive about the formation rules1

~

~

(Study Question 3)What’s so recursive about the Formation Rules?

Formation Rule #1: If x is well-formed, then so is ~x

Formation Rule #1: If is well-formed, then so is ~

Formation Rule #1: If is well-formed, then so is

~

study question 3 what s so recursive about the formation rules2
(Study Question 3)What’s so recursive about the Formation Rules?

Formation Rule #1: If x is well-formed, then so is ~x

Formation Rule #1

P

~P

~~P

study question 7 which of the strings are well formed
Study Question 7Which of the strings are well-formed?

Formation Rule #1: If x is well-formed, then so is ~xFormation Rules #2: If x and y are well-formed, then so is <x^y>Formation Rules #3: If x and y are well-formed, then so is <xvy>Formation Rules #4: If x and y are well-formed, then so is <x y>

Formation Rule #0: All atoms are well-formed atoms

<~P>

< x >

NOT well-formed

<P^Q>

<x^y>

WELL-formed

<x^y^z>

<P^Q^R>

NOT well-formed

study question 7 which of the strings are well formed1
Study Question 7Which of the strings are well-formed?

Formation Rule #1: If x is well-formed, then so is ~xFormation Rules #2: If x and y are well-formed, then so is <x^y>Formation Rules #3: If x and y are well-formed, then so is <xvy>Formation Rules #4: If x and y are well-formed, then so is <xy>

Formation Rule #0: All atoms are well-formed atoms

<<P v<QR>>^<~Pv~R’>>

<<xv<xy>>^<~xv~y>>

<<xv y>^< xv y >>

< x^ y >

WELL-formed

english to propositional calculus
English to Propositional Calculus

1. I think; therefore I am.- Rene Descartes

2. Good judgment comes from experience, and often experience comes from bad judgment.” [Hint: ignore “often”]- Rita Mae Brown

3. Like it or not, here it comes.- Anonymous

4. If you are a retiree, use your age on the annuity starting date,...

but if your annuity starting date was after 1997 and the payments are for your life and that of your beneficiary, use your combined ages on the annuity starting date.

- One of the more comprehensible sections of the US tax code

ad