• Publications
  • Influence
The Mathematical Works of Bernard Bolzano
PART I: GEOMETRY AND FOUNDATIONS 1.1 Elementary Geometry (1804) 1.2 A Better-Grounded Presentation of Mathematics (1810) PART II: EARLY ANALYSIS 2.1 The Binomial Theorem (1816) 2.2 A Purely AnalyticExpand
A translation of Bolzano's paper on the intermediate value theorem
Abstract This is the first English translation of Bolzano's paper, Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, die ein entgegengesetzes Resultat gewahren, wenigstens eineExpand
A new paradigm for computer-based decision support
A new paradigm for computing is proposed that is human-centered and that adopts a novel, observation-oriented approach to data modelling and gives evidence that this approach can encompass conventional tools such as expert systems. Expand
The Temposcope: a Computer Instrument for the Idealist Timetabler
This paper attributes this dimculty to the choice of computational paradigm, and introduces an alternative framework for computer-based modelling in which to create an instrument for timetabling, the 'Temposcope', in connection with work-in-progress on a modest practical case study in timetabling. Expand
Strategic decision support systems : an experience-based approach
It is claimed that EM offers a new quality of human-computer interaction which in turn allows for a much enhanced openness and flexibility in systems such as SDSS where the collaboration of human and computer-based processes is crucial. Expand
Making Construals as a New Digital Skill: Dissolving the Program - and the Programmer - Interface
Its merits as a new digital skill for developing open educational resources in the constructionist tradition are illustrated using a basic construal of shopping activity to highlight key qualities of construals that will shape the CONSTRUIT! agenda. Expand
The interpretation of states: a new foundation for computation?
It is argued that concerns about perception and interpretation that are significant in psychology should be a primary source of insight into the new models of computation that will shape future developments in computer programming. Expand
The development and use of variables in mathematics and computer science
A general framework in which all uses of variables can be described in a unified way is developed, and relates this challenge to the distinctive differences in the use of variables in mathematics and practical computing. Expand
Empirical Modelling of Requirements
We propose a modelling process, based on observation and experiment, which is well-suited to reactive systems, and which provides an integrated environment for the requirements, specification andExpand