The three-page paper that shook philosophy: Gettiers in software engineering