Naming, Identity, and Provenance Jim Waldo Sun Labs Harvard - PowerPoint PPT Presentation
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()
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()
Name
Structural
Time
Versions
Ship of Theseus
What-ifs
Possible worlds
Kripke
Designators
Data
Identity
Reproducability
Software
Systems
Version Control
Same bits
Where to stop?
Proenance
Identity = What + How
Copies
Clones
Why Worry?
Coherence
Science
Reliability
Hard problems
General Case
Special Case
Broader Impact
Naming, Identity, and Provenance Jim Waldo Sun Labs Harvard University
Recommend
More recommend
Explore More Topics
Stay informed with curated content and fresh updates.