Comment by mcswell

Bizarrely, there is a conversation on exactly this idea of unwritten ideas going on here: https://news.ycombinator.com/item?id=50002650

Here are the particular comments having to do with this (I don't know how to link to an individual post in the discussion...maybe somebody can write that down for me :):

A: There is a vast amount of mathematical knowledge that hasn’t even been written down, much less formalized.

B: There is no such thing as knowledge that has never even been written down a single time by anyone or anything. Those are simply called ideas...