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:38, 17 July 2024 Rob talk contribs created page On Formally Undecideable Propositions of TNT and Related Systems (Created page with "* 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 - a sentence of meta-TNT - out of what was originally a low-level interpretation - a s...")