Max Abraham's and Tullio Levi-Civita's approach to Einstein Theory of Relativity

This work deals with the theory of Relativity and its diffusion in Italy in the first decades of the XX century. Not many scientists belonging to Italian universities were active in understanding Relativity, but two of them, Max Abraham and Tullio Levi-Civita left a deep mark. Max Abraham engaged a substantial debate against Einstein between 1912 and 1914 about electromagnetic and gravitation aspects of the theories. Levi-Civita played a fundamental role in giving Einstein the correct mathematical instruments for the General Relativity formulation since 1915. This work, which doesn't have the aim of a mere historical chronicle of the events, wants to highlight two particular perspectives: on one hand, the importance of Abraham-Einstein debate in order to clarify the basis of Special Relativity, to observe the rigorous logical structure resulting from a fragmentary reasoning sequence and to understand Einstein's thinking; on the other hand, the originality of Levi-Civita's approach, quite different from the Einstein's one, characterized by the introduction of a method typical of General Relativity even to Special Relativity and the attempt to hide the two Einstein Special Relativity postulates.

System innovation and life cycle thinking in packaging value chain: the circularity of plastics.

Compared to other, plastic materials have registered a strong acceleration in production and consumption during the last years. Despite the existence of waste management systems, plastic_based materials are still a pervasive presence in the environment, with negative consequences on marine ecosystem and human health. The recycling is still challenging due to the growing complexity of product design, the so-called overpackaging, the insufficient and inadequate recycling infrastructure, the weak market of recycled plastics and the high cost of waste treatment and disposal. The Circular economy package, the European Strategy for plastics in a circular economy and the recent European Green Deal include very ambitious programmes to rethink the entire plastic value chain. As regards packaging, all plastic packaging will have to be 100% recyclable (or reusable) and 55% recycled by 2030. Regions are consequently called upon to set up a robust plan able to fit the European objectives. It takes on greater importance in Emilia Romagna where the Packaging valley is located. This thesis supports the definition of a strategy aimed to establish an after-use plastics economy in the region. The PhD work has set the basis and the instruments to establish the so-called Circularity Strategy with the aim to turn about 92.000t of plastic waste into profitable secondary resources. System innovation, life cycle thinking and participative backcasting method have allowed to deeply analyse the current system, orientate the problem and explore sustainable solutions through a broad stakeholder participation. A material flow analysis, accompanied by a barrier analysis, has supported the identification of the gaps between the present situation and the 2030 scenario. Eco-design for and from recycling (and a mass _based recycling rate (based on the effective amount of plastic wastes turned into secondary plastics), valorized by a value_based indicator, are the key-points of the action plan.

Life Cycle Thinking for sustainability assessment and decision-making in selected food supply chains in Costa Rica

The Agenda 2030 contains 17 integrated Sustainable Development Goals (SDGs). SDG 12 for Sustainable Consumption and Production (SCP) promotes the efficient use of resources through a systemic change that decouples economic growth from environmental degradation. The Food Systems (FS) pillar in SDG 12 entails paramount relevance due to its interconnection to many other SDGs, and even when being a crucial world food supplier, the Latin American and Caribbean (LAC) Region struggles with environmental and social externalities, low investment in agriculture, inequity, food insecurity, poverty, and migration. Life Cycle Thinking (LCT) was regarded as a pertinent approach to identify hotspots and trade-offs, and support decision-making process to aid LAC Region countries as Costa Rica to diagnose sustainability and overcome certain challenges. This thesis aimed to ‘evaluate the sustainability of selected products from food supply chains in Costa Rica, to provide inputs for further sustainable decision-making, through the application of Life Cycle Thinking’. To do this, Life Cycle Assessment (LCA), Life Cycle Costing (LCC), and Social Life Cycle Assessment (S-LCA) evaluated the sustainability of food-waste-to-energy alternatives, and the production of green coffee, raw milk and leafy vegetables, and identified environmental, social and cost hotspots. This approach also proved to be a useful component of decision-making and policy-making processes together with other methods. LCT scientific literature led by LAC or Costa Rican researchers is still scarce; therefore, this research contributed to improve capacities in the use of LCT in this context, while offering potential replicability of the developed frameworks in similar cases. Main limitations related to the representativeness and availability of primary data; however, future research and extension activities are foreseen to increase local data availability, capacity building, and the discussion of potential integration through Life Cycle Sustainability Assessment (LCSA).

Towards a logical foundation of randomized computation

This dissertation investigates the relations between logic and TCS in the probabilistic setting. It is motivated by two main considerations. On the one hand, since their appearance in the 1960s-1970s, probabilistic models have become increasingly pervasive in several fast-growing areas of CS. On the other, the study and development of (deterministic) computational models has considerably benefitted from the mutual interchanges between logic and CS. Nevertheless, probabilistic computation was only marginally touched by such fruitful interactions. The goal of this thesis is precisely to (start) bring(ing) this gap, by developing logical systems corresponding to specific aspects of randomized computation and, therefore, by generalizing standard achievements to the probabilistic realm. To do so, our key ingredient is the introduction of new, measure-sensitive quantifiers associated with quantitative interpretations. The dissertation is tripartite. In the first part, we focus on the relation between logic and counting complexity classes. We show that, due to our classical counting propositional logic, it is possible to generalize to counting classes, the standard results by Cook and Meyer and Stockmeyer linking propositional logic and the polynomial hierarchy. Indeed, we show that the validity problem for counting-quantified formulae captures the corresponding level in Wagner's hierarchy. In the second part, we consider programming language theory. Type systems for randomized \lambda-calculi, also guaranteeing various forms of termination properties, were introduced in the last decades, but these are not "logically oriented" and no Curry-Howard correspondence is known for them. Following intuitions coming from counting logics, we define the first probabilistic version of the correspondence. Finally, we consider the relationship between arithmetic and computation. We present a quantitative extension of the language of arithmetic able to formalize basic results from probability theory. This language is also our starting point to define randomized bounded theories and, so, to generalize canonical results by Buss.