A Possible and Necessary Consistency Proof

After Gödel's incompleteness theorems and the collapse of Hilbert's programme Gerhard Gentzen continued the quest for consistency proofs of Peano arithmetic. He considered a finitistic or constructive proof still possible and necessary for the foundations of mathematics. For a proof to be meaningful, the principles relied on should be considered more reliable than the doubtful elements of the theory concerned. He worked out a total of four proofs between 1934 and 1939. This thesis examines the consistency proofs for arithmetic by Gentzen from different angles. The consistency of Heyting arithmetic is shown both in a sequent calculus notation and in natural deduction. The former proof includes a cut elimination theorem for the calculus and a syntactical study of the purely arithmetical part of the system. The latter consistency proof in standard natural deduction has been an open problem since the publication of Gentzen's proofs. The solution to this problem for an intuitionistic calculus is based on a normalization proof by Howard. The proof is performed in the manner of Gentzen, by giving a reduction procedure for derivations of falsity. In contrast to Gentzen's proof, the procedure contains a vector assignment. The reduction reduces the first component of the vector and this component can be interpreted as an ordinal less than epsilon_0, thus ordering the derivations by complexity and proving termination of the process.

Diakoniatyön paikka ihmisten arjessa

This study examines the diaconia work of the Finnish Evangelical Lutheran Church from the standpoint of clients. The role of diaconia work has grown since the early 1990s recession, and since it established itself as one of the actors along with other social organizations. Previous studies have described the changing role of diaconal work, especially from the standpoint of diaconia workers and co-operators. This research goes back to examine, beyond the activities of the diaconia work of everyday practices, its relations of ruling which are determining practices. The theoretical and methodological framework rises from the thinking of Dorothy E. Smith, the creator of institutional ethnography. Its origins are in feminism, Marxism, phenomenology, etnomethodology, and symbolic interactionism. However, it does not represent any school. Unlike the objectivity-based traditional sociology, institutional ethnography has its starting point in everyday life, and people s subjective experience of it. Everyday life is just a starting point, and is used to examine everyday life s experiences of hidden relations of ruling, linking people and organizations. The level of generalization is just on the relations of ruling. The research task is to examine those meanings of diaconia work which are embedded in its clients experiences. The research task is investigated with two questions: how diaconia work among its clients takes shape and what kinds of relations of ruling exist in diaconia work. The meanings of diaconia work come through an examination of the relations of ruling, which create new forms of diaconal work compared with previous studies. For the study, two kinds of data were collected: a questionnaire and ethnographic fieldwork. The first data set was collected from diaconal workers using the questionnaire. It gives background information of the diaconia work process from the standpoint of the clients. In the ethnographic study there were two phases. The first ethnographic material was collected from one local parish by observing, interviewing clients and diaconal workers and gathering documents. The number of observations was 36 customer appointments, and 29 interviews. The second ethnographic material was included as a part of the analysis, in which ruling relations in people s experiences were collected from the transcribed data. Close reading and narrative analysis are used as analysing methods. The analysis has three phases. First, the experiences are identified with close reading; the following step is to select some of the institutional processes that are shaping those experiences and are relevant for the research. At the third stage, those processes are investigated in order to describe analytically how they determine people s experience. The analysis produces another narrative about diaconia work, which provides tools for examining the diaconal work from a new perspective. Through the analysis it is possible to see diaconia as an exchange ratio, in which the exchange takes place between a client and a diaconia worker, but also more broadly with other actors, such as social workers, shop clerks, or with other parishioners. The exchange ratio is examined from the perspective of power which is embedded in the client s experiences. The analysis reveals that the most important relations of ruling are humiliation and randomness in the exchange ratio of diaconia work; valuating spirituality above the bodily being; and replacing official social work. The results give a map about the relations of ruling of diaconia work which gives tools to look at diaconia work s meanings to the clients. The hidden element of humiliation in the exchange ratio breaks the current picture of diaconia work. The ethos of the holistic encounters and empathic practices are shown to be of another kind when spirituality is preferred to the bodily being. Nevertheless, diaconia appears to be a place for a respectful encounter, especially in situations where the public sector s actors are retreating on liability or clients are in a life crisis. The collapse of the welfare state structures imposes on diaconia work tasks that have not previously belonged to it. At the local level, clients receive partners from diaconia workers in order to advocate them in the welfare system. Actions to influence the wider societal structures are not reached because of lacking resources. An awareness of the oppressive practices of diaconia work and their critical reviewing are the keys to the development of diaconia work, since there are such practices even in holistic and respectful diaconia work. While the research raises new information for the development of diaconia work, it also opens up new aspects for developing other kinds of social work by emphasizing the importance of taking people s experiences seriously. Keywords: diaconia work, institutional ethnography, Dorothy E. Smith, experience, customer, relations of ruling.

Physical properties of a boreal clay soil under differently managed perennial vegetation

The physical properties of surface soil horizons, essentially pore size, shape, continuity and affinity for water, regulate water entry into the soil. These properties are prone to changes caused by natural forces and human activity. The hydraulic properties of the surface soil greatly impact the generation of surface runoff and accompanied erosion, the major concern of agricultural water protection. The general target of this thesis was to improve our understanding of the structural and hydraulic properties of boreal clay soils. Physical properties of a clayey surface soil (0 - 10 cm, clay content 51%), with a micaceous/illitic mineralogy subjected to three different management practices of perennial vegetation, were studied. The study sites were vegetated buffer zones located side by side in SW Finland: 1) natural vegetation with no management, 2) harvested once a year, and 3) grazed by cattle. The soil structure, hydraulic properties, shrinkage properties and soil water repellency were determined at all sites. Two distinct flow domains were evident. The surface soil was characterized by subangular blocky, angular blocky and platy aggregates. Hence, large, partially accommodated, irregular elongated pores dominated the macropore domain at all sites. The intra-aggregate pore system was mostly comprised of pores smaller than 30 μm, which are responsible for water storage. Macropores at the grazed site, compacted by hoof pressure, were horizontally oriented and pore connectivity was poorest, which decreased water and air flux compared with other sites. Drying of the soil greatly altered its structure. The decrease in soil volume between wet and dry soil was 7 - 10%, most of which occurred in the moisture range of field conditions. Structural changes, including irreversible collapse of interaggregate pores, began at matric potentials around -6 kPa indicating, instability of soil structure against increasing hydraulic stress. Water saturation and several freezethaw cycles between autumn and spring likely weakened the soil structure. Soil water repellency was observed at all sites at the time of sampling and when soil was dryer than about 40 vol.%. (matric potential < -6 kPa). Therefore, water repellency contributes to water flow over a wide moisture range. Water repellency was also observed in soils with low organic carbon content (< 2%), which suggests that this phenomenon is common in agricultural soils of Finland due to their relatively high organic carbon content. Aggregate-related pedofeatures of dense infillings described as clay intrusions were found at all sites. The formation of these intrusions was attributed to clay dispersion and/or translocation during spring thaw and drying of the suspension in situ. These processes generate very new aggregates whose physical properties are most probably different from those of the bulk soil aggregates. Formation of the clay infillings suggested that prolonged wetness in autumn and spring impairs soil structure due to clay dispersion, while on the other hand it contributes to the pedogenesis of the soil. The results emphasize the dynamic nature of the physical properties of clay soils, essentially driven by their moisture state. In a dry soil, fast preferential flow is favoured by abundant macropores including shrinkage cracks and is further enhanced by water repellency. Increase in soil moisture reduces water repellency, and swelling of accommodated pores lowers the saturated hydraulic conductivity. Moisture- and temperature-related processes significantly alter soil structure over a time span of 1 yr. Thus, the pore characteristics as well as the hydraulic properties of soil are time-dependent.