Bunch theory, applications, axioms and models

11/11/2019
by   Bill Stoddart, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/11/2019

Bunch theory: working notes on applications, axioms and models

In his book "A practical theory of programming" Eric Hehner proposes and...
research
11/30/2022

Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming

Approximation fixpoint theory (AFT) is an abstract and general algebraic...
research
03/21/2019

First steps to a constructor theory of cognition

This article applies the conceptual framework of constructor theory of i...
research
07/25/2023

A Guide to Krivine Realizability for Set Theory

The method of realizability was first developed by Kleene and is seen as...
research
09/02/2021

The Future of Quantum Theory: A Way Out of the Impasse

In this letter, we point to three widely accepted challenges that the qu...
research
04/14/2022

Probability monads with submonads of deterministic states - Extended version

Probability theory can be studied synthetically as the computational eff...
research
05/06/2022

Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis

In 1964, Paul Erdős published a paper settling a question about function...

Please sign up or login with your details

Forgot password? Click here to reset