References & Citations
Computer Science > Logic in Computer Science
Title: Bunch theory: working notes on applications, axioms and models
(Submitted on 11 Nov 2019 (v1), revised 24 Jan 2020 (this version, v2), latest version 25 Apr 2022 (v3))
Abstract: 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 are seen as separate activities. This provides for unpackaged collections, referred to as "bunches". Bunches allow us to reason about non-determinism at the level of terms, and, very remarkably, allow us to reason about the conceptual entity "nothing", which is just an empty bunch (and very different from an empty set). This eliminates mathematical "gaps" caused by undefined terms. We compare the use of bunches with other approaches to this problem, and we illustrate the use of bunch theory in formulating program semantics which combines non-deterministic, preferential, and probabilistic choice. We show how an existing axiomatisation of set theory can be extended to incorporate bunches, and we provide and validate a model. Standard functions are lifted when applied to a bunch of values, but we also define a wholistic function application which allows whole bunches to be accepted as arguments, and we develop its associated fixed point theory.
Submission history
From: Bill Stoddart [view email][v1] Mon, 11 Nov 2019 15:35:02 GMT (43kb)
[v2] Fri, 24 Jan 2020 18:09:00 GMT (676kb,D)
[v3] Mon, 25 Apr 2022 16:41:32 GMT (41kb)
Link back to: arXiv, form interface, contact.