Results 251 to 260 of about 19,201 (300)
Some of the next articles are maybe not open access.
2007
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined ...
Ana Bove, Venanzio Capretta
openaire +2 more sources
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined ...
Ana Bove, Venanzio Capretta
openaire +2 more sources
2010
This chapter explains how prophets play an important role in Gersonides' theories of providence and miracles. As the recipient of the highest level of individual providence, the prophet receives information that is not only of benefit to himself but is also providential for the community to which he is sent. And as a crucial factor in the occurrence of
openaire +2 more sources
This chapter explains how prophets play an important role in Gersonides' theories of providence and miracles. As the recipient of the highest level of individual providence, the prophet receives information that is not only of benefit to himself but is also providential for the community to which he is sent. And as a crucial factor in the occurrence of
openaire +2 more sources
Angelaki, 2020
AbstractAs a young philosopher, a third-generation atheist and already a feminist, Michele Le Doeuff read the Bible on her own, without anybody’s guidance and on the basis of an assumed intellectua...
openaire +1 more source
AbstractAs a young philosopher, a third-generation atheist and already a feminist, Michele Le Doeuff read the Bible on her own, without anybody’s guidance and on the basis of an assumed intellectua...
openaire +1 more source
The Hastings Center Report, 1997
When President Clinton convened the National Bioethics Advisory Commission to examine policy options on human cloning, he cited not only matters of "morality" but also "spirituality." His language suggested that there are aspects of cloning that cannot be completely subsumed under an ethics and policy process that gives primacy of place to appeals to ...
openaire +2 more sources
When President Clinton convened the National Bioethics Advisory Commission to examine policy options on human cloning, he cited not only matters of "morality" but also "spirituality." His language suggested that there are aspects of cloning that cannot be completely subsumed under an ethics and policy process that gives primacy of place to appeals to ...
openaire +2 more sources
2022
In the following, “prophecy” will be understood as the claim to deliver a divine message or give access to truth from a supernatural source. In the Renaissance, the potential for divinely sanctioned prophecy was well established in scriptural texts, although whether or not any particular prophecy enjoyed divine sanction was often controversial. Despite
openaire +1 more source
In the following, “prophecy” will be understood as the claim to deliver a divine message or give access to truth from a supernatural source. In the Renaissance, the potential for divinely sanctioned prophecy was well established in scriptural texts, although whether or not any particular prophecy enjoyed divine sanction was often controversial. Despite
openaire +1 more source
Economic Prophecies and Counter-Prophecies
1996Economic calculation was yet another source of French ambivalence, that is to say the relationship between the country’s productive resources and the demands placed upon them by the German problem. This calculation already has figured in our analysis, however implicitly, for in many respects it is at the foundation of the ideological debate.
openaire +1 more source
2015
Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops an approach that facilitates their use.
openaire +1 more source
Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops an approach that facilitates their use.
openaire +1 more source
Notes and Queries
Abstract In Chapter 3, I draw on Walter Brueggemann’s definition of prophecy to understand the fiction of Samuel Shem. I focus on four of Shem’s novels: The House of God, Mount Misery, Man’s 4th Best Hospital, and Our Hospital—what he calls the Healing Quartet.
openaire +2 more sources
Abstract In Chapter 3, I draw on Walter Brueggemann’s definition of prophecy to understand the fiction of Samuel Shem. I focus on four of Shem’s novels: The House of God, Mount Misery, Man’s 4th Best Hospital, and Our Hospital—what he calls the Healing Quartet.
openaire +2 more sources