This thesis is devoted to the exploration of the complexity of some mathematical problems using the framework of computable analysis and descriptive set theory. We will especially focus on Weihrauch reducibility as a means to compare the uniform computational strength of problems. After a short introduction of the relevant background notions, we investigate the uniform computational content of problems arising from theorems that lie at the higher levels of the reverse mathematics hierarchy.We first analyze the strength of the open and (...) clopen Ramsey theorems. Since there is not a canonical way to phrase these theorems as multi-valued functions, we identify eight different multi-valued functions and study their degree from the point of view of Weihrauch, strong Weihrauch, and arithmetic Weihrauch reducibility.We then discuss some new operators on multi-valued functions and study their algebraic properties and the relations with other previously studied operators on problems. In particular, we study the first-order part and the deterministic part of a problem f, capturing the Weihrauch degree of the strongest multi-valued problem that is reducible to f and that, respectively, has codomain $\mathbb {N}$ or is single-valued.These notions proved to be extremely useful when exploring the Weihrauch degree of the problem $\mathsf {DS}$ of computing descending sequences in ill-founded linear orders. They allow us to show that $\mathsf {DS}$, and the Weihrauch equivalent problem $\mathsf {BS}$ of finding bad sequences through non-well quasi-orders, while being very “hard” to solve, are rather weak in terms of uniform computational strength. We then generalize $\mathsf {DS}$ and $\mathsf {BS}$ by considering $\boldsymbol {\Gamma }$ -presented orders, where $\boldsymbol {\Gamma }$ is a Borel pointclass or $\boldsymbol {\Delta }^1_1$, $\boldsymbol {\Sigma }^1_1$, $\boldsymbol {\Pi }^1_1$. We study the obtained $\mathsf {DS}$ -hierarchy and $\mathsf {BS}$ -hierarchy of problems in comparison with the Baire hierarchy and show that they do not collapse at any finite level.Finally, we work in the context of geometric measure theory and we focus on the characterization, from the point of view of descriptive set theory, of some conditions involving the notions of Hausdorff/Fourier dimension and Salem sets. We first work in the hyperspace $\mathbf {K}$ of compact subsets of $[0,1]$ and show that the closed Salem sets form a $\boldsymbol {\Pi }^0_3$ -complete family. This is done by characterizing the complexity of the family of sets having sufficiently large Hausdorff or Fourier dimension. We also show that the complexity does not change if we increase the dimension of the ambient space and work in $\mathbf {K}$. We also generalize the results by relaxing the compactness of the ambient space and show that the closed Salem sets are still $\boldsymbol {\Pi }^0_3$ -complete when we endow $\mathbf {F}$ with the Fell topology. A similar result holds also for the Vietoris topology.We conclude by analyzing the same notions from the point of view of effective descriptive set theory and Type-2 Theory of Effectivity, and show that the complexities remain the same also in the lightface case. In particular, we show that the family of all the closed Salem sets is $\Pi ^0_3$ -complete. We furthermore characterize the Weihrauch degree of the functions computing Hausdorff and Fourier dimension of closed sets.prepared by Manlio Valenti.E-mail:[email protected]. (shrink)

The aim of this article is to identify the main factors of the current crisis of the nation-state and to demonstrate how many of the voids left by this crisis are filled by religions. The main characteristic of the nation-state is the principle of sovereignty. The apogee of the nation-state is the political form of industrialization. National identity is possible only when the state proves to its citizens that the fact of being a member of it carries benefits and privileges (...) and will always bring more. Today, the majority of nation-states, in particular the oldest great powers, no longer have this capability. The weakening of the nation-state began at the end of the 19th century. The first wave of globalization multiplied the cases of reciprocal interferences and trespassed on the theoretical impermeability of the sovereign states. The outcome of the First World War, with the creation of the first supranational body, and much more the outcome of the Second World War, were two important steps of this crisis. The birth of the United Nations, and of other supranational bodies, as well as the creation of the first court called to judge an entire political class, were an assault on the principle of sovereignty. The second wave of globalization, characterized by the free circulation of goods, money, people and cultures, did the rest. Moreover, the countries that ‘invented’ the principle of sovereignty are today in relative decline as new powers are emerging. The nation-state is no longer able to keep its promises. The less effective states become at offering their citizens both meaning and social services, the more do religions tend to reoccupy the public stage. The less national and political legitimacy they have, the more powers use the religious tool against one another. (shrink)

The notion of ‘omnipotence’ (potentia dei) runs through the history of medieval philosophy especially after the contribution of Augustine’s thought. Augustine thus traces ethical developments from the idea of God’s sovereignty to the construction of an order of things comparable with his power of creation. Augustine was the first Christian thinker to introduce and document the notion of potentia dei in an ethical context, proving at the same time that the ambivalence of God’s power results either from the activity of (...) ordering, or from the impossibility of God’s duplication, or from the incapacity to destroy the world in respect to a rational configuration of laws and events. (shrink)

Una prima parte del saggio sintetizza le linee principali di un recente libro dell’autore: Per un paradigma del corpo: una rifondazione filosofica dell’ecologia, Quodlibet, Macerata, 2019. Viene sostenuto un paradigma in cui corpo e biologia mantengano la loro irriducibilità nei confronti della cultura e in cui il cosiddetto “linguistic turn”, che ha dominato la filosofia del XX secolo, viene fortemente criticato; in coerenza con questo, la riflessione di Merleau-Ponty sul concetto di natura viene considerata lo strumento più adeguato e più (...) attuale per ripensare la questione ecologica; ne vengono esaminate le conseguenze nel campo della filosofia della tecnologia e del problema del soggetto. Una seconda parte del saggio, che si concentra sull’incontro che ebbe luogo nel 1961 fra Adorno e Merleau-Ponty, cerca di abbozzare un paradigma materialistico per l’ecologia, correggendo l’avvicinamento che alla fine della sua vita vi fu fra Merleau-Ponty e Heidegger. (shrink)

Contrary to the position sustained in recent German- and English-language studies, the Author of this note rejects the suitability of using the modern and generic term “Homoianism” to describe the different subordinationist doctrinal positions circulating during the second half of the fourth century. In the case of Eudoxius, Valens, Urascius and Ulfila, among others, it is more appropriate to continue to speak in terms of “Arianism”, as their Nicene opponents had already realized, not without reason.

This comment concerns above all the existing relationship between the Greek text that has reached us and the ancient Latin translation of Origen’s Commentary on Matthew, analyzing two passages from the XVII book; that is, the interpretations of Mt. 21,23-27 and Mt. 22, 15-22. The Greek and Latin texts are not always consistent with one another: in most cases the Latin version abbreviates or omits some passages from the Greek, but at times it reveals typical exegetical minutiae from the origenian (...) ratio interpretandi and absent from the incomplete Greek text available to us today, as the Author clearly points out in this study. (shrink)

Inquieta anche il fatto che i nuovi giardini tendano ad assomigliare in modo impressionante a quei “rendering”, anch’essi uno standard, che si trovano esposti nelle vetrine delle sempre più numerose agenzie immobiliari che impestano la periferia diffusa. Ne avevo una vicino a casa qualche trasloco fa, quando abitavo in un appartamento di due stanze con bagno nel quartiere di Santa Lucia.Vitaliano Trevisan, Tristissimi giardini, pp. 46-47 Dopo la mela biblica consumata in un giardino terrestre...

The emergence of ecology as a fundamental horizon not only of politics, but also of contemporary philosophy, pushes us to rethink the relationship that currents of thought such as Kuturkritik and phenomenology, especially the phenomenology of Maurice Merleau-Ponty, can maintain with it. After a preliminary consideration of post-structuralist and postmodern positions from this perspective, the essay focuses on the French philosopher, and in particular on his courses on Nature and on his elaboration of the Husserlian concept of Stiftung. This results (...) in Merleau-Ponty’s original position on the Kultur – Civilization alternative: critique of unlimited productivism, respect for the environment, and, at the same time, defense of the variety of cultures and traditions from a homogenizing globalization are valuable tools that his philosophy offers to the debates of our time. (shrink)

Notwithstanding the fact that Novatian’s De trinitate follows Tertullian’s Adversus Praxean as a pre-eminent source, the former parted company with the latter on some crucial doctrinal points. This article examines Novatian’s approach to the doctrine of the Holy Spirit in his De trinitate, analyzing at the same time its Stoicbackground. The paper illustrates how a meticulous research of Novatian’s De trinitate prompts scholars to discover hidden motives in ancient Christian literature.

The Author, taking account of the deficiencies of the surviving documentation on the doctrinal thought of the 2nd and 3rd centuries, and considering the primacy of oral communication, nevertheless rejects the conclusion of a recent article on Origen’s doctrine of the Logos. There are no concrete data in the work of the Alexandrian theologian to support the hypothesis that he engaged in controversy with radical supporters of the doctrine of the Logos, who – as Arians ante litteram – separated the (...) Son from the divinity of the Father. Moreover, one cannot ascribe to Origen’s age the debate against those who supported the Son as being homoousios with the Father. According to extant documentation, this question is not raised before the dispute of the two Dionysiuses. In order to attempt reconstruction of the theological reasoning in the early Church, while at the same time avoiding hypotheses which, however intriguing they may seem, are simplynot well-founded, analysis must confine itself to the extant documents. (shrink)