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.

Formal and informal mechanisms for knowledge protection and sharing

The most important knowledge in firms is mostly tacit and embedded in individuals within the organization. This background knowledge that firms possess is used for creation of new knowledge and innovations. As firms today greatly concentrate on their core competencies, they need external knowledge from various collaboration partners. Thus, collaborative relationship governance, as well as control (use of appropriability mechanisms) over background (the input from each firm in innovative activities) and foreground knowledge (the output of collaboration activities) is needed in order to successfully create and capture value from innovative activities without losing core knowledge and competitiveness. Even though research has concentrated on knowledge protection and knowledge sharing, studies that combine both of these views and examine the effects of sharing and protection on value creation and capture have been rather limited. Studies have mainly focused on the protection of the output of innovation while forgetting the protection of the input of innovation. On the other hand, as the research concentrating on the output of innovation tends to favor formal mechanisms, informal mechanisms have remained more unknown to researchers as well as managers. This research aims to combine the perspectives of knowledge sharing and knowledge protection and their relationship with value creation and value capture. The sharing and protection are viewed from two points of view: the use of appropriability mechanisms, as well as governance of the collaborative relationship. The study consists of two parts. The first part introduces the research topic and discusses the overall results. The second part comprises six complementary research publications. Both qualitative and quantitative research methods are used in the study. In terms of results, the findings enhance understanding of the combined use of formal and informal mechanisms for knowledge protection and sharing. Informal mechanisms appear to be emphasized in the protection of background knowledge, and thus are prerequisites for innovation, whereas formal mechanisms are relied on more for protecting the results of innovative activities. However, the simultaneous use of the formal and informal mechanisms that are relevant to the particular industry and innovation context is recommendedthroughout the collaborative innovation process. Further, the study adds to the current knowledge on HRM as an appropriability mechanism: on the firm level its uses include assessing and hedging against employee-related risks such as knowledge leaking and knowledge leaving. A further contribution is to the research on HRM protection and its interrelations with other appropriability mechanisms, its constituents, and its potential use in the area of knowledge protection.

Theorizing Formal and Informal Feedback Practices in Management Accounting Through Three Dimensions

The purpose of this doctoral thesis is to widen and develop our theoretical frameworks for discussion and analyses of feedback practices in management accounting, particularly shedding light on its formal and informal aspects. The concept of feedback in management accounting has conventionally been analyzed within cybernetic control theory, in which feedback flows as a diagnostic or comparative loop between measurable outputs and pre-set goals (see e.g. Flamholtz et al. 1985; Flamholtz 1996, 1983), i.e. as a formal feedback loop. However, the everyday feedback practices in organizations are combinations of formal and informal elements. In addition to technique-driven feedback approaches (like budgets, measurement, and reward systems) we could also categorize social feedback practices that managers see relevant and effective in the pursuit of organizational control. While cybernetics or control theories successfully capture rational and measured aspects of organizational performance and offer a broad organizational context for the analysis, many individual and informal aspects remain vague and isolated. In order to discuss and make sense of the heterogeneous field of interpretations of formal and informal feedback, both in theory and practice, dichotomous approaches seem to be insufficient. Therefore, I suggest an analytical framework of formal and informal feedback with three dimensions (3D’s): source, time, and rule. Based on an abductive analysis of the theoretical and empirical findings from an interpretive case study around a business unit called Division Steelco, the 3Dframework and formal and informal feedback practices are further elaborated vis-á-vis the four thematic layers in the organizational control model by Flamholtz et al. (1985; Flamholtz 1996, 1983): core control system, organizational structure, organizational culture, and external environment. Various personal and cultural meanings given to the formal and informal feedback practices (“feedback as something”) create multidimensional interpretative contexts. Multidimensional frameworks aim to capture and better understand both the variety of interpretations and their implications to the functionality of feedback practices, important in interpretive research.

Indicadores de qualidade e composição de leite informal comercializado na região Sudeste do Estado de São Paulo

Resumo:O leite informal é reconhecido como o produto comercializado sem inspeção. Avaliou-se a qualidade microbiológica, constituintes nutricionais e presença de substâncias inibidoras do crescimento bacteriano em 100 amostras informais de leite de vacas, comercializadas na região sudoeste do estado de São Paulo, Brasil. Verificou-se que 77% da Contagem de Células Somáticas (CCS) e 86% da Contagem Bacteriana Total (CBT) das amostras estavam em desacordo com os valores máximos exigidos pela Instrução Normativa 62 do MAPA. Identificaram-se teores em desacordo para sólidos totais (36%), proteína (23%), gordura (38%), extrato seco desengordurado (43%) e nitrogênio uréico (73%). Em 59% das amostras detectou-se a presença de resíduos de inibidores do crescimento bacteriano. Isolaram-se 240 linhagens de micro-organismos com predomínio de enterobactérias, estreptococos, estafilococos e fungos. O leite informal é comercializado na região sem as mínimas condições de higiene e oferece riscos a saúde pública, além de representar sério problema sócio-econômico para região.

