naming identity and provenance
play

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()


  1. Naming, Identity, and Provenance Jim Waldo Sun Labs Harvard University

  2. #include <stdApology.h>

  3. Identity

  4. Central

  5. Important

  6. Difficult

  7. Teach

  8. Describe

  9. Reference

  10. Morning Star

  11. Evening Star

  12. Venus

  13. Discovery

  14. Languages

  15. ==

  16. .equals()

  17. Name

  18. Structural

  19. Time

  20. Versions

  21. Ship of Theseus

  22. What-ifs

  23. Possible worlds

  24. Kripke

  25. Designators

  26. Data

  27. Identity

  28. Reproducability

  29. Software

  30. Systems

  31. Version Control

  32. Same bits

  33. Where to stop?

  34. Proenance

  35. Identity = What + How

  36. Copies

  37. Clones

  38. Why Worry?

  39. Coherence

  40. Science

  41. Reliability

  42. Hard problems

  43. General Case

  44. Special Case

  45. Broader Impact

  46. Naming, Identity, and Provenance Jim Waldo Sun Labs Harvard University

Recommend


More recommend