EDB — 03H

Exercises

1. [03H] Found a polynomial \(p(x,y)\) which, seen as a function \(p:ℕ^ 2→ ℕ\) is bijective. It follows, iterating, that there is a polynomial \(q_ k\) in \(k\) variables \(q_ k:ℕ^ k→ℕ\) that is bijective. So \(ℕ^ k\) is countable.

   Solution 1

   [03J]↺↻