HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by epgui | Hacker News Reader
Parent
Full thread
epgui
·
For Von Neuman:
1 = Ø U {Ø} = {Ø} 2 = 1 U {1} = {Ø,{Ø}}
View on HN
d-lisp
·
True, then it doesn't differ from Kuratowski's encoding or am I missing something ?
Reply on news.ycombinator.com