Search results for "foundations"
showing 10 items of 100 documents
Leon Henkin the Reviewer
2014
In this chapter, we intend to look at Henkin’s reviews, a total of forty-six. The books and papers reviewed deal with a large variety of subjects that range from the algebraic treatment of logical systems to issues concerning the philosophy of mathematics and, not surprisingly—given his active work in mathematical education—one on the teaching of this subject. Most of them were published in The Journal of Symbolic Logic and only one in the Bulletin of the American Mathematical Society. We will start by sorting these works into subjects and continue by providing a brief summary of each of them in order to point out those aspects that are originally from Henkin, and what we take to be mistake…
Review††Edited by Adrian Rice and Antoni MaletAll books, monographs, journal articles, and other publications (including films and other multisensory…
2008
Non-Desarguian geometries and the foundations of geometry from David Hilbert to Ruth Moufang
2004
Abstract In this work, we study the development of non-Desarguian geometry from David Hilbert to Ruth Moufang. We will see that a geometric model became a complicated interrelation between algebra and geometry.
Latvijas Vēstures Institūta Žurnāls. 2013, Nr. 2 (87)
2013
Valsts kultūrkapitāla fonds
STEFANO DONATI. I Fondamenti della Matematica nel Logicismo di Bertrand Russell [The Foundations of Mathematics in the Logicism of Bertrand Russell]
2008
Entanglement of photons in their dual wave-particle nature
2017
Wave-particle duality is the most fundamental description of the nature of a quantum object, which behaves like a classical particle or wave depending on the measurement apparatus. On the other hand, entanglement represents nonclassical correlations of composite quantum systems, being also a key resource in quantum information. Despite the very recent observations of wave-particle superposition and entanglement, whether these two fundamental traits of quantum mechanics can emerge simultaneously remains an open issue. Here we introduce and experimentally realize a scheme that deterministically generates entanglement between the wave and particle states of two photons. The elementary tool all…
Can turbulence within the field of view cause significant biases in radiative transfer modeling at the 183 GHz band?
2018
The hypothesis whether turbulence within the passive microwave sounders field of view can cause significant biases in radiative transfer modeling at the 183 GHz water vapor absorption band is tested. A novel method to calculate the effects of turbulence in radiative transfer modeling is presented. It is shown that the turbulent nature of water vapor in the atmosphere can be a critical component of radiative transfer modeling in this band. Radiative transfer simulations are performed comparing a uniform field with a turbulent one. These comparisons show frequency dependent biases which can be up to several kelvin in brightness temperature. These biases can match experimentally observe…
HOLIMO II: a digital holographic instrument for ground-based in situ observations of microphysical properties of mixed-phase clouds
2013
Measurements of the microphysical properties of mixed-phase clouds with high spatial resolution are important to understand the processes inside these clouds. This work describes the design and characterization of the newly developed ground-based field instrument HOLIMO II (HOLographic Imager for Microscopic Objects II). HOLIMO II uses digital in-line holography to in situ image cloud particles in a well-defined sample volume. By an automated algorithm, two-dimensional images of single cloud particles between 6 and 250 μm in diameter are obtained and the size spectrum, the concentration and water content of clouds are calculated. By testing the sizing algorithm with monosized beads a system…
Development of a Bioaerosol single particle detector (BIO IN) for the Fast Ice Nucleus CHamber FINCH
2010
Abstract. In this work we present the setup and first tests of our new BIO IN detector. This detector was constructed to classify atmospheric ice nuclei (IN) for their biological content. It is designed to be coupled to the Fast Ice Nucleus CHamber FINCH. If one particle acts as an ice nucleus, it will be at least partly covered with ice at the end of the development section of the FINCH chamber. The device combines an auto-fluorescence detector and a circular depolarization detector for simultaneous detection of biological material and discrimination between water droplets, ice crystals and non activated large aerosol particles. The excitation of biological material with UV light and analy…
Estimation of the Repeatedly-Projected Reduced Density Matrix under Decoherence
2007
Decoherence is believed to deteriorate the ability of a purification scheme that is based on the idea of driving a system to a pure state by repeatedly measuring another system in interaction with the former and hinder for a pure state to be extracted asymptotically. Nevertheless, we find a way out of this difficulty by deriving an analytic expression of the reduced density matrix for a two-qubit system immersed in a bath. It is shown that we can still extract a pure state if the environment brings about only dephasing effects. In addition, for a dissipative environment, there is a possibility of obtaining a dominant pure state when we perform a finite number of measurements.