Praxis matemática: reflexiones sobre la cognición que la hace posible

Mathematics is a unique body of knowledge. Among others, it is abstract, exact, efficient, symbolizable, and it provides astonishing applications to the real world. In the domain of philosophy of mathematics the study of the practice of mathematics has gradually become an important area of investigation. What aspects of the human body and mind make the peculiar practice of mathematics possible? In this article, I briefly review some cogntive dimensions that play a crucial role in the creation and consolidation of mathematics

Praxis matemática: reflexiones sobre la cognición que la hace posible

Mathematics is a unique body of knowledge. Among others, it is abstract, exact, efficient, symbolizable, and it provides astonishing applications to the real world. In the domain of philosophy of mathematics the study of the practice of mathematics has gradually become an important area of investigation. What aspects of the human body and mind make the peculiar practice of mathematics possible? In this article, I briefly review some cogntive dimensions that play a crucial role in the creation and consolidation of mathematics; La matemática forma un cuerpo único de conocimiento. Entre otras cosas, es abstracta, exacta, eficaz, simbolizable y proporciona sorprendentes aplicaciones al mundo real. En el campo de la filosofía de la matemática el estudio de la práctica matemática ha devenido gradualmente una importante área de investigación. ¿Qué aspectos de la mente y el cuerpo humano hacen posible la particular práctica matemática? En este artículo, reviso brevemente algunas dimensiones cognitivas que juegan un papel crucial en la creación y consolidación de la matemática

Li–Yorke chaos in nonautonomous Hopf bifurcation patterns - I

We analyze the characteristics of the global attractor of a type of dissipative nonautonomous dynamical systems in terms of the Sacker and Sell spectrum of its linear part. The model gives rise to a pattern of nonautonomous Hopf bifurcation which can be understood as a generalization of the classical autonomous one. We pay special attention to the dynamics at the bifurcation point, showing the possibility of occurrence of Li-Yorke chaos in the corresponding attractor and hence of a high degree of unpredictability.MINECO/FEDER, MTM2015-66330-PEuropean Commission, H2020-MSCA-ITN-201

Non-Atkinson perturbations of nonautonomous linear Hamiltonian systems: exponential dichotomy and nonoscillation

Producción CientíficaWe analyze the presence of exponential dichotomy (ED) and of global existence of Weyl functions $M^\pm$ for one-parametric families of finite-dimensional nonautonomous linear Hamiltonian systems defined along the orbits of a compact metric space, which are perturbed from an initial one in a direction which does not satisfy the classical Atkinson condition: either they do not have ED for any value of the parameter; or they have it for at least all the nonreal values, in which case the Weyl functions exist and are Herglotz. When the parameter varies in the real line, and if the unperturbed family satisfies the properties of exponential dichotomy and global existence of $M^+$, then these two properties persist in a neighborhood of 0 which agrees either with the whole real line or with an open negative half-line; and in this last case, the ED fails at the right end value. The properties of ED and of global existence of $M^+$ are fundamental to guarantee the solvability of classical minimization problems given by linear-quadratic control processes.MINECO/FEDER, MTM2015-66330-PEuropean Commission, H2020-MSCA-ITN-201

Diagnosing Errors in DbC Programs Using Constraint Programming

Model-Based Diagnosis allows to determine why a correctly designed system does not work as it was expected. In this paper, we propose a methodology for software diagnosis which is based on the combination of Design by Contract, Model-Based Diagnosis and Constraint Programming. The contracts are specified by assertions embedded in the source code. These assertions and an abstraction of the source code are transformed into constraints, in order to obtain the model of the system. Afterwards, a goal function is created for detecting which assertions or source code statements are incorrect. The application of this methodology is automatic and is based on Constraint Programming techniques. The originality of this work stems from the transformation of contracts and source code into constraints, in order to determine which assertions and source code statements are not consistent with the specification.Ministerio de Ciencia y Tecnología DPI2003-07146-C02-0