Results 11 to 20 of about 54,626 (205)
Constructive set theory and Brouwerian principles [PDF]
, 2005 The paper furnishes realizability models of constructive Zermelo-Fraenkel set theory, CZF, which also validate Brouwerian principles such as the axiom of continuous choice (CC), the fan theorem (FT), and monotone bar induction (BIM), and thereby ...
Rathjen, M
core +2 more sources
Complexity vs Energy: Theory of Computation and Theoretical Physics [PDF]
, 2013 This paper is a survey dedicated to the analogy between the notions of {\it complexity} in theoretical computer science and {\it energy} in physics. This analogy is not metaphorical: I describe three precise mathematical contexts, suggested recently, in ...
Manin, Yuri I.
core +1 more source
Recursive Program Optimization Through Inductive Synthesis Proof Transformation [PDF]
, 1999 The research described in this paper involved developing transformation techniques which increase the efficiency of the noriginal program, the source, by transforming its synthesis proof into one, the target, which yields a computationally more ...
Bundy, Alan, Madden, P., Smaill, A.
core +2 more sources
Essential Incompleteness of Arithmetic Verified by Coq [PDF]
, 2005 A constructive proof of the Goedel-Rosser incompleteness theorem has been completed using the Coq proof assistant. Some theory of classical first-order logic over an arbitrary language is formalized.
J. Despeyroux +5 more
core +2 more sources
Black Box Optimization for Ergodic Systems in Markov Chains
MathematicsThis paper studies a black-box methodology for optimizing ergodic stochastic systems, focusing on the construction of scalar measures that reliably indicate progress toward optimality. Our starting point is a state-value quantity that inherently exhibits
Julio B. Clempner
doaj +1 more source
A Direct Version of Veldman's Proof of Open Induction on Cantor Space via Delimited Control Operators [PDF]
, 2014 First, we reconstruct Wim Veldman's result that Open Induction on Cantor space can be derived from Double-negation Shift and Markov's Principle. In doing this, we notice that one has to use a countable choice axiom in the proof and that Markov's ...
Ilik, Danko, Nakata, Keiko
core +5 more sources
SQRAR: A model of coursebook evaluation
English Language Teaching Educational JournalCoursebooks have become the most prominent English learning materials, especially in formal education. Therefore, recursive evaluation should be conducted to adjust the coursebook based on the current needs and learning goals.
Sukarno Sukarno
doaj +1 more source
Computability and analysis: the legacy of Alan Turing
, 2009 We discuss the legacy of Alan Turing and his impact on computability and analysis.Comment: 49 ...
Avigad, Jeremy, Brattka, Vasco
core +2 more sources
Journal of the Association for Information Science and Technology, EarlyView.Abstract Caste—an ascriptive social hierarchy in South Asia and its diaspora—is a globalized phenomenon. Recent caste‐based discrimination, particularly in technology companies and anti‐caste efforts to address it, has compelled academia, policy, and the technology industry to better understand contemporary mechanics of caste.
Nayana Kirasur, Britt Paris
wiley +1 more source
Culinary Culture Shock: How Tourists Cope with Unexpected Flavours
Tourism and HospitalityCulinary culture shock (CCS)—the discomfort and ambivalence travelers feel when encountering unfamiliar foods—remains underexplored from a short-horizon, trip-bounded perspective. While prior work notes both attractions and impediments of food in tourism,
Weizhao Huang +3 more
doaj +1 more source