In this work we investigate the Weihrauch degree of the problem Decreasing Sequence of finding an infinite descending sequence through a given ill-founded linear order, which is shared by the problem Bad Sequence of finding a bad sequence through a given non-well quasi-order. We show that $\mathsf {DS}$, despite being hard to solve, is rather weak in terms of uniform computational strength. To make the latter precise, we introduce the notion of the deterministic part of a Weihrauch degree. 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. (shrink)

We study the computational content of various theorems with reverse mathematical strength around Arithmetical Transfinite Recursion (ATR_0) from the point of view of computability-theoretic reducibilities, in particular Weihrauch reducibility. Our main result states that it is equally hard to construct an embedding between two given well-orderings, as it is to construct a Turing jump hierarchy on a given well-ordering. This answers a question of Marcone. We obtain a similar result for Fraïssé's conjecture restricted to well-orderings.

Halin in 1965 proved that if a graph has [Formula: see text] many pairwise disjoint rays for each [Formula: see text] then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic complexity. The statement of Halin’s theorem and the construction proving it seem very much like standard versions of compactness arguments such as König’s Lemma. Those results, while not computable, are relatively simple. They only use (...) arithmetic procedures or, equivalently, finitely many iterations of the Turing jump. We show that several Halin-type theorems are much more complicated. They are among the theorems of hyperarithmetic analysis. Such theorems imply the ability to iterate the Turing jump along any computable well ordering. Several important logical principles in this class have been extensively studied beginning with work of Kreisel, H. Friedman, Steel and others in the 1960s and 1970s. Until now, only one purely mathematical example was known. Our work provides many more and so answers Question 30 of Montalbán’s Open Questions in Reverse Mathematics in 2011. Some of these theorems including ones in Halin in 1965 are also shown to have unusual proof theoretic strength as well. (shrink)

Theorems of hyperarithmetic analysis occupy an unusual neighborhood in the realms of reverse mathematics and recursion-theoretic complexity. They lie above all the fixed iterations of the Turing jump but below ATR $_{0}$. There is a long history of proof-theoretic principles which are THAs. Until the papers reported on in this communication, there was only one mathematical example. Barnes, Goh, and Shore [1] analyze an array of ubiquity theorems in graph theory descended from Halin’s [9] work on rays in graphs. They (...) seem to be typical applications of ACA $_{0}$ but are actually THAs. These results answer Question 30 of Montalbán’s Open Questions in Reverse Mathematics [19] and supply several other natural principles of different and unusual levels of complexity.This work led in [25] to a new neighborhood of the reverse mathematical zoo: almost theorems of hyperarithmetic analysis. When combined with ACA $_{0}$ they are THAs but on their own are very weak. Denizens both mathematical and logical are provided. Generalizations of several conservativity classes are defined and these ATHAs as well as many other principles are shown to be conservative over RCA $_{0}$ in all these senses and weak in other recursion-theoretic ways as well. These results answer a question raised by Hirschfeldt and reported in [19] by providing a long list of pairs of principles one of which is very weak over RCA $_{0}$ but over ACA $_{0}$ is equivalent to the other which may be strong or very strong going up a standard hierarchy and at the end being stronger than full second-order arithmetic. (shrink)

In their logical analysis of theorems about disjoint rays in graphs, Barnes, Shore, and the author (hereafter BGS) introduced a weak choice scheme in second-order arithmetic, called the $\Sigma ^1_1$ axiom of finite choice (hereafter finite choice). This is a special case of the $\Sigma ^1_1$ axiom of choice ( $\Sigma ^1_1\text {-}\mathsf {AC}_0$ ) introduced by Kreisel. BGS showed that $\Sigma ^1_1\text {-}\mathsf {AC}_0$ suffices for proving many of the aforementioned theorems in graph theory. While it is not known (...) if these implications reverse, BGS also showed that those theorems imply finite choice (in some cases, with additional induction assumptions). This motivated us to study the proof-theoretic strength of finite choice. Using a variant of Steel forcing with tagged trees, we show that finite choice is not provable from the $\Delta ^1_1$ -comprehension scheme (even over $\omega $ -models). We also show that finite choice is a consequence of the arithmetic Bolzano–Weierstrass theorem (introduced by Friedman and studied by Conidis), assuming $\Sigma ^1_1$ -induction. Our results were used by BGS to show that several theorems in graph theory cannot be proved using $\Delta ^1_1$ -comprehension. Our results also strengthen results of Conidis. (shrink)

