Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications.
We develop a generalised polynomial formalism which captures the concept of an algebra of piece-wise defined polynomials. The formalism is based on the Boolean power construction of universal… (More)
We generalize the notion of modal Boolean rings to rings in general. The connection between Boolean rings with equality and modal Boolean rings provides a cue for the definition. The main motivation… (More)
A calculator solution of a simple computational problem is discussed with emphasis on its ramifications for the understanding of some fundamental theorems of pure mathematics and techniques of… (More)
In his recent books one of the main pre-occupations of Roger Penrose has been to show (to prove!) that computers are intrinsically limited, compared to humans, when it comes to the doing of… (More)