10.1 Godel Numberings Flashcards by Aiden Dawes | Brainscape

Q

What are Gödel numberings

A

Encodings of systems (ie while stmnt -> N)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is the function which maps While Stmnts to N

A

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is a code transformation

A

Maps one while program to another

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What are some examples of code transformations

Just view no need to recall

A

Godel numberings help determine whether computable or not

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

What is a program analyser (for while - function)

A

Godel numberings help determine whether computable or not

How well did you know this?

1

Not at all

2

3

4

5

Perfectly