The good and the successful - Examination of informal learning mechanisms

This thesis strived to find out which informal learning (IL) mechanisms are used the most by the respondents. Additionally, the goal was to know more about the respondents as informal learners and what could explain possible differences. The target was to resolve whether informal learning explains differences in individual performance or, do some other explanations for success exist. Informal learning was to be made more visible, since many are unaware of it. Relevant IL mechanisms that the interviewees could explain were selected for this thesis. The theory on informal learning was presented and some additional informal learning mechanisms were included: Underlying learning theories, internal and external learning resources, as well as some sport related informal learning mechanisms. Various scholars have explained these terms. The final results of this thesis relate to business context, but sport is at the scope of my research. The target group consisted of nine individuals in team sports that were considered as high performers (good/successful). Hence, also the concept of high performance was clarified with competence, expertise and talent literature. The study is qualitative and face-to-face interviews were chosen. The data was analyzed with Grounded Theory principles and theory elaboration. This thesis pointed out similarities and differences between the respondents´ answers (good/successful, inexperienced/experienced). Thus, the analysis clarified that there are different attitudes to learning and different learner profiles in sports context. Also, it became clear that some informal learning mechanisms are more used than others. Secondly, based on the most crucial differences, Typology of Talentum was formulated based on Le Deist & Winteron´s (2005, 39) Typology of holistic competence. Some variables of informal learning seemed to constitute the Meta-competence of Typology that ultimately causes the differences in individual performance and success. The results can be transferred to business context because meta-competence is transferable by nature.

New [18F]Tracers for Alzheimer's Disease Imaging. Labeling Synthesis And Biological Testing

Alzheimer’s disease (AD) is the most common form of dementia. Characteristic changes in an AD brain are the formation of β-amyloid protein (Aβ) plaques and neurofibrillary tangles, though other alterations in the brain have also been connected to AD. No cure is available for AD and it is one of the leading causes of death among the elderly in developed countries. Liposomes are biocompatible and biodegradable spherical phospholipid bilayer vesicles that can enclose various compounds. Several functional groups can be attached on the surface of liposomes in order to achieve long-circulating target-specific liposomes. Liposomes can be utilized as drug carriers and vehicles for imaging agents. Positron emission tomography (PET) is a non-invasive imaging method to study biological processes in living organisms. In this study using nucleophilic 18F-labeling synthesis, various synthesis approaches and leaving groups for novel PET imaging tracers have been developed to target AD pathology in the brain. The tracers were the thioflavin derivative [18F]flutemetamol, curcumin derivative [18F]treg-curcumin, and functionalized [18F]nanoliposomes, which all target Aβ in the AD brain. These tracers were evaluated using transgenic AD mouse models. In addition, 18F-labeling synthesis was developed for a tracer targeting the S1P3 receptor. The chosen 18F-fluorination strategy had an effect on the radiochemical yield and specific activity of the tracers. [18F]Treg-curcumin and functionalized [18F]nanoliposomes had low uptake in AD mouse brain, whereas [18F]flutemetamol exhibited the appropriate properties for preclinical Aβ-imaging. All of these tracers can be utilized in studies of the pathology and treatment of AD and related diseases.

Protection of plasmid DNA by a Ginkgo biloba extract from the effects of stannous chloride and the action on the labeling of blood elements with technetium-99m

Ginkgo biloba extract (EGb) is a phytotherapeutic agent used for the treatment of ischemic and neurological disorders. Because the action of this important extract is not fully known, assays using different biological systems need to be performed. Red blood cells (RBC) are labeled with technetium-99m (Tc-99m) and used in nuclear medicine. The labeling depends on a reducing agent, usually stannous chloride (SnCl2). We assessed the effect of different concentrations of EGb on the labeling of blood constituents with Tc-99m, as sodium pertechnetate (3.7 MBq), and on the mobility of a plasmid DNA treated with SnCl2 (1.2 µg/ml) at room temperature. Blood was incubated with EGb before the addition of SnCl2 and Tc-99m. Plasma (P) and RBC were separated and precipitated with trichloroacetic acid, and soluble (SF-P and SF-RBC) and insoluble (IF-P and IF-RBC) fractions were isolated. The plasmid was incubated with Egb, SnCl2 or EGb plus SnCl2 and agarose gel electrophoresis was performed. The gel was stained with ethidium bromide and the DNA bands were visualized by fluorescence in an ultraviolet transilluminator system. EGb decreased the labeling of RBC, IF-P and IF-RBC. The supercoiled form of the plasmid was modified by treatment with SnCl2 and protected by 40 mg/ml EGb. The effect of EGb on the tested systems may be due to its chelating action with the stannous ions and/or pertechnetate or to the capability to generate reactive oxygen species that could oxidize the stannous ion.

Informal learning and competence development during a management trainee program