Recall that B is PA relative to A if B computes a member of every nonempty $\Pi ^0_1(A)$ class. This two-place relation is invariant under Turing equivalence and so can be thought of as a binary relation on Turing degrees. Miller and Soskova [23] introduced the notion of a $\Pi ^0_1$ class relative to an enumeration oracle A, which they called a $\Pi ^0_1{\left \langle {A}\right \rangle }$ class. We study the induced extension of the relation B is PA relative (...) to A to enumeration oracles and hence enumeration degrees. We isolate several classes of enumeration degrees based on their behavior with respect to this relation: the PA bounded degrees, the degrees that have a universal class, the low for PA degrees, and the ${\left \langle {\text {self}\kern1pt}\right \rangle }$ -PA degrees. We study the relationship between these classes and other known classes of enumeration degrees. We also investigate a group of classes of enumeration degrees that were introduced by Kalimullin and Puzarenko [14] based on properties that are commonly studied in descriptive set theory. As part of this investigation, we give characterizations of three of their classes in terms of a special sub-collection of relativized $\Pi ^0_1$ classes—the separating classes. These three can then be seen to be direct analogues of three of our classes. We completely determine the relative position of all classes in question. (shrink)

Background Supporting physicians in Intensive Care Units s as they face dying patients at unprecedented levels due to the COVID-19 pandemic is critical. Amidst a dearth of such data and guided by evidence that nurses in ICUs experience personal, professional and existential issues in similar conditions, a systematic scoping review is proposed to evaluate prevailing accounts of physicians facing dying patients in ICUs through the lens of Personhood. Such data would enhance understanding and guide the provision of better support for (...) ICU physicians. Methods An SSR adopts the Systematic Evidenced Based Approach to map prevailing accounts of caring for dying patients in ICUs. To enhance the transparency and reproducibility of this process, concurrent and independent use of tabulated summaries, thematic analysis and directed content analysis is adopted. Results Eight thousand three hundred fifty-eight abstracts were reviewed from four databases, 474 full-text articles were evaluated, 58 articles were included, and the Split Approach revealed six categories/themes centered around the Innate, Individual, Relational and Societal Rings of Personhood, conflicts in providing end of life care and coping mechanisms employed. Conclusion This SSR suggests that caring for dying patients in ICU impacts how physicians view their personhood. To resolve conflicts within individual concepts of personhood, physicians use prioritization, reframing and rely on accessible, personalized support from colleagues to steer coping strategies. An adapted form of the Ring Theory of Personhood is proposed to direct timely personalized, appropriate and holistic support. (shrink)

