La crisis de fundamentación de la matemática y la opción del programa formalista de Hilbert.

Dos hecho fundamentales harán que surja la teoría formalista: 1õ. Surge a principios del siglo XIX teorías no euclídeas y 2õ. Teorías de conjuntos y crisis de fundamentos de finales del siglo XIX. Simutalneamente el problema de la fundamentación de la matemática daba lugar a las distintas escuelas que iban a adoptar diferentes tratamientos: la escuela logicista defendida por Bernard Russel; la escuela intuicionista al frente de la que estaba Brouwer; y la escuela formalista encabezada por Hilbert. El programa de la última buscará una demostración consistente para un cálculo formal axiomatizado. Hilbert introduce una sutil diferencia entre la teoría matemática, constituida por todas las fórmulas de la matemática intuitiva y la metamatemática que tiene por objeto el estudio de la misma matemática y que estará formada por todas las proposiciones que se pueden hacer a partir de las fórmulas matemáticas. Así, pues en síntesis en primer lugar una teoría matemática de carácter informal como por ejemplo la aritmétic; después un sistema formal del cual la aritmética sería una interpretación y; en tercer lugar, el estudio del sistema formal y de sus propiedades estructurales que recibe el nombre de metamatemática, en donde el lenguaje y el racionamiento vuelven a tener un carácter informal. La idea básica de Hilbert consiste en estudiar y analizar el sistema formal hasta que se pueda poner de relieve la imposibilidad de una contradicción para la aritmética clásica. En 1931 se puso de manifiesto la imposibilidad de demostrar la consistencia de un sistema formal suficientemente amplio para contener toda la aritmética. Dicha demostración iba a suponer la renuncia del objetivo fundamental del programa de Hilbert. A pesar de la pérdida del objetivo básico de su programa (de Hilbert), el estudio de los sistemas formales proporcionó importantes conocimientos de la lógica formal y abrió nuevas perspectivas de estudio. La aparicición y desarrollo del formalismo, como estilo y método de trabajo para la matemática ha dado sus frutos en el terreno de la fundamentación donde propiamente había nacido y es pertinente situar su principal aportación que es darles métodos para analizar sus estructuras y sus nociones fundamentales con el fin de precisar su claridad, etcétera. El papel social constructivo que la matemática jugó en la edificación del capitalismo comercial e industrial fue esencialmente lo que hizo que se fomentara su estudio, aunque tuviera que adoptar formas cada vez más abstractas para llegar a planos más profundos de la realidad.

Dunford-Pettis properties, Hilbert spaces and projective tensor products

We study complete continuity properties of operators onto ℓ2 and prove several results in the Dunford–Pettis theory of JB∗-triples and their projective tensor products, culminating in characterisations of the alternative Dunford–Pettis property for where E and F are JB∗-triples.

Spatial covariation of Azotobacter abundance and soil properties: A case study using the wavelet transform

The soil microflora is very heterogeneous in its spatial distribution. The origins of this heterogeneity and its significance for soil function are not well understood. A problem for understanding spatial variation better is the assumption of statistical stationarity that is made in most of the statistical methods used to assess it. These assumptions are made explicit in geostatistical methods that have been increasingly used by soil biologists in recent years. Geostatistical methods are powerful, particularly for local prediction, but they require the assumption that the variability of a property of interest is spatially uniform, which is not always plausible given what is known about the complexity of the soil microflora and the soil environment. We have used the wavelet transform, a relatively new innovation in mathematical analysis, to investigate the spatial variation of abundance of Azotobacter in the soil of a typical agricultural landscape. The wavelet transform entails no assumptions of stationarity and is well suited to the analysis of variables that show intermittent or transient features at different spatial scales. In this study, we computed cross-variograms of Azotobacter abundance with the pH, water content and loss on ignition of the soil. These revealed scale-dependent covariation in all cases. The wavelet transform also showed that the correlation of Azotobacter abundance with all three soil properties depended on spatial scale, the correlation generally increased with spatial scale and was only significantly different from zero at some scales. However, the wavelet analysis also allowed us to show how the correlation changed across the landscape. For example, at one scale Azotobacter abundance was strongly correlated with pH in part of the transect, and not with soil water content, but this was reversed elsewhere on the transect. The results show how scale-dependent variation of potentially limiting environmental factors can induce a complex spatial pattern of abundance in a soil organism. The geostatistical methods that we used here make assumptions that are not consistent with the spatial changes in the covariation of these properties that our wavelet analysis has shown. This suggests that the wavelet transform is a powerful tool for future investigation of the spatial structure and function of soil biota. (c) 2006 Elsevier Ltd. All rights reserved.

Assessment of the consistency of near-infrared water vapor line intensities using high-spectral-resolution ground-based Fourier transform measurements of solar radiation

