ArchiveSequencesAbout

QuestionsEventsShortformAlignment ForumAF Comments

HomeFeaturedAllTagsRecent Comments

[deleted] comments on Logical Pinpointing

[deleted]Nov 15, 2012, 12:56 PM
0 points
True, but the axiom of induction holds, and that is the most useful one.

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