[spam][crazy][fiction][random] Non-Canon MCBoss Spinoffs
mailbombbin
mailbombbin at gmail.com
Sat Sep 16 15:03:19 PDT 2023
[go more detailed, find a usedul godel-stuff or a useful clear info.
sorry about bad, thanks for tension info.]
cornell-note [1] 3-considered memory summary
new working memory: T is a theory, which sounds like a logic.
new unknown memory: not sure what a theorem is, formally
the use of theorem is extensive and it is difficult to remember that
it is a new unknown. ok, so make a working memory.
new working memory: “theorem” is new unknown. definition in w:first-order logic
send for new skill record
1: https://www.cs.cornell.edu/courses/cs4860/2009sp/lec-23.pdf
More information about the cypherpunks
mailing list