The purpose of this research was to study how management trainee program participants experienced the program with respect to their learning and competence development. Additionally, the purpose was also to examine what the trainees learned and how the learning occurred. Furthermore, factors affecting learning in the workplace were examined. The theoretical framework of this research was formed utilizing individual competence and informal learning frameworks. Research was conducted as a single case study and data was gathered by thematic interviews. The results of this research indicate that the trainees experienced the program as a good method for learning the overall picture of the organization and its business. Regarding competence development, especially knowledge- and cognitive competence categories were developed during the program. The best learning outcomes were achieved through learning by doing, in co-operation with others, and learning from others. The results indicate that the planning of the program and its structure have a significant effect on learning. Furthermore, a sufficient level of challenge was experienced as being important for the quality of the learning as well.

Measurement of annexin V uptake and lactadherin labeling for the quantification of apoptosis in adherent Tca8113 and ACC-2 cells

Phosphatidylserine (PS) exposure occurs during the cell death program and fluorescein-labeled lactadherin permits the detection of PS exposure earlier than annexin V in suspended cell lines. Adherent cell lines were studied for this apoptosis-associated phenomenon to determine if PS probing methods are reliable because specific membrane damage may occur during harvesting. Apoptosis was induced in the human tongue squamous carcinoma cell line (Tca8113) and the adenoid cystic carcinoma cell line (ACC-2) by arsenic trioxide. Cells were harvested with a modified procedure and labeled with lactadherin and/or annexin V. PS exposure was localized by confocal microscopy and apoptosis was quantified by flow cytometry. The detachment procedure without trypsinization did not induce cell damage. In competition binding experiments, phospholipid vesicles competed for more than 95 and 90% of lactadherin but only about 75 and 70% of annexin V binding to Tca8113 and ACC-2 cells. These data indicate that PS exposure occurs in three stages during the cell death program and that fluorescein-labeled lactadherin permitted the detection of early PS exposure. A similar pattern of PS exposure has been observed in two malignant cell lines with different adherence, suggesting that this pattern of PS exposure is common in adherent cells. Both lactadherin and annexin V could be used in adherent Tca8113 and ACC-2 cell lines when an appropriate harvesting procedure was used. Lactadherin is more sensitive than annexin V for the detection of PS exposure as the physical structure of PS in these blebs and condensed apoptotic cell surface may be more conducive to binding lactadherin than annexin V.

Pró-vitaminas A em hortaliças comercializadas no mercado formal e informal de Viçosa (MG), em três estações do ano

Para fornecer dados sobre a influência climática e a forma de comercialização sobre carotenóides de vegetais, este estudo pesquisou o conteúdo de alfa e beta-caroteno e o valor de vitamina A de sete hortaliças (batata-doce, cenoura, moranga, pimentão, quiabo, tomate e vagem), na cidade de Viçosa (MG), utilizando a Cromatografia Líquida de Alta Eficiência. Compararam-se hortaliças comercializadas nos mercados formal (mercados locais) e informal (feira livre) durante primavera, verão e outono. A cenoura apresentou os teores mais elevados de alfa e beta-caroteno (31,17 e 58,18 µg/g, respectivamente), seguida pela moranga (4,33 e 23,16 µg/g, respectivamente), enquanto a batata-doce apresentou o teor mais reduzido de beta-caroteno (0,51 µg/g). O valor de vitamina A variou conforme o perfil de alfa e beta-caroteno. Com exceção da cenoura e do quiabo, não houve influência significativa do local de comercialização sobre o conteúdo de carotenóides. A variação do conteúdo de carotenos nas estações do ano foi inexpressiva, sendo que apenas o pimentão apresentou valores significativamente diferentes. Porções de 100 g das hortaliças analisadas fornecem entre 3 e 78% da recomendação de vitamina A.

Quality of propolis commercialized in the informal market

The purpose of this research was to evaluate the quality of propolis produced and commercialized informally in São Paulo State through physicochemical analyses of ethanolic extracts of propolis (EEP). Thus, 40 samples of in nature propolis, provided by beekeepers from 32 towns, were analyzed. The EEP were prepared in a proportion of 30% (w/v), and the physicochemical tests were performed according to the Technical Regulation of Propolis Identity and Quality. The pH of each EEP sample was also evaluated. Regarding the dry extract, it was observed that 80% of the samples meet the minimum requirements established by the Brazilian legislation. With regard to the oxidizing property, 67.5% of EEP were below the maximum time allowed for oxidation. With regard to the solubility in lead acetate, 97.5% of the samples showed positive results, whereas no sample produced a negative result in terms of solubility in sodium hydroxide. Regarding the concentration of flavonoids, 95% of the samples produced results consistent with the minimum value allowed, and regarding the phenolic compounds, all samples were in accordance with the legislation. The EEP pH was slightly acidic. Therefore, it can be concluded that most EEP is consistently in accordance with the Brazilian legislation, which suggests that good quality propolis is produced by those beekeepers.