Hey now. Ordinary induction only implies that you can write an arbitrarily long novel of finite length. You need transfinite induction to get to infinite lengths.
Current theme: default
Less Wrong (text)
Less Wrong (link)
Hey now. Ordinary induction only implies that you can write an arbitrarily long novel of finite length. You need transfinite induction to get to infinite lengths.