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...
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...
Undecidability in quantum thermalization
Undecidability in quantum thermalization
Abstract
The investigation of thermalization in isolated quantum many-body systems has a long history, dating back to the time of developing statistical mechanics. Most qua...