论全景监狱检测问题的不可判定性
密码学与安全
2021-07-13 v1
摘要
全景监狱(Panopticon,意为“万物监视者”)是 Bentham 于 1785 年提出的关于持续监视与规训的著名结构。该装置后来被 Foucault 等哲学家用作研究宪政权力与知识以及个体自由剥夺的范式与隐喻。如今,技术成就催生了超越物理边界、非物理性(不同于监狱)的持续监视新手段。结合某些政府机构承认其与这些互联网巨头合作收集或推断民众信息,这造成了多个可独立或紧密协作运作、共存全景监狱的令人担忧局面。因而,它们只能通过(或许可观的)投入才能被检测与识别。本文为研究符合两类理论性(但并非不现实)定义的 Panopticon 的可检测性状态提供了理论框架。我们利用 Oracle Turing 机证明,检测现代基于 ICT 的 Panopticon 是一个不可判定问题。此外,我们证明对每个足够表达的形式系统,我们可有效构造一台图灵机,使得在该形式系统内既无法证明它是 Panopticon 也无法证明它不是 Panopticon。
关键词
引用
@article{arxiv.2107.05220,
title = {On the undecidability of the Panopticon detection problem},
author = {Vasiliki Liagkou and Panayotis Nastou and Paul Spirakis and Yannis Stamatiou},
journal= {arXiv preprint arXiv:2107.05220},
year = {2021}
}
备注
13 pages, no figures, technical report