" L'argent est l'envers de toutes les images que le cinéma montre et monte à l'endroit " écrit Gilles Deleuze dans le deuxième volet de Cinéma. Le capital est toujours derrière le cinéma. Le Capital hante Cinéma du début à la fin. C'est donc une lecture marxiste du diptyque composé de L'Image-mouvement et L'Image-temps que propose Jun Fujita dans Ciné-capital. Comment fonctionne le mode de production ciné-capitaliste? Comment celui-ci fait-il produire de la plus-value aux images? Pourquoi et comment s'approprie-t-il le (...) travail même du spectateur? En quel sens peut-on soutenir qu'Eisenstein et Hitchcock ont anticipé l'arrivée de la New Economy des années 1990 (dématérialisation du travail et financiarisation de l'économie)? Quand et comment les images s'insurgent-elles contre l'exploitation ciné-capitaliste? Comment se mettent-elles à valoir pour elles-mêmes? Pourquoi le cinéma politique, depuis Straub et Huillet, a-t-il cessé de privilégier le tournage au bord de la mer? Qu'est-ce qui permet à Deleuze d'affirmer qu'Ozu est un cinéaste de gauche? Telles sont quelques-unes des questions abordées dans Ciné-capital. (shrink)

The Monographs produced by the International Agency for Research on Cancer (IARC) apply rigorous procedures for the scientific review and evaluation of carcinogenic hazards by independent experts. The Preamble to the IARC Monographs, which outlines these procedures, was updated in 2019, following recommendations of a 2018 expert Advisory Group. This article presents the key features of the updated Preamble, a major milestone that will enable IARC to take advantage of recent scientific and procedural advances made during the 12 years since (...) the last Preamble amendments. The updated Preamble formalizes important developments already being pioneered in the Monographs Programme. These developments were taken forward in a clarified and strengthened process for identifying, reviewing, evaluating and integrating evidence to identify causes of human cancer. The advancements adopted include strengthening of systematic review methodologies; greater emphasis on mechanistic evidence, based on key characteristics of carcinogens; greater consideration of quality and informativeness in the critical evaluation of epidemiological studies, including their exposure assessment methods; improved harmonization of evaluation criteria for the different evidence streams; and a single-step process of integrating evidence on cancer in humans, cancer in experimental animals and mechanisms for reaching overall evaluations. In all, the updated Preamble underpins a stronger and more transparent method for the identification of carcinogenic hazards, the essential first step in cancer prevention. (shrink)

La « diversité culturelle » et le « dialogue interculturel » prônés par l'Unesco à la suite des événements du 11 septembre 2001 demandent à être soutenus, mais à condition de développer des synergies qui soient véritablement interculturelles, à l'instar de celles qui se sont créés en Occident à plusieurs moments de son histoire. Il ne faut pas oublier que ce phénomène s'est également produit ailleurs: c'est notamment le cas de la Chine, qui s'est ouverte au monde extérieur à plusieurs (...) reprises, tout d'abord à l'Inde, puis, principalement à partir du XIXe siècle, à l'Occident. Toutes les aires culturelles doivent être prises en compte dans le cadre de la mondialisation, ce qui ne peut véritablement se faire qu'à travers la traduction."Cultural diversity" and "intercultural dialogue" advocated by UNESCO following the events of September 11, 2001 need to be supported, but provided synergies that are truly intercultural, like those are created in the West several times in its history. It must not be forgotten that this phenomenon also occurred elsewhere: the case of China, which opened to the outside world several times, first in India and then, mainly from the nineteenth century   e in the West. All cultural areas must be taken into account in the context of globalization, which can really only be done through translation. (shrink)

Di ka mi shi ou zhou jin dai li xing zhu yi zhe xue de chuang shi ren. ben shu li tu dui di ka mi di yi zhe xue de si xiang zuo yi quan mian yan jiu, dui ta de fang fa lun " wo si gu wo zai " wu fu guan nian lun, xin shen guan xi deng zhu yao li lun jin xing le xi tong yan jiu.

Ben shu xi tong jie shi le zhi jue lun si xiang zai zhong guo xian dai zhe xue fa zhan yan bian de gui ji, Fen xi le liang shu ming, Xiong shi li, Feng you lan, He lin, Mou zong san, Fang dong mei, Tang jun yi deng ren yun yong zhi jue fang fa lai jian gou ge zi zhe xue si xiang ti xi zhi de yu shi, Ji you zhuan ti yan jiu de shen du, (...) You jian gu le shi de guang du, Xian ming gou le chu zhi jue lun zai zhong guo xian dai zhe xue yan jiu zhong de du te lun kuo. (shrink)

In this paper, we consider a pseudo-parabolic equation, which was studied extensively in recent years. We generalize and extend the existing results in the following three aspects. First, we consider the vacuum isolating phenomenon with the initial energy \\) satisfying \\le 0\) and \ (...) asymptotic behaviors of the solutions and the energy functional. Generally speaking, we establish the exponential decay of the solutions and energy functional when the solutions exist globally, and the concrete decay rate is given. As for the blow-up solutions, we prove that the solutions grow exponentially and obtain the behavior of energy functional as the time t tends to the maximal existence time. We get further two necessary and sufficient conditions for the solutions existing globally and blowing up in finite time, respectively, under the assumption that \shrink)

