Labyrinthum capellae. Le "Annotationes in Marcianum" di Giovanni Scoto Eriugena e la fortuna del neoplatonismo cristiano

The labyrinthum Capella quoted in the title (from a Prudentius of Troyes epistle) represents the allegory of the studium of the liberal arts and the looking for knowledge in the early middle age. This is a capital problem in the early Christianity and, in general, for all the western world, concerning the relationship between faith and science. I studied the evolution of this subject from its birth to Carolingian age, focusing on the most relevant figures, for the western Europe, such Saint Augustine (De doctrina christiana), Martianus Capella (De Nuptiis Philologiae et Mercurii) and Iohannes Scotus Eriugena (Annotationes in Marcianum). Clearly it emerges that there were two opposite ways about this relatioship. According to the first, the human being is capable of get a knowledge about God thanks to its own reason and logical thought processes (by the analysis of the nature as a Speculum Dei); on the other way, only the faith and the grace could give the man the possibility to perceive God, and the Bible is the only book men need to know. From late antiquity to Iohannes Scotus times, a few christian and pagan authors fall into line with first position (the neoplatonic one): Saint Augustine (first part of his life, then he retracted some of his views), Martianus, Calcidius and Macrobius. Other philosophers were not neoplatonic bat believed in the power of the studium: Boethius, Cassiodorus, Isidorus of Seville, Hrabanus Maurus and Lupus of Ferriéres. In order to get an idea of this conception, I finally focused the research on Iohannes Scotus Eriugena's Annotationes in Marcianum. I commented Eriugena's work phrase by phrase trying to catch the sense of his words, the reference, philosophical influences, to trace antecedents and its clouts to later middle age and Chartres school. In this scholastic text Eriugena comments the Capella's work and poses again the question of the studium to his students. Iohannes was a magister in schola Palatina during the time of Carl the Bald, he knew Saint Augustine works, and he knew Boethius, Calcidius, Macrobius, Isidorus and Cassiodorus ones too. He translated Pseudo-Dionysius the Areopagite and Maximus the Confessor. He had a neoplatonic view of Christianity and tried to harmonize the impossibility to know God to man's intellectual capability to get a glimpse of God through the study of the nature. According to this point of view, Eriugena's comment of Martianus Capella was no more a secondary work. It gets more and more importance to understand his research and his mystic, and to understand and really grasp the inner sense of his chief work Periphyseon.

Expressiveness in biologically inspired languages

A very recent and exciting new area of research is the application of Concurrency Theory tools to formalize and analyze biological systems and one of the most promising approach comes from the process algebras (process calculi). A process calculus is a formal language that allows to describe concurrent systems and comes with well-established techniques for quantitative and qualitative analysis. Biological systems can be regarded as concurrent systems and therefore modeled by means of process calculi. In this thesis we focus on the process calculi approach to the modeling of biological systems and investigate, mostly from a theoretical point of view, several promising bio-inspired formalisms: Brane Calculi and k-calculus family. We provide several expressiveness results mostly by means of comparisons between calculi. We provide a lower bound to the computational power of the non Turing complete MDB Brane Calculi by showing an encoding of a simple P-System into MDB. We address the issue of local implementation within the k-calculus family: whether n-way rewrites can be simulated by binary interactions only. A solution introducing divergence is provided and we prove a deterministic solution preserving the termination property is not possible. We use the symmetric leader election problem to test synchronization capabilities within the k-calculus family. Several fragments of the original k-calculus are considered and we prove an impossibility result about encoding n-way synchronization into (n-1)-way synchronization. A similar impossibility result is obtained in a pure computer science context. We introduce CCSn, an extension of CCS with multiple input prefixes and show, using the dining philosophers problem, that there is no reasonable encoding of CCS(n+1) into CCSn.

La Pace Calda. La nascita del movimento antinucleare negli Stati Uniti e in Gran Bretagna, 1957-1963

The aim of this proposal is to offer an alternative perspective on the study of Cold War, since insufficient attention is usually paid to those organizations that mobilized against the development and proliferation of nuclear weapons. The antinuclear movement began to mobilize between the 1950s and the 1960s, when it finally gained the attention of public opinion, and helped to build a sort of global conscience about nuclear bombs. This was due to the activism of a significant part of the international scientific community, which offered powerful intellectual and political legitimization to the struggle, and to the combined actions of the scientific and organized protests. This antinuclear conscience is something we usually tend to consider as a fait accompli in contemporary world, but the question is to show its roots, and the way it influenced statesmen and political choices during the period of nuclear confrontation of the early Cold War. To understand what this conscience could be and how it should be defined, we have to look at the very meaning of the nuclear weapons that has deeply modified the sense of war. Nuclear weapons seemed to be able to destroy human beings everywhere with no realistic forms of control of the damages they could set off, and they represented the last resource in the wide range of means of mass destruction. Even if we tend to consider this idea fully rational and incontrovertible, it was not immediately born with the birth of nuclear weapons themselves. Or, better, not everyone in the world did immediately share it. Due to the particular climate of Cold War confrontation, deeply influenced by the persistence of realistic paradigms in international relations, British and U.S. governments looked at nuclear weapons simply as «a bullet». From the Trinity Test to the signature of the Limited Test Ban Treaty in 1963, many things happened that helped to shift this view upon nuclear weapons. First of all, more than ten years of scientific protests provided a more concerned knowledge about consequences of nuclear tests and about the use of nuclear weapons. Many scientists devoted their social activities to inform public opinion and policy-makers about the real significance of the power of the atom and the related danger for human beings. Secondly, some public figures, as physicists, philosophers, biologists, chemists, and so on, appealed directly to the human community to «leave the folly and face reality», publicly sponsoring the antinuclear conscience. Then, several organizations leaded by political, religious or radical individuals gave to this protests a formal structure. The Campaign for Nuclear Disarmament in Great Britain, as well as the National Committee for a Sane Nuclear Policy in the U.S., represented the voice of the masses against the attempts of governments to present nuclear arsenals as a fundamental part of the international equilibrium. Therefore, the antinuclear conscience could be defined as an opposite feeling to the development and the use of nuclear weapons, able to create a political issue oriented to the influence of military and foreign policies. Only taking into consideration the strength of this pressure, it seems possible to understand not only the beginning of nuclear negotiations, but also the reasons that permitted Cold War to remain cold.