Results 211 to 220 of about 639,330 (259)
Some of the next articles are maybe not open access.
2011
Motivated by a concrete goal, namely to extend Erlang with the ability to employ user-defined guards, we developed a parameterized static analysis tool called PURITY, that classifies functions as referentially transparent (i.e., sideeffect free with no dependency on the execution environment and never raising an exception), side-effect free with no ...
Mihalis Pitidis, Konstantinos Sagonas
openaire +1 more source
Motivated by a concrete goal, namely to extend Erlang with the ability to employ user-defined guards, we developed a parameterized static analysis tool called PURITY, that classifies functions as referentially transparent (i.e., sideeffect free with no dependency on the execution environment and never raising an exception), side-effect free with no ...
Mihalis Pitidis, Konstantinos Sagonas
openaire +1 more source
Notre Dame Journal of Formal Logic, 2021
Starting from the work of the philosophers Michael Detlefsen and Andrew Arana, Pillay reflects on the notion of purity of proofs. He also discusses the notions of mathematical progress and what, following Michael Atiyah, he calls the unity of mathematics. To understand Pillay's paper, a few words on the work of Michael Detlefsen are in order. Detlefsen
openaire +2 more sources
Starting from the work of the philosophers Michael Detlefsen and Andrew Arana, Pillay reflects on the notion of purity of proofs. He also discusses the notions of mathematical progress and what, following Michael Atiyah, he calls the unity of mathematics. To understand Pillay's paper, a few words on the work of Michael Detlefsen are in order. Detlefsen
openaire +2 more sources
Canadian Journal of Mathematics, 1975
Throughout this paper we use the Bourbaki [1] conventions for rings and modules: all rings are associative but not necessarily commutative and have a 1; all modules are unital.Our purpose is to extend and simplify some recent results of Maddox [7], Megibben [8], Enochs [3], and the author [5] on absolutely pure modules by introducing several new ...
openaire +1 more source
Throughout this paper we use the Bourbaki [1] conventions for rings and modules: all rings are associative but not necessarily commutative and have a 1; all modules are unital.Our purpose is to extend and simplify some recent results of Maddox [7], Megibben [8], Enochs [3], and the author [5] on absolutely pure modules by introducing several new ...
openaire +1 more source
Dual purities and interrelation between theP-purities and the purities given by systems of equations
Siberian Mathematical Journal, 1993Let \(P\) be a unary predicate defined on the class of all the groups ``closed'' to subgroups and factor groups. A subgroup \(H\) is called \(P\)- pure in a group \(G\) if every morphism from \(H\) to an arbitrary group \(A\) is extendible to \(G\) if \(P(A)\) is true. Using the \(P\)-purity one defines \(P\)-pure exactness and \(P\)-pure projectivity.
openaire +1 more source
Critical Inquiry, 1989
Abstract Once an artist imagined how he would look if he plucked out an offending eye. He painted a self-portrait in which the orbit on the right side of his face was gaping, dolorous. Seven years passed, and then there came a day when the artist tried to break up a fight among his friends.
openaire +1 more source
Abstract Once an artist imagined how he would look if he plucked out an offending eye. He painted a self-portrait in which the orbit on the right side of his face was gaping, dolorous. Seven years passed, and then there came a day when the artist tried to break up a fight among his friends.
openaire +1 more source
2016
Purity is an extremely varied and heterogeneous religious ideal that lies at the critical intersection between the individual physical body, the social body, and the cosmos as a whole. At once a material and a spiritual ideal, purity overlaps partially with but far exceeds modern notions of cleanliness or hygiene; indeed, it may in some cases even ...
openaire +2 more sources
Purity is an extremely varied and heterogeneous religious ideal that lies at the critical intersection between the individual physical body, the social body, and the cosmos as a whole. At once a material and a spiritual ideal, purity overlaps partially with but far exceeds modern notions of cleanliness or hygiene; indeed, it may in some cases even ...
openaire +2 more sources
2022
Abstract This chapter explores the moral implications of purity and sanctity. It offers an explanation for why people throughout the world consider purity virtuous, suggesting that the moral value of purity stemmed from the adaptive value of cleanliness and the avoidance of pathogens in early human environments.
openaire +1 more source
Abstract This chapter explores the moral implications of purity and sanctity. It offers an explanation for why people throughout the world consider purity virtuous, suggesting that the moral value of purity stemmed from the adaptive value of cleanliness and the avoidance of pathogens in early human environments.
openaire +1 more source