Naming, Identity, and Provenance Jim Waldo Sun Labs Harvard - - PowerPoint PPT Presentation

▶

Dec 30, 2022 47 likes •528 views

Naming, Identity, and Provenance Jim Waldo Sun Labs Harvard University #include <stdApology.h> Identity Central Important Difficult Teach Describe Reference Morning Star Evening Star Venus Discovery Languages == .equals()

SLIDE 1

Naming, Identity, and Provenance

Jim Waldo Sun Labs Harvard University

SLIDE 2

#include <stdApology.h>

SLIDE 3

Identity

SLIDE 4

Central

SLIDE 5

Important

SLIDE 6

Difficult

SLIDE 7

Teach

SLIDE 8

Describe

SLIDE 9

Reference

SLIDE 10

Morning Star

SLIDE 11

Evening Star

SLIDE 12

Venus

SLIDE 13

Discovery

SLIDE 14

Languages

SLIDE 15

==

SLIDE 16

.equals()

SLIDE 17

Name

SLIDE 18

Structural

SLIDE 19

Time

SLIDE 20

Versions

SLIDE 21

Ship of Theseus

SLIDE 22

What-ifs

SLIDE 23

Possible worlds

SLIDE 24

Kripke

SLIDE 25

Designators

SLIDE 26

Data

SLIDE 27

Identity

SLIDE 28

Reproducability

SLIDE 29

Software

SLIDE 30

Systems

SLIDE 31

Version Control

SLIDE 32

Same bits

SLIDE 33

Where to stop?

SLIDE 34

Proenance

SLIDE 35

Identity = What + How

SLIDE 36

Copies

SLIDE 37

Clones

SLIDE 38

Why Worry?

SLIDE 39

Coherence

SLIDE 40

Science

SLIDE 41

Reliability

SLIDE 42

Hard problems

SLIDE 43

General Case

SLIDE 44

Special Case

SLIDE 45

Broader Impact

SLIDE 46

Naming, Identity, and Provenance

Jim Waldo Sun Labs Harvard University

SLIDE 47

SLIDE 48