第一次Dartmouth會議,Simon和Newell的Logic Theorist就證明了數學原理52個定理中的38個

來源: 2025-09-29 19:08:50 [舊帖] [給我悄悄話] 本文已被閱讀: