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).

• 09:00, 6 July 2024 Rob talk contribs created page Figure and Ground (Created page with " * The requirement of formality is the essential things which keeps you from mixing up the I-mode and the M-mode - it keeps you from mixing up arithmetical facts with typographical theorems * Checking whether Cx is not a theorem is not an explicitly typographical operation… You have to go outside the system. This is a rule which violates the whole idea of formal systems, in that it asks you to act informally, ie outside the system. * Holes in the system are only negati...")