ArchiveSequencesAbout

QuestionsEventsShortformAlignment ForumAF Comments

HomeFeaturedAllTagsRecent Comments

CronoDAS comments on How to cheat Löb’s Theorem: my second try

CronoDAS Aug 23, 2012, 11:27 PM
1 point

Nit: C ranges over all statements;

Yeah, I goofed.

Customize appearance

Current theme: default

Less Wrong (text)

Less Wrong (link)

Invert colors

Hi, I’m Bobby the Basilisk! Click on the minimize button (

) to minimize the theme tweaker window, so that you can see what the page looks like with the current tweaked values. (But remember, the changes won’t be saved until you click “OK”!)

Theme tweaker help

Show Bobby the Basilisk