ArchiveSequencesAbout

QuestionsEventsShortformAlignment ForumAF Comments

HomeFeaturedAllTagsRecent Comments

Giles comments on Logical Pinpointing

Giles Nov 14, 2012, 4:22 PM
0 points
Just to be clear, I assume we’re talking about the second order Peano axioms here?

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