Making Software 'Correct by Construction' Is it possible to build software so that you know that is is correct? How could this be done? Has anyone tried? What would it cost?
Religion and Experience: A Philosophical Exploration - Personal Knowledge Scientific knowledge aims at a dispassionate value-free assessment of publicly...
When Maths Doesn't Work: What we learn from the Prisoners' Dilemma Game Theory is a branch of mathematics which tells us...
The Idealist View of Reality There are competing philosophical views of reality. Main contenders are...
Experience and the Spiritual Dimension It is a widely held philosophical belief that all knowledge...
This Lecture Will Surprise You: When Logic is Illogical Mathematics offers certainty. That there are infinitely many prime numbers...