Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Undecidability and Concatenation
View through CrossRef
We consider the problem stated by Andrzej Grzegorczyk in “Undecidability without arithmetization” (Studia Logica 79 (2005)) whether certain weak theory of concatenation is essentially undecidable. We give a positive answer for this problem.
Title: Undecidability and Concatenation
Description:
We consider the problem stated by Andrzej Grzegorczyk in “Undecidability without arithmetization” (Studia Logica 79 (2005)) whether certain weak theory of concatenation is essentially undecidable.
We give a positive answer for this problem.
Related Results
Efficient CRC concatenation scheme for polar codes
Efficient CRC concatenation scheme for polar codes
A new cyclic redundancy check (CRC) concatenation with polar codes based on partial protection is proposed, where only the crucial bits chosen from the total information bits are p...
Deep Multi-Biometric Fuzzy Commitment Scheme: Fusion Methods and Performance
Deep Multi-Biometric Fuzzy Commitment Scheme: Fusion Methods and Performance
Abstract
Biometric cryptosystems offer privacy-preserving authentication using biometric data, such as fingerprints or iris scans. However, single modalities suffer from li...
Refuting phylogenetic relationships
Refuting phylogenetic relationships
AbstractBackgroundPhylogenetic methods are philosophically grounded, and so can be philosophically biased in ways that limit explanatory power. This constitutes an important method...
Concatenation of segmented viral genomes for reassortment analysis
Concatenation of segmented viral genomes for reassortment analysis
AbstractMost reassortment identification methods are based on searching for phylogenetic discrepancies between phylogenetic trees for different segments. Other methods use pairwise...
Feature concatenation for scene classification of VHR images based on canonical correlation analysis.
Feature concatenation for scene classification of VHR images based on canonical correlation analysis.
Abstract
The recent advancements of technology in remote sensing enable us to get very high-resolution images (VHR). To do scene classification in these images turne...
The Grand Unified Theory of Computation
The Grand Unified Theory of Computation
AbstractThis chapter explores a universal notion of computation, first by describing Charles Babbage's vision of a mechanical device that can perform any calculation as well as Dav...
Undecidability and Quantum Mechanics
Undecidability and Quantum Mechanics
Recently, great attention has been devoted to the problem of the undecidability of specific questions in quantum mechanics. In this context, it has been shown that the problem of t...
Timing Problems: When Care and Violence Converge in Stephen King's Horror NovelChristine
Timing Problems: When Care and Violence Converge in Stephen King's Horror NovelChristine
Judith Butler, Joan Tronto, and Stephen King all hinge human experience on shared ontological vulnerability, but whereas Butler and Tronto use vulnerability to build ethical commit...