Abstract. Taking the 'operational/structural' perspective, as introduced by Sfard, this paper analyses the passage from computing with numbers and computing with letters. The discussion is based on a case study, taken from long term research project, still in progress. A key aspect, characterizing the transition from the two types of computation, will be highlighted: the change of role of operation properties
For the question of relations between architecture, or more generally, design, and math, there seems...
Learning to operate algebraically is a complex process that is dependent upon extending arithmetic k...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
Abstract. Taking the 'operational/structural' perspective, as introduced by Sfard, this paper analys...
Abstract. Taking the 'operational/structural' perspective, as introduced by Sfard, this paper analys...
Computational implementations are special relations between what is computed and what computes it. T...
We generalize algebraic operational semantics from sequential languages to distributed, concurrent l...
The notion of computation is well understood, and well formalized, in the classical context of digit...
classical view of computing positions computation as a closed-box transformation of inputs (rational...
International audienceThe logical foundations of arithmetic generally start with a quantificational ...
This paper sketches an answer to the question how we, in our arithmetical practice, succeed in singl...
Cognitive science is founded on the conjecture that natural intelligence can be explained in terms o...
The real question at issue is “What are the possible processes which can be carried out in computing...
Until some decades ago, it was customary to discuss much pre-Modern mathematics as “algebra”, withou...
This study uses number sentences involving one and two unknown numbers to identify some key juncture...
For the question of relations between architecture, or more generally, design, and math, there seems...
Learning to operate algebraically is a complex process that is dependent upon extending arithmetic k...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...
Abstract. Taking the 'operational/structural' perspective, as introduced by Sfard, this paper analys...
Abstract. Taking the 'operational/structural' perspective, as introduced by Sfard, this paper analys...
Computational implementations are special relations between what is computed and what computes it. T...
We generalize algebraic operational semantics from sequential languages to distributed, concurrent l...
The notion of computation is well understood, and well formalized, in the classical context of digit...
classical view of computing positions computation as a closed-box transformation of inputs (rational...
International audienceThe logical foundations of arithmetic generally start with a quantificational ...
This paper sketches an answer to the question how we, in our arithmetical practice, succeed in singl...
Cognitive science is founded on the conjecture that natural intelligence can be explained in terms o...
The real question at issue is “What are the possible processes which can be carried out in computing...
Until some decades ago, it was customary to discuss much pre-Modern mathematics as “algebra”, withou...
This study uses number sentences involving one and two unknown numbers to identify some key juncture...
For the question of relations between architecture, or more generally, design, and math, there seems...
Learning to operate algebraically is a complex process that is dependent upon extending arithmetic k...
This Turing Year has been the occasion for lively debates about the nature of computing. Are we on t...