Results 81 to 90 of about 27,544 (242)
Effective Choice and Boundedness Principles in Computable Analysis
, 2009 In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other?
Brattka +13 more
core +2 more sources
Entering the City of Omniscience: An Aspiration Prayer for Actualizing Words of Truth [PDF]
, 2022 Rigdzin Jikme Lingpa
openalex +1 more source
Teaching plant identification at a university in the age of artificial intelligence
PLANTS, PEOPLE, PLANET, Volume 8, Issue 1, Page 20-25, January 2026.Society depends on experts able to correctly identify plants. This skill set is taught at university, classically using tools such as identification keys. The advent of artificial intelligence apps for identification, while benefiting society in many ways, poses a challenge for university education: Students may not see the need for learning skills ...
Jan Hackel +2 more
wiley +1 more source
Retrogradation of Truth and Omniscience
PhilosophiesTodd and Rabern have argued that assuming future contingents are untrue, together with accepting the principle of the retrogradation of truth (p→PF(p)), implies that it is metaphysically impossible that an omniscient entity exists.
Ciro De Florio, Aldo Frigerio
doaj +1 more source
Modeling Adversaries in a Logic for Security Protocol Analysis [PDF]
, 2012 Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which considers only adversaries that can compose and replay messages, and ...
Halpern, Joseph Y., Pucella, Riccardo
core +1 more source
Impersonating predators and prey to study trophic interactions through real‐life simulations
Methods in Ecology and Evolution, Volume 17, Issue 1, Page 158-171, January 2026.Abstract Predator–prey interactions are a fundamental aspect of ecology that has generated sustained research interests. Progress in the field stems from a diverse range of approaches, from highly controlled yet simplified mathematical and agent‐based models, to grounded but data‐limited field studies.
David Bolduc +29 more
wiley +1 more source
Therapists and Technology: A Qualitative Study on AI′s Role in Counseling
Human Behavior and Emerging Technologies, Volume 2026, Issue 1, 2026.Background Integrating artificial intelligence (AI) into mental health counseling revolutionizes therapeutic practices, with tools like ChatGPT and Woebot offering scalable and accessible support. While these advancements hold promise, the relational nature of counseling, rooted in empathy and cultural sensitivity, raises questions about the role of AI
Thseen Nazir, Rajneesh Choubisa
wiley +1 more source
The Heythrop Journal, 2000 This article argues that theism entails a species of pantheism on the grounds that there is simply no discernible difference between the God's knowledge of the world and the world that God knows. The case against this thesis begins with the traditional theory of distinctions.
openaire +2 more sources
If Analytic Philosophy of Religion is Sick, Can It Be Cured? [PDF]
, 2020 In this paper, I argue that, if ‘the overrepresentation of Christian theists in analytic philosophy of religion is unhealthy for the field, since they would be too much influenced by prior beliefs when evaluating religious arguments’ (De Cruz and De ...
Mizrahi, Moti
core
Divine Foreknowledge and the Problem of Evil: Four Views [PDF]
, 2016 This paper examines the issues of divine foreknowledge and the Problem of Evil from the standpoint of four different theological systems: Open Theism, Arminianism, Molinism, and Calvinism.
Justice, Nathan S
core +1 more source