[happysadpanda2]

> What we can do is replace the number N with the equation N % 2. That has only a finite number of inputs and leads to a valid table.

Just so I'm understanding it correctly, it should say "finite number of OUTPUTS" there, right?

[JonChesterfield]

I think they mean "finite number of rows", which would be "finite number of distinct inputs" or "finite number of outputs". The context is the challenge of writing down an infinite table.

There's probably a recursive/inductive equivalent notation but maybe it's hard to render clearly as a table.

[happysadpanda2]

I just re-read the entire reasoning, and I got it all wrong I think. N%2 will only ever yield one of two inputs. In short, I shouldn't try to brain before the morning coffee ;D