[hilbert42]

See links in tadfisher's reply, they provide a summary. (My comment was simplified for the HN post, his links provide a comprehensive description).