A articulação entre técnica e semiótica na concretização do ambiente virtual

O objetivo desse trabalho foi investigar o surgimento e a concretização do ambiente virtual (AV). Este pode ser visto como a concretização de um novo tipo de ambiente advindo da fusão da técnica com a semiótica. O processo de virtualização nasce da articulação entre técnica e semiótica. O AV não é uma maquinaria puramente técnica. Nele a técnica se virtualiza e se atualiza como semiótica. Para defender esta tese, utilizamos conceitos estabelecidos por Gilles Deleuze e Felix Guattari, que consideramos os mais pertinentes para a análise proposta. Procuramos construir um plano de consistência conceitual para a problemática criada com o surgimento do AV. Este é mais que um conjunto de abstrações, ele estabelece novos espaços concretos, que abrem oportunidades para o campo educacional. Do AV emerge uma máquina abstrata que provoca desterritorializações e reterritorializações. E a partir dele podem surgir linhas de fuga criadoras, mas também linhas de fuga que paralisam as oportunidades de transformação. A máquina abstrata ambiente virtual possui regimes semióticos que devemos mapear e programas que devemos conhecer, pois ela está sobrescrevendo outras máquinas abstratas, inclusive a educacional. É preciso saber distinguir o plano técnico do programa tecnocrático

On the Inherent Incompleteness of Scientific Theories

We examine the question of whether scientific theories can ever be complete. For two closely related reasons, we will argue that they cannot. The first reason is the inability to determine what are “valid empirical observations”, a result that is based on a self-reference Gödel/Tarski-like proof. The second reason is the existence of “meta-empirical” evidence of the inherent incompleteness of observations. These reasons, along with theoretical incompleteness, are intimately connected to the notion of belief and to theses within the philosophy of science: the Quine-Duhem (and underdetermination) thesis and the observational/theoretical distinction failure. Some puzzling aspects of the philosophical theses will become clearer in light of these connections. Other results that follow are: no absolute measure of the informational content of empirical data, no absolute measure of the entropy of physical systems, and no complete computer simulation of the natural world are possible. The connections with the mathematical theorems of Gödel and Tarski reveal the existence of other connections between scientific and mathematical incompleteness: computational irreducibility, complexity, infinity, arbitrariness and self-reference. Finally, suggestions will be offered of where a more rigorous (or formal) “proof” of scientific incompleteness can be found

O modelo baseado no agente: uma aplicação ao estudo do mercado de trabalho

Mestrado em EconomiaEste trabalho apresenta um modelo baseado no agente que demonstra em que circunstâncias podem emergir comportamentos cooperativos, através de um processo heurístico, e como o equilíbrio emerge endogenamente de interacções descentralizadas de agentes adaptativos e autónomos. Este tipo de modelação é apresentado como uma forma promissora de evitar as dificuldades inerentes à tradicional conceptualização do agente racional, por exemplo, a relação entre os níveis micro e macro, um obstáculo comummente ultrapassado pela ideia de "agregação" e pelo ubíquo conceito de "agente representativo". O modelo apresentado define dois tipos de agentes - empresas e trabalhadores -, com diferentes funções de pagamento e capacidades de aprendizagem, o que lhes permite desenvolver um repertório de regras, activadas selectivamente. Num contexto de contratos incompletos, cada salário oferecido pela empresa será associado a um nível de esforço escolhido pelo trabalhador. De acordo com os pagamentos obtidos, as regras serão redefinidas periodicamente e novos pagamentos irão emergir. Este processo é repetido várias vezes. São depois introduzidas pequenas alterações no modelo (por exemplo, reciprocidade, competição e desemprego) por forma a comparar os resultados obtidos com o tratamento base. Como é que motivações individuais divergentes criam uma coordenação eficiente? A economia computacional distingue-se por ser descritiva e não fazer quaisquer exigências normativas. Tal como a teoria prospectiva, pretende explicar preferências quer estas sejam "racionais" ou não. As simulações computacionais baseadas no agente podem ajudar a explicar as complexas relações entre realidades emergentes micro e macro e, consequentemente, dar outra perspectiva das estruturas de interacção, a sua heterogeneidade e o processo de aprendizagem adaptativo. O principal desafio que se coloca é perceber que vantagens esta abordagem pode trazer na ligação entre a análise do agente individual e o comportamento sistémico

Hilbert Mathematics Versus Gödel Mathematics. IV. The New Approach of Hilbert Mathematics Easily Resolving the Most Difficult Problems of Gödel Mathematics

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions