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...
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...