516 research outputs found
Predicativity and parametric polymorphism of Brouwerian implication
A common objection to the definition of intuitionistic implication in the
Proof Interpretation is that it is impredicative. I discuss the history of that
objection, argue that in Brouwer's writings predicativity of implication is
ensured through parametric polymorphism of functions on species, and compare
this construal with the alternative approaches to predicative implication of
Goodman, Dummett, Prawitz, and Martin-L\"of.Comment: Added further references (Pistone, Poincar\'e, Tabatabai, Van Atten
Modal and nonmodal stability analysis of electrohydrodynamic flow with and without cross-flow
We report the results of a complete modal and nonmodal linear stability
analysis of the electrohydrodynamic flow (EHD) for the problem of
electroconvection in the strong injection region. Convective cells are formed
by Coulomb force in an insulating liquid residing between two plane electrodes
subject to unipolar injection. Besides pure electroconvection, we also consider
the case where a cross-flow is present, generated by a streamwise pressure
gradient, in the form of a laminar Poiseuille flow. The effect of charge
diffusion, often neglected in previous linear stability analyses, is included
in the present study and a transient growth analysis, rarely considered in EHD,
is carried out. In the case without cross-flow, a non-zero charge diffusion
leads to a lower linear stability threshold and thus to a more unstable low.
The transient growth, though enhanced by increasing charge diffusion, remains
small and hence cannot fully account for the discrepancy of the linear
stability threshold between theoretical and experimental results. When a
cross-flow is present, increasing the strength of the electric field in the
high- Poiseuille flow yields a more unstable flow in both modal and
nonmodal stability analyses. Even though the energy analysis and the
input-output analysis both indicate that the energy growth directly related to
the electric field is small, the electric effect enhances the lift-up
mechanism. The symmetry of channel flow with respect to the centerline is
broken due to the additional electric field acting in the wall-normal
direction. As a result, the centers of the streamwise rolls are shifted towards
the injector electrode, and the optimal spanwise wavenumber achieving maximum
transient energy growth increases with the strength of the electric field
The Creating Subject, the Brouwer-Kripke Schema, and infinite proofs
Kripke's Schema (better the Brouwer-Kripke Schema) and the Kreisel-Troelstra Theory of the Creating Subject were introduced around the same time for the same purpose, that of analysing Brouwer's 'Creating Subject arguments'; other applications have been found since. I first look in detail at a representative choice of Brouwer's arguments. Then I discuss the original use of the Schema and the Theory, their justification from a Brouwerian perspective, and instances of the Schema that can in fact be found in Brouwer's own writings. Finally, I defend the Schema and the Theory against a number of objections that have been made
A note on Leibniz' argument against infinite wholes
International audienceLeibniz had a well-known argument against the existence of infinite wholes that is based on the part-whole axiom: the whole is greater than the part. The refutation of this argument by Russell and others is equally well known. In thisnote, I argue (against positions recently defended by Arthur, Breger, and Brown) for the following three claims: (1) Leibniz himself had all the means to devise and accept this refutation; (2) This refutation does not presuppose the consistency of Cantorian set theory; (3) This refutation does not cast doubt on the part-whole axiom. Hence, should there be an obstacle to Gödel's wish to integrate Cantorian set theory within Leibniz' philosophy, it will not be this famous argument of Leibniz'
Benchmarking Air Emissions of the 100 Largest Electric Power Producers in the United States
The 2015 Benchmarking report is the eleventh collaborative effort highlighting environmental performance and progress in the nation's electric power sector. The Benchmarking series uses publicly reported data to compare the emissions performance of the 100 largest power producers in the United States. The current report is based on 2013 generation and emissions data.The Benchmarking report facilitates the comparison of emissions performance by combining generation and fuel consumption data compiled by EIA with emissions data on sulfur dioxide (SO2), nitrogen oxides (NOx), carbon dioxide (CO2) and mercury compiled by EPA; error checking the data; and presenting emissions information for the nation's 100 largest power producers in a graphic format that aids in understanding and evaluating the data. The report is intended for a wide audience, including electric industry executives, environmental advocates, financial analysts, investors, journalists, power plant managers, and public policymakers
Kant and real numbers
Kant held that under the concept of √2 falls a geometrical magnitude, but not a number. In particular, he explicitly distinguished this root from potentially infinite converging sequences of rationals. Like Kant, Brouwer based his foundations of mathematics on the a priori intuition of time, but unlike Kant, Brouwer did identify this root with a potentially infinite sequence. In this paper I discuss the systematical reasons why in Kant's philosophy this identification is impossible
- …