2 papers
cs.LO2019
Bunch theory: working notes on applications, axioms and models
Bill Stoddart, Frank Zeyda, Steve Dunne
In his book A Practical Theory of Programming, Eric Hehner proposes and applies a remarkably radical reformulation of set theory, in which the collection and packaging of elements…
cs.LO2019
The Halting Paradox
Bill Stoddart
The halting problem is considered to be an essential part of the theoretical background to computing. That halting is not in general computable has supposedly been proved in many t…