Art.117Idea.117Series vertex

The relationship between Physics, Philosophy, Science, Art, Accelerationists, and Ludittes

Read on X

Fibers on X

Series vertex. No documented primary-theorem join — Art.117 stays in the Idea Series.

Idea Series on X — Introduction · Index · Atlas

Check this citation in the Rift

Outside instrument

Crux

Stake a prior. Name the disagreement. Not a theorem.

Open full

Outside the corpus

Journals, repositories, counters

scientific method · incompleteness as feature. A paper can support a concept. It cannot support a necessity claim. Art.117 remains unproved by every card below.

No established outside literature supports the necessity claim. Adjacent papers are shown only as context. They do not close this fiber.

Support · living source

Tight papers that bear on concepts inside Art.117. A DOI is not a join.

Popper, K. R. (1959). The Logic of Scientific Discovery. Hutchinson / Routledge.
A claim earns status by naming what would retire it — the F-fiber's outside ancestor.
Does not support the necessity claim
Open original
Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatsh. Math. Phys. 38, 173.
Any sufficiently strong formal system leaves true sentences unprovable inside it.
Does not support the necessity claim
Open original
Turing, A. M. (1937). On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. s2-42, 230.
The halting problem as a computational horizon.
Does not support the necessity claim
Open original

Counter-arguments · refusing pole

One domain counter per cluster, not a repeating method quartet. The mirror reads these as enough to refuse necessity.

Feferman, S. (1995). Penrose's Gödelian argument. Psyche 2, 7.
Counter: incompleteness does not license a consciousness-as-noncomputable stabilizer.
Does not support the necessity claim
Open original