Calculations of the absorption of solar radiation by atmospheric gases, and water vapor in particular, are dependent on the quality of databases of spectral line parameters. There has been increasing scrutiny of databases such as HITRAN in recent years, but this has mostly been performed on a band-by-band basis. We report nine high-spectral-resolution (0.03 cm(-1)) measurements of the solar radiation reaching the surface in southern England over the wave number range 2000 to 12,500 cm(-1) (0.8 to 5 mm) that allow a unique assessment of the consistency of the spectral line databases over this entire spectral region. The data are assessed in terms of the modeled water vapor column that is required to bring calculations and observations into agreement; for an entirely consistent database, this water vapor column should be constant with frequency. For the HITRAN01 database, the spread in water vapor column is about 11%, with distinct shifts between different spectral regions. The HITRAN04 database is in significantly better agreement (about 5% spread) in the completely updated 3000 to 8000 cm(-1) spectral region, but inconsistencies between individual spectral regions remain: for example, in the 8000 to 9500 cm(-1) spectral region, the results indicate an 18% (+/- 1%) underestimate in line intensities with respect to the 3000 to 8000 cm(-1) region. These measurements also indicate the impact of isotopic fractionation of water vapor in the 2500 to 2900 cm(-1) range, where HDO lines dominate over the lines of the most abundant isotope of H2O.

Fourier transform infrared spectra of H2CS and D2CS

Infrared spectra of thoformaldehyde, H2CS and D2CS, were observed in the gas phase at a resolution of better than 0.1 cm−1 from 4000 to 400 cm−1 using a Nicolet FTIR system. Vibrational band origins and rotational constants were determined for ν2, ν3, ν4, and ν6 of H2CS and for ν1, ν2, ν3, ν4, and ν6 of D2CS. The ν3, ν4, and ν6 bands of H2CS were analyzed as a set of three Coriolis interacting bands, and three Coriolis constants were determined; similarly the ν4 and ν6 bands of D2CS were analyzed as a pair of interacting bands and one Coriolis constant was determined. A general harmonic force field was determined, without constraints, to fit the vibrational wavenumbers, Coriolis constants, and centrifugal distortion constants. A zero-point (rz) structure was determined from the ground-state rotational constants, and the equilibrium (re) bond lengths were estimated.

The Klein-Gordon equation on the half line: a Riemann-Hilbert approach

We solve an initial-boundary problem for the Klein-Gordon equation on the half line using the Riemann-Hilbert approach to solving linear boundary value problems advocated by Fokas. The approach we present can be also used to solve more complicated boundary value problems for this equation, such as problems posed on time-dependent domains. Furthermore, it can be extended to treat integrable nonlinearisations of the Klein-Gordon equation. In this respect, we briefly discuss how our results could motivate a novel treatment of the sine-Gordon equation.

Spectral analysis of the elliptic sine-Gordon equation in the quarter plane

We study the elliptic sine-Gordon equation in the quarter plane using a spectral transform approach. We determine the Riemann-Hilbert problem associated with well-posed boundary value problems in this domain and use it to derive a formal representation of the solution. Our analysis is based on a generalization of the usual inverse scattering transform recently introduced by Fokas for studying linear elliptic problems.

Remote gas detection and quantitative analysis from infrared emission spectra obtained by Fourier transform infrared spectroscopy

Techniques for obtaining quantitative values of the temperatures and concentrations of remote hot gaseous effluents from their measured passive emission spectra have been examined in laboratory experiments. The high sensitivity of the spectrometer in the vicinity of the 2397 cm-1 band head region of CO2 has allowed the gas temperature to be calculated from the relative intensity of the observed rotational lines. The spatial distribution of the CO2 in a methane flame has been reconstructed tomographically using a matrix inversion technique. The spectrometer has been calibrated against a black body source at different temperatures and a self absorption correction has been applied to the data avoiding the need to measure the transmission directly. Reconstruction artifacts have been reduced by applying a smoothing routine to the inversion matrix.

Automatic internal calibration in liquid chromatography/Fourier transform ion cyclotron resonance mass spectrometry of protein digests

Accurately measured peptide masses can be used for large-scale protein identification from bacterial whole-cell digests as an alternative to tandem mass spectrometry (MS/MS) provided mass measurement errors of a few parts-per-million (ppm) are obtained. Fourier transform ion cyclotron resonance (FTICR) mass spectrometry (MS) routinely achieves such mass accuracy either with internal calibration or by regulating the charge in the analyzer cell. We have developed a novel and automated method for internal calibration of liquid chromatography (LC)/FTICR data from whole-cell digests using peptides in the sample identified by concurrent MS/MS together with ambient polydimethyl-cyclosiloxanes as internal calibrants in the mass spectra. The method reduced mass measurement error from 4.3 +/- 3.7 ppm to 0.3 +/- 2.3 ppm in an E. coli LC/FTICR dataset of 1000 MS and MS/MS spectra and is applicable to all analyses of complex protein digests by FTICRMS. Copyright (c) 2006 John Wiley & Sons, Ltd.