Search results for "incompleteness"
showing 10 items of 12 documents
Exploring the generative power of performance measurement systems design
2019
Abstract Prior studies recognise the enabling power of incompleteness in the design of Performance Measurement Systems (PMS). We add to these studies by exploring the ‘time dimension’ of incompleteness as a way to delve into the generative power of design. To this aim, we rely upon the experience of a knowledge-intensive organization during the design of a new PMS. While knowledge complexity engaged the participants within an open-ended design process, incomplete measures were associated with unfolding memories of the past and confident beliefs in future solutions, which generated effects through the knowledge gaps that they entailed, as well as through the projections in the past and in th…
Molte Palermo. Temi
2019
Nel tema delle incompiute idee di città possibili si riconoscerà il paradigma connotativo dello stesso divenire di Palermo, lungo un percorso millenario di processi di trasformazione nessuno dei quali portato a compimento, in virtù di quel valore distintivo di exemplum che non necessita di ulteriori e conclusive dimostrazioni. Il corso della storia, del resto, ha imposto a Palermo il ciclico riproporsi di destini interrotti. Tale si rilevò l’invenzione della città capitale, quella della “quadratura geometrica e della croce di strade” sovrimpressa a quella archetipica e fondativa della Pan-ormos scambiatrice. E l’incompiutezza sarà il tratto distintivo della città dei rettifili stradali otto…
The double-incompleteness theorem
1976
Let T be a strong enough theory, and M - its metatheory, both are consistent. Then there is a closed arithmetical formula H that is undecidable in T, but one cannot prove in M neither that H is T-unprovable, nor that H is T-unrefutable. For English translation and proof, see K. Podnieks What is mathematics: Godel's theorem and around.
¿Qué papel juegan la evitación del daño y la sensación de inacabado en los síntomas obsesivos de orden y comprobación?
2020
Numerosas investigaciones han intentado determinar las variables implicadas en la génesis y mantenimiento del Trastorno Obsesivo-Compulsivo (TOC). Recientemente, se han propuesto la evitación del daño y la sensación de inacabado como dos dimensiones nucleares motivadoras de la sintomatología obsesivo-compulsiva. El objetivo de este estudio fue analizar el papel de la evitación del daño y la sensación de inacabado en su relación con los síntomas obsesivo-compulsivos. Para ello, se realizó un Path analysis en una muestra de 267 personas de la población general (74,5% mujeres; edad media 27,29 años). Los resultados mostraron que la asociación entre evitación del daño y los síntomas de orden y …
Realism, metamathematics, and the unpublished essays
1995
This initial chapter is divided into two sections. The first is devoted to a brief exposition of the intuitive essence and the philosophical motivation of Godel’s main metamathematical results, namely his completeness theorem for elementary logic (1930) and his incompleteness theorems for arithmetic (1931). Thereafter some discussion of the different ways to confront the relationship between those results and Godel’s philosophical realism in logic and mathematics is offered. Thus, mathematical realism will be successively regarded as (i) a philosophical consequence of those results; (ii) a heuristic principle which leads to them; (iii) a philosophical hypothesis which is “verified” by them.…
Phenomenological-Semantic Investigations into Incompleteness
2000
When today the phenomenologist surveys the history of the philosophical comprehension of Godel’s theorems, he is confronted with the realization that the decisive publications come almost exclusively from the sphere of analytic philosophy.1 But does phenomenology in the spirit of Husserl not mean to keep in step with the epochal results of the special sciences by working on the phenomenological understanding of them? Phenomenological research of this kind means the same as development of phenomenological theory of science (Wissenschaftstheorie). In connection with the incompleteness theorems, the latter would be confronted with fundamental questions such as, “To what extent can mathematical…
Logic, Computing and Biology
2015
Logic and Computing are appropriate formal languages for Biology, and we may well be surprised by the strong analogy between software and DNA, and between hardware and the protein machinery of the cell. This chapter examines to what extent any biological entity can be described by an algorithm and, therefore, whether the Turing machine and the halting problem concepts apply. Last of all, I introduce the concepts of recursion and algorithmic complexity, both from the field of computer science, which can help us understand and conceptualise biological complexity.
Inductive inference of recursive functions: Qualitative theory
2005
This survey contains both old and very recent results in non-quantitative aspects of inductive inference of total recursive functions. The survey is not complete. The paper was written to stress some of the main results in selected directions of research performed at the University of Latvia rather than to exhaust all of the obtained results. We concentrated on the more explored areas such as the inference of indices in non-Goedel computable numberings, the inference of minimal Goedel numbers, and the specifics of inference of minimal indices in Kolmogorov numberings.
El papel de la sensación de inacabado y las experiencias "Not Just Right" en el trastorno obsesivo compulsivo. Una aproximación experimental al estud…
2017
La investigación y la práctica clínica han demostrado que el Trastorno Obsesivo-Compulsivo (TOC) es una condición psicopatológica compleja y heterogénea desde el punto de vista etiológico y sintomatológico. Desde hace décadas, un importante cuerpo de investigaciones ha centrado sus esfuerzos en intentar determinar las variables involucradas en el inicio y mantenimiento de la sintomatología obsesivo-compulsiva. La mayoría de estos estudios se han llevado a cabo siguiendo la propuesta de los modelos teóricos cognitivo-conductuales, según los cuales el motivador subyacente a la sintomatología obsesivo-compulsiva es la evitación del daño o miedo a las consecuencias temidas. Concretamente, una g…
Formālisms kā reālās matemātikas filozofija: 14 argumenti
2015
Referāts Latvijas Universitātes 73.zinātniskajā konferencē 2015.gada 13.februārī.