Results 1 to 10 of about 454 (145)
Axiomatizing complete positivity [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps.
Oscar Cunningham, Chris Heunen
doaj +1 more source
MathematicsSignifiable computability aims to separate what is theoretically computable from what is computable through performable processes on computers with finite amounts of memory.
Vladimir A. Kulyukin
doaj +1 more source
Cellular Automata are Generic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Any algorithm (in the sense of Gurevich's abstract-state-machine axiomatization of classical algorithms) operating over any arbitrary unordered domain can be simulated by a dynamic cellular automaton, that is, by a pattern-directed cellular automaton ...
Nachum Dershowitz, Evgenia Falkovich
doaj +1 more source
Geometrinin Temellendirilmesinde Frege – Hilbert İhtilafının Kökenleri
Felsefe DünyasıFrege ve Hilbert arasında yirminci yüzyılın başlarında geometrinin temellendirilmesi üzerine gerçekleşmiş olan yazışmalar, ikili arasındaki geometri aksiyomlarının statüsüne yönelik farklı fikirleri ortaya koymaktadır.
Şeyma Nur Tan
doaj +1 more source
The Formal Invariance of Fractal Operators Under Laplace Transform
Fractal and FractionalThis paper focuses on the invariant properties of fractal operators and aims to achieve the axiomatization of the theory of fractal operators. Building upon the derivative and integral theorems of the Laplace transform, we redefine the time differential ...
Yajun Yin +4 more
doaj +1 more source
Arbitrary Arrow Update Logic with Common Knowledge is neither RE nor co-RE [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Arbitrary Arrow Update Logic with Common Knowledge (AAULC) is a dynamic epistemic logic with (i) an arrow update operator, which represents a particular type of information change and (ii) an arbitrary arrow update operator, which quantifies over arrow ...
Louwe B. Kuijer
doaj +1 more source
“Mathematics is the Logic of the Infinite”: Zermelo’s Project of Infinitary Logic
Studies in Logic, Grammar and Rhetoric, 2021 In this paper I discuss Ernst Zermelo’s ideas concerning the possibility of developing a system of infinitary logic that, in his opinion, should be suitable for mathematical inferences. The presentation of Zermelo’s ideas is accompanied with some remarks
Pogonowski Jerzy
doaj +1 more source
A Logic for Multi-Agent Conformant Planning Over Transition Systems
IEEE Access, 2020 Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of ...
Peipei Wu, Yanjun Li
doaj +1 more source
Rola aksjomatu w matematyce współczesnej oraz w perspektywie dociekań nad aksjomatem wyboru
Zagadnienia Filozoficzne w Nauce, 2011 We show how philosophy effected the shape of mathematics when the proof of Well-Ordering Principle was formulated by Ernst Zermelo. We also consider the significance of philosophy of mathematics today.
Katarzyna Lewandowska
doaj
Axiomatization of Transit Flow Estimation
Civil Engineering DimensionTransit flows between stations are typically estimated indirectly using fare collecting data rather than through direct measurement. Traditional methods approximate transit flows by adapting Origin-Destination (OD) trip estimation techniques.
Kardi Teknomo
doaj +1 more source