Results 11 to 20 of about 30,213 (286)

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, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier   +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

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 the information carried by programs about the objects they compute [PDF]

, 2014
In computability theory and computable analysis, finite programs can compute infinite objects. Presenting a computable object via any program for it, provides at least as much information as presenting the object itself, written on an infinite tape. What
Hoyrup, Mathieu, Rojas, Cristobal
core   +7 more sources

Robust non-computability of dynamical systems and computability of robust dynamical systems [PDF]

Logical Methods in Computer Science
In 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

On Computability of Computable Problems

CoRR, 2023
12 Pages,4 figures, and 1 ...
openaire   +2 more sources

Effective Procedures

Philosophies, 2023
The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for that ...
Nathan Salmon
doaj   +1 more source

A Topological Characterization to Arbitrary Resilient Asynchronous Complexity

Mathematics, 2022
In this work, we extend the topology-based framework and method for the quantification and classification of general resilient asynchronous complexity.
Yunguang Yue, Xingwu Liu, Fengchun Lei, Jie Wu   +3 more
doaj   +1 more source