Kichul Kim, né en 1969 à Séoul, a ceci de remarquable qu’il prétend — et réussit — à sculpter le son. En effet, il a une formation de sculpteur. Mais il se fascine très tôt pour le son, pour des raisons spirituelles. L’énigme du bodhisattva Gwan-eum qui, selon l’étymologie de son nom, « voit ou fait voir les sons », l’intrigue. Une intuition lui révèle — pense-t-il — de quoi il s’agit. Il va s’efforcer de le faire voir à son (...) tour. Le son fait voir, visualiser, évoquer, et on peut donc, en ce sens, voir le son. Ses installations sonores sont en général réalisées dans des formes minimales et simplifiées. Ces formes pures ne correspondent qu’au son qu’il veut diffuser. C’est le son qu’émettent des haut-parleurs, un son qu’il a enregistré et qui parle. En effet, le son, tout invisible et intangible qu’il est, par l’espace qu’il recrée et modèle, est tridimensionnel, et sculptable. Le spectateur ne peut certes pas voir ce travail sonore par ses yeux de chair, pas plus qu’il ne peut le toucher de sa main, mais son œil de l’imagination, son imagination visuelle, le construit, et en ce sens il le perçoit bien : à partir du son se crée une image, une image dont l’intensité frôle l’illusion. On a là un véritable environnement créé par le son. Inspiré par l’Extrême-Orient ancien, son art et sa pensée, Kichul Kim puise dans ses sites historiques, religieux souvent, et dans la nature, son inspiration et ses enregistrements. L’environnement particulier d’origine est rendu présent par son son, si puissamment que l’auditeur devient spectateur, recréant activement la scène originelle : spect-acteur. Plongé si profondément en lui-même, il est graduellement conduit aux portes d’une sorte de méditation, ici et ailleurs à la fois, comme hors du temps. Kichul Kim, born in 1969 in Seoul, is remarkable in that he claims—and succeeds—to carve the sound. He trained as a sculptor but was fascinated very early with the sound, for spiritual reasons. The enigma of the Bodhisattva Gwan-eum which, according to the etymology of its name, “sees or makes one see sounds”, intrigued him. He understood intuititvely what it means and tried to examplify it himself. The sound makes you see, visualize, evoke, and you can, in this sense, see the sound. His sound installations are generally performed in minimal and simplified forms. These pure forms correspond only to the sound he wants to produce. This is the sound emitted through loudspeakers, a sound that he recorded and that speaks. Indeed, the sound, as invisible and intangible as it is, thanks to the space it recreates and models, becomes three-dimensional, and “sculptable”. The spectator certainly cannot see this sonic work through his/her eyes of flesh, any more than he/she can touch it with his/her hand. But his/her eye of the imagination, the visual imagination, builds it, and in this sense he/she perceives it well: from the sound is created an image whose intensity borders on illusion. This is a real environment created by sound. Inspired by the ancient Far East, its art and thought, Kichul Kim draws from historical sites, often religious, and from nature, for his inspiration, and recordings. The particular environment of which the sounds originates is made present by the sound, so powerfully that the listener becomes a spectator, actively recreating the original scene: spect-actor. So deeply immersed in himself, he is gradually led to the gates of a kind of meditation, here and elsewhere at once, as if out of time. (shrink)

Le concept de caractère se distingue de ceux d’individu ou d’essence en ce qu’il ne fonctionne pas à partir du principe d’individuation permettant de déterminer la limite et l’extension d’un objet en tant qu’unité insécable ou catégorie scientifique. Le caractère d’un objet est sa propriété la plus représentative définie par la méthode pratique et les projets quotidiens. Le critère en est le mouvement de la totalité de l’histoire en relation avec l’activité des hommes en société. Il développe une théorie alternative (...) au modèle de la logique formelle. (shrink)

