Warren was a philosopher and scientist. As a freshman at Haverford College he told the Quaker philosopher Rufus Jones that all he wanted to know was: "What is a number that a man may know it; and a man, that he may know a number?" To this the Quaker famously replied: "Friend, thee will be busy as long as thee lives." Warren acknowledged in his last days that the prophecy had been fulfilled, and...

Simulation of specifications is introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward simulations. Eternity variables are introduced as a more powerful alternative for prophecy variables and backward simulations. This formalism is semantically complete: every simulation is a composition of a forward simula...

My colleague Kenneth A. Strand and I have published previously in A USS two studies on the literary form of Rev 18.' In those two studies, that chapter was found to be a discrete literary unit consisting of seven hymns of judgment upon the impure woman of the prophecy, called "Babylon the Great." These seven hymns are distributed in chiastic order according to both their form (Shea) and their t...

Abstract Different translations of Plutarch's De Pythiae oraculis 404B reflect an interpretative difficulty not yet adequately thematized by exegetes. dialogues on the Delphic oracle describe two perspectives mantic inspiration: possession prophecy, where god takes over prophetess as a passive apparatus, and stimulation incites but delivers through her own faculties. Plutarch understands Pythia...

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 by applying the delay monad to the co-domai...

The aim of this article is to update and inform from the literature review studies, worldwide, on self-fulfilling prophecy self-efficacy in field education. Different databases repositories different universities worldwide were reviewed. As selection criteria, research was considered that respond terms prophecy, Pygmalion effect, expectations, general self-efficacy, academic considering methodo...