HILBERT BETWEEN THE FORMAL AND THE INFORMAL SIDE OF MATHEMATICS

Abstract: In this article we analyze the key concept of Hilbert's axiomatic method, namely that of axiom. We will find two different concepts: the first one from the period of Hilbert's foundation of geometry and the second one at the time of the development of his proof theory. Both conceptions are linked to two different notions of intuition and show how Hilbert's ideas are far from a purely formalist conception of mathematics. The principal thesis of this article is that one of the main problems that Hilbert encountered in his foundational studies consisted in securing a link between formalization and intuition. We will also analyze a related problem, that we will call "Frege's Problem", form the time of the foundation of geometry and investigate the role of the Axiom of Completeness in its solution.

Diagnosis of the nutrient compositional space of fruit crops

Tissue analysis is a useful tool for the nutrient management of fruit orchards. The mineral composition of diagnostic tissues expressed as nutrient concentration on a dry weight basis has long been used to assess the status of 'pure' nutrients. When nutrients are mixed and interact in plant tissues, their proportions or concentrations change relatively to each other as a result of synergism, antagonism, or neutrality, hence producing resonance within the closed space of tissue composition. Ternary diagrams and nutrient ratios are early representations of interacting nutrients in the compositional space. Dual and multiple interactions were integrated by the Diagnosis and Recommendation Integrated System (DRIS) into nutrient indexes and by Compositional Nutrient Diagnosis into centered log ratios (CND-clr). DRIS has some computational flaws such as using a dry matter index that is not a part as well as nutrient products (e.g. NxCa) instead of ratios. DRIS and CND-clr integrate all possible nutrient interactions without defining an ad hoc interactive model. They diagnose D components while D-1 could be diagnosed in the D-compositional Hilbert space. The isometric log ratio (ilr) coordinates overcome these problems using orthonormal binary nutrient partitions instead of dual ratios. In this study, it is presented a nutrient interactive model as well as computation methods for DRIS and CND-clr and CND-ilr coordinates (CND-ilr) using leaf analytical data from an experimental apple orchard in Southwestern Quebec, Canada. It was computed the Aitchison and Mahalanobis distances across ilr coordinates as measures of nutrient imbalance. The effect of changing nutrient concentrations on ilr coordinates are simulated to identify the ones contributing the most to nutrient imbalance.