Main public logs

Combined display of all available logs of Slow Like Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 16:00, 16 February 2025 Robert.adlington talk contribs deleted page On Formally Undecideable Propositions of TNT and Related Systems (content was: "* The arithmetical version of quining - arithmoquining - will allow us to make a TNT-sentence which is "about itself". ** a' is the Gödel number of the formula gotten by arithmoquining the formula with Gödel number a'' ** a' is the arithmoquinification of a'' * It's not enough to quine - you must quine a quine-mentioning sentence * We have gradually pulled a high-level interpretation -...", and the only contributor was "Rob" (talk))