Results 11 to 20 of about 8,869 (303)
Computability of Data-Word Transductions over Different Data Domains [PDF]
Logical Methods in Computer Science, 2022 In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data $\omega$-words). The notion of computability is defined through Turing machines with infinite inputs which can produce the ...
Léo Exibard +3 more
doaj +1 more source
Computability of 1-manifolds [PDF]
Logical Methods in Computer Science, 2014 A semi-computable set S in a computable metric space need not be computable. However, in some cases, if S has certain topological properties, we can conclude that S is computable.
Konrad Burnik, Zvonko Iljazovic
doaj +1 more source
A Note on the Reality of Incomputable Real Numbers and Its Systemic Significance
Systems, 2021 We discuss mathematical and physical arguments contrasting continuous and discrete, limitless discretization as arbitrary granularity. In this regard, we focus on Incomputable (lacking an algorithm that computes in finite time) Real Numbers (IRNs).
Gianfranco Minati
doaj +1 more source
Computability of Probability Distributions and Distribution Functions [PDF]
, 2009 We define the computability of probability distributions on the real line as well as that of distribution functions. Mutual relationships between the computability notion of a probability distribution and that of the corresponding distribution function ...
Yasugi, Mariko +2 more
core +1 more source
Da metamatemática para a ciência cognitiva From metamathematics to Cognitive Science
Trans/Form/Ação, 1999 Neste artigo, propõe-se uma configuração possível para a transição histórico-filosófica de temas investigados no domínio da metamatemática para o domínio da Ciência Cognitiva funcionalista neurocomputacional. A descrição de tal transição é feita por meio
Henrique de Morais Ribeiro
doaj +1 more source
On Computability of Computable Problems
CoRR, 2023 12 Pages,4 figures, and 1 ...
openaire +4 more sources
Computational Symmetry in Computer Vision and Computer Graphics [PDF]
Foundations and Trends® in Computer Graphics and Vision, 2010 In the arts and sciences, as well as in our daily lives, symmetry has made a profound and lasting impact. Likewise, a computational treatment of symmetry and group theory (the ultimate mathematical formalization of symmetry) has the potential to play an important role in computational sciences.
Yanxi Liu 0001 +3 more
openaire +2 more sources
Robust non-computability of dynamical systems and computability of robust dynamical systems [PDF]
Logical Methods in Computer ScienceIn this paper, we examine the relationship between the stability of the dynamical system $x^{\prime}=f(x)$ and the computability of its basins of attraction.
Daniel S. Graça, Ning Zhong
doaj +1 more source
The Computational and Pragmatic Approach to the Dynamics of Science [PDF]
Filozofia i Nauka, 2020 Science means here mathematics and those empirical disciplines which avail themselves of mathematical models. The pragmatic approach is conceived in Karl R. Popper’s The Logic of Scientific Discovery (p.
Witold Marciszewski
doaj +1 more source
Program Algebra for Turing-Machine Programs
Scientific Annals of Computer Science, 2019 This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes as basic instructions, the behaviours produced by the instruction sequences concerned under execution, and the interaction between such behaviours and ...
Jan A. Bergstra, Cornelius A. Middelburg
doaj +1 more source