Cette publication bienvenue fait lumière sur la littérature tardo-antique des prolégomènes : introductions à la philosophie, aux corpus d’Aristote (en part. l’Organon) et Platon, ou aux œuvres de ces corpus. Le livre est ainsi composé : présentation ; cinq articles arrangés chronologiquement ; abréviations ; bibliographie (p. 185-205). On regrettera l’absence d’index. Le titre de l’ouvrage sonne curieusement, comme s’il était une introduction à la philosophie néoplatonicienne plutôt qu’une ét...

Ben shu miao shu le ma ke si zhu yi jun shi zhe xue yan jin de guo cheng ji qi ji ben si xiang xian suo.

Ce texte a d'abord paru en espagnol dans la revue Panambí. Revista de investigaciones artísticas, n. 4, Valparaíso, jun. 2017. Nous remercions Christine Esclapez de nous avoir autorisé à le reproduire ici. Introduction L'objectif de ma contribution est double. Rendre compte d'une expérience artistique « participative » que nous conduisons depuis 9 ans au secteur Musiques et Sciences de la Musique d'Aix-Marseille Université : Architectures Contemporaines est un festival universitaire de jeunes - Musique et Musicologie – GALERIE – Nouvel article.

Next SectionThe present investigation looks for a solution to the problem of the influence of feelings and emotions on our ethical decisions. This problem can be formulated in the following way. On the one hand, emotions (fear, pity and so on) can alter our sense of discrimination and lead us to make our wrong decisions. On the other hand, it is known that lack of sensitivity can alter our judgment and lead us to sacrifice basic ethical principles such as autonomy, (...) beneficence, non-maleficence and justice. Only emotions can turn a decision into an ethical one, but they can also turn it into an unreasonable one. To avoid this contradiction, suggest integrating emotions with the decisional factors of the process of “retrospective thinking”. During this thinking, doctors usually try to identify the nature and impact of feelings on the decision they have just made. In this retrospective moment of analysis of the decision, doctors also question themselves on the feelings they did not experience. They do this to estimate the consequences of this lack of feeling on the way they behaved with the patient. (shrink)

Ben shu yi "zhou xin shi dai" Zhongguo wen hua ren wen xing te zheng xing cheng ji qi dui Zhongguo zhe xue te zhi de su zao wei qie ru dian, zai xi tong shu li ru xue xin xing lun de ji ben zhu ti he li shi fa zhan, jie shi qi te zheng de ji chu shang, cong dao de yu sheng ming, dao de shi jian deng fang mian dui tang jun yi dao de xing (...) shang xue jin xing le shen ru de yan jiu. (shrink)

Dans la double perspective d'une épistémologie et d'une histoire des idées, cet ouvrage explicite le sens et la portée du concept de science positive, à l'époque de sa prise de conscience en Europe et dans les travaux auxquels Auguste Comte est mêlé de près ou de loin.

Photographs, paintings, rigid sculptures: all these provide examples of static images. It is true that they change—photographs fade, paintings darken and sculptures crumble—but what change they undergo is irrelevant to their representational content. A static image is one that represents by virtue of properties which remain largely unchanged throughout its existence. Because of this defining feature, according to a long tradition in aesthetics, a static image can only represent an instantaneous moment, or to be more exact the state of affairs (...) obtaining at that moment'. It cannot represent movement and the passage of time. This traditional view mirrors a much older one in metaphysics: that change is to be conceived of as a series of instantaneous states and hence that an interval of time is composed of extensionless moments. The metaphysical view has been involved in more controversy than its aesthetic counterpart. Aristotle identified it as one of the premises of Zeno's arrow paradox and Augustine employed it in his proof of the unreality of time. (shrink)

L'éternalisme implique une forme exotique d'éternité : toute entité, aussi éphémère soit-elle et quelle que soit sa localisation dans le temps, existe relativement à toute autre localisation temporelle. Cet essai vise, premièrement, à défendre l'éternalisme en exhibant les difficultés rédhibitoires du présentisme et du non-futurisme, et deuxièmement à examiner de quelle manière l'éternalisme pourrait être amendé à l'aune d'une affirmation que l'on trouve sous la plume de certains physiciens, à savoir que, fondamentalement, le temps n'existe pas. La disparition du temps (...) est-elle compatible avec la thèse éternaliste ? Enfin, en guise de conclusion, nous examinerons brièvement une conséquence curieuse de l'éternalisme : bien que mortels, nous sommes des êtres éternels. (shrink)

