Results 41 to 50 of about 1,082 (177)
Kripke on Gödel Incompleteness
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications. These include his extension of incompleteness from sentences to predicates, his model‐theoretic proof of incompleteness of arithmetic, his compelling analysis of incompleteness in terms of ...
Daniel Isaacson
wiley +1 more source
Evaluation Method and Impact of Clean Energy on the Ecotourism Competitiveness of Townships
Engineering Reports, Volume 8, Issue 5, May 2026.This study develops an integrated evaluation framework to analyse the impact of clean energy adoption on the ecotourism competitiveness of rural townships. By applying the fuzzy Delphi method (FDM), analytic network process (ANP) and DEMATEL, the research identifies and prioritizes key indicators linking clean energy, sustainability and tourism ...
Yi Yao, Li Fu
wiley +1 more source
A Two-Part Defense of Intuitionistic Mathematics
Stance: an international undergraduate philosophy journal, 2021 The classical interpretation of mathematical statements can be seen as comprising two separate but related aspects: a domain and a truth-schema. L. E. J. Brouwer’s intuitionistic project lays the groundwork for an alternative conception of the objects in this domain, as well as an accompanying intuitionistic truth-schema.
openaire +2 more sources
Neutrosophic Circular-arc Graphs and Proper circular-arc Graphs [PDF]
Neutrosophic Sets and SystemsGraph theory is a fundamental branch of mathematics that studies networks made up of nodes (vertices) and connections (edges). A key concept in graph theory is the intersection graph, where vertices represent sets, and edges are drawn between vertices if
Florentin Smarandache, Takaaki Fujita
doaj +1 more source
International Transactions in Operational Research, Volume 33, Issue 2, Page 719-774, March 2026.Abstract The transformative potential of artificial intelligence (AI) ChatBots, leveraging natural language processing for information retrieval and knowledge synthesis, has garnered attention across diverse fields, including research. Recognizing AI's importance, researchers and policymakers are actively engaged in its development.
Cinzia Daraio +2 more
wiley +1 more source
Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
Journal of the London Mathematical Society, 1993 At first sight, the argument which F. P. Ramsey gave for (the infinite case of) his famous theorem from 1927, is hopelessly unconstructive. If suitably reformulated, the theorem is true intuitionistically as well as classically: we offer a proof which should convince both the classical and the intuitionistic reader.
Veldman, W., Bezem, M.A.
openaire +2 more sources
Noûs, Volume 60, Issue 1, Page 136-160, March 2026.Abstract It is well‐recognized in the sciences that a multitude of nonequivalent models are used by researchers to fulfill a range of goals, even for the same target system, a result known broadly as model pluralism. The possibility of the same form of pluralism occurring in logic, however, has not been adequately considered.
Ben Martin
wiley +1 more source
On the density and the structure of the Peirce-like formulae [PDF]
Discrete Mathematics & Theoretical Computer Science, 2008 Within the language of propositional formulae built on implication and a finite number of variables $k$, we analyze the set of formulae which are classical tautologies but not intuitionistic (we call such formulae - Peirce's formulae).
Antoine Genitrini +2 more
doaj +1 more source
Engineering Reports, Volume 8, Issue 2, February 2026.Two‐degree‐of‐freedom manipulator driven by PAM. ABSTRACT Rehabilitation robots are machines that allow patients to perform practice movements and ought to be sufficiently compliant for safe human interaction. Most robots today use hydraulic systems and continually rotating servo motors, making them less suitable for rehabilitation.
Solomon Ferede Ezez +2 more
wiley +1 more source
Optimising Wave Energy Plant Location Through Neutrosophic Multi‐Criteria Group Decision‐Making
CAAI Transactions on Intelligence Technology, Volume 11, Issue 1, Page 167-189, February 2026.ABSTRACT The global shift towards sustainable energy has intensified research into renewable sources, particularly wave energy. Pakistan, with its long coastline, holds significant potential for wave energy development. However, identifying optimal locations for wave energy plants involves evaluating complex, multi‐faceted criteria.
Hafiz Muhammad Athar Farid +4 more
wiley +1 more source