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:33, 18 July 2024 Rob talk contribs created page Jumping out of the System (Created page with "* Gw was not clever enough to foresee its own embeddability inside number theory. * Any system, no matter how complex or tricky it is, can be Gödel-numbered, and then the notion of its proof-pairs can be defined - and this is the petard by which it is hoise. Once a system is well-defined, or "boxed", it becomes vulnerable. * TNT is "essentially incomplete". The downfall occurs essentially because the system is powerful enough to have self-referential sentences. * Some f...")