Conceptio
›
Archive
›
PhilArchive
PhilArchive
open access
There exists a non-recursively enumerable set {n∈N: φ(n)} such that the formula φ(n) is short and can be easily translated into a first-order formula which uses only + and \cdot
Tyszka, Apoloniusz
PhilArchive · Papers · License: Open Access
Open Source ↗
philosophy
Philosophy
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
Johann Christoph Sturm's Opposition to Cartesianism
#248560
Persistent Internal Standpoints in Artificial Systems: Machine Understanding as Standpoint-Organized World Modeling
#248561
Temptation as Structural Drift: A Systems Theory of Sin and Alignment
#248562
Philosophical Pessimism and the Heterogeneity of Suffering
#248563
Etica normativa
#248564
Record
· ID 119074
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.