A partir de la collecte de ressources existantes, ce travail dresse un état des lieux permettant de retracer le déroulement chronologique des principaux faits et événements qui ont émaillé l’histoire d’un groupe d’ouvriers qui se sont réclamés de la doctrine sociale d’Auguste Comte. L’analyse permet de cerner l’action conduite par les principaux acteurs et d’en évaluer la contribution spécifique à la cause du mouvement ouvrier français.

The economical/environmental scheduling problem of the ship integrated energy system has high computational complexity, which includes more than one optimization objective, various types of constraints, and frequently fluctuated load demand. Therefore, the intelligent scheduling strategies cannot be applied to the ship energy management system online, which has limited computing power and storage space. Aiming at realizing green computing on SEMS, in this paper a typical SIES-EESP optimization model is built, considering the form of decision vectors, the economical/environmental optimization objectives, and (...) various types of real-world constraints of the SIES. Based on the complexity of SIES-EESPs, a two-stage offline-to-online multiobjective optimization strategy for SIES-EESP is proposed, which transfers part of the energy dispatch online computing task to the offline high-performance computer systems. The specific constraints handling methods are designed to reduce both continuous and discrete constraints violations of SIES-EESPs. Then, an establishment method of energy scheduling scheme-base is proposed. By using the big data offline, the economical/environmental scheduling solutions of a typical year can be obtained and stored with more computing resources and operation time on land. Thereafter, a short-term multiobjective offline-to-online optimization approach by SEMS is considered, with the application of multiobjective evolutionary algorithm and typical schemes corresponding to the actual SIES-EESPs. Simulation results show that the proposed strategy can obtain enough feasible Pareto solutions in a shorter time and get well-distributed Pareto sets with better convergence performance, which can well adapt to the features of real-world SIES-EESPs and save plenty of operation time and storage space for the SEMS. (shrink)

La physique contemporaine pourrait bien nous livrer un enseignement incroyable, à savoir que l'espace et le temps n'existent pas fondamentalement. Je présenterai succinctement les ontologies suggérées par les deux principaux programmes de recherche en gravité quantique : la théorie des cordes et la gravité quantique à boucles. Je soutiendrai ensuite qu'il est fructueux de prendre les différentes conceptions ontologiques de la conscience en philosophie de l'esprit en modèles pour la construction de solutions au problème de l'émergence de l'espace-temps.

政治社会への新しい視座を導く案内書。「正義」からではなく「不正義」から見ると自明とされている制度や規範はどのように異なって見えるのか。思想家たちが問題を発見してきた視座に注目し、この社会の政治を問い返 す。.

From a gentle and soothing voice that is personal and intimate to hums that are mystical, impersonal and maddening, this book provides an anthropology of the concept of humming through the discipline of sound studies.

It is of great significance to predict the results accurately based on the statistics of sports competition for participants research, commercial cooperation, advertising, and gambling profit. Aiming at the phenomenon that the PageRank page sorting algorithm is prone to subject deviation, the category similarity between pages is introduced into the PageRank algorithm. In the PR value calculation formula of the PageRank algorithm, the factor W between pages is added to replace the original Nu. In this way, the content category between (...) pages is considered, and the shortcoming of theme deviation will be improved. The time feedback factor in the PageRank-time algorithm is used for reference, and the time feedback factor is added to the first improved PR value calculation formula. Based on statistics from 1230 games during the NBA 2018-2019 regular season, this paper ranks the team strength with improved PageRank algorithm and compares the results with the ranking of regular-season points and the result of playoffs. The results show that it is consistent with the regular-season points ranking in the eastern division by the use of improved PageRank algorithm, but there is a difference in the second ranking in the western division. In the prediction of top four in playoffs, it predicts three of the four teams. (shrink)