Skip to content

Instantly share code, notes, and snippets.

@Tok

Tok/von_neumann_ordinal.clj

Created May 21, 2019 21:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Tok/b619641f659b8a28946ab9f720970fc4 to your computer and use it in GitHub Desktop.
Save Tok/b619641f659b8a28946ab9f720970fc4 to your computer and use it in GitHub Desktop.
Download ZIP
Von Neuman ordinals as Clojure sets.
Raw
von_neumann_ordinal.clj
(ns zir.von-neumann-ordinal)
(defn- print-ordinals [ordinal]
(if (< (count ordinal) 16)
(do (println (count ordinal) ordinal)
(recur (conj (set ordinal) ordinal)))))
(defn -main [& _] (print-ordinals (set nil)))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment