The classical logical antinomy known as Richard-Berry paradox is combined with plausible assumptions about the size i.e. the descriptional complexity, of Turing machines formalizing certain sentences, to show that formalization of language leads to contradiction.

We quickly review labelled Markov processes (LMP) and provide a counterexample showing that in general measurable spaces, event bisimilarity and state bisimilarity differ in LMP. This shows that the logic in Desharnais [3] does not characterize state bisimulation in non-analytic measurable spaces. Furthermore we show that, under current foundations of Mathematics, such logical characterization ...

The paper examines the concept of hairpin-free words motivated from the biocomputing and bioinformatics fields. Hairpin (-free) DNA structures have numerous applications to DNA computing and molecular genetics in general. A word is called hairpin-free if it cannot be written in the form xvyθ(v)z, with certain additional conditions, for an involution θ (a function θ with the property that θ equa...

We propose a framework for modelling and solving search problems using logic, and describe a project whose goal is to produce practically effective, general purpose tools for representing and solving search problems based on this framework. The mathematical foundation lies in the areas of finite model theory and descriptive complexity, which provide us with many classical results, as well as po...

Traditional image-based localisation methods do not work when the robot is moving in an environment whose appearance is changing in time. We propose an extension to the classical image-based localisation that uses a Distributed Vision System (DVS) and can work also in highly dynamic environments. The DVS is composed of omnidirectional cameras installed in the environment and can communicate wit...

0