Define a "computational cardinal" to be an equivalence class (with respect to recursive isomorphism) of subsets of natural numbers.
[A]·[B] = [{(n,m) | n∈A, m∈B}], where (,) is a recursive bijection ℕ^2 → ℕ.
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
[A]·[B] = [{(n,m) | n∈A, m∈B}], where (,) is a recursive bijection ℕ^2 → ℕ.