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

In 1963, philosopher Edmund Gettier published a paper challenging the established definition of knowledge as justified true belief (JTB). His examples, known as Gettier cases, show scenarios where one can have a justified true belief but still not truly 'know' something. This philosophical idea has intriguing parallels in software engineering, as programmers frequently encounter situations where their code appears to produce certain effects, but the real cause lies elsewhere, making them think they 'know' the cause of an issue when they actually don't. Understanding Gettier cases helps develop critical thinking in solving complex software problems.

Visit Original Article →