Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

You are suggesting Godel created the punctuation mark known as a period? Obviously not. But I'm not sure what you are trying to say..


That period was encoded in a symbol string, i.e. it is a bit string.

Today we encode everything in bi-symbol strings.

This was not common when Gödel crafted his incompleteness theorem. And at the time it was a novel approach for setting up a context for testing the limits of computing.

Some people can still be struck by it as novel when reading the proof, because in context it was, and still feels that way. But today "symbol string" representation is ordinary and pervasive.




Consider applying for YC's Summer 2026 batch! Applications are open till May 4

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: