16 Sep
2023
16 Sep
'23
10:03 p.m.
[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