纹章
发表于 2025-3-25 06:58:30
https://doi.org/10.1007/1-4020-2721-4al Theorist“ vor, einen automatischen Beweiser, der mit heuristischen Mitteln „similar to those that have been observed in human problem solving“ Beweise generiertes und die Grundlage des späteren „General Problem Solver“. wurde. Bei Zenon Pylyshyn wird diese „Logisierung“ sogar explizit als Grundlage der Computertheorie des Geistes genannt:
CHURL
发表于 2025-3-25 08:46:54
https://doi.org/10.1007/978-3-540-38802-9gikern betrieben wird, dafür kein Platz ist: „ is only an heuristic to prompt certain trains of inference; ... it is dispensable as a proof-theoretic device; indeed, ... it has no proper place in the proof as such. For the proof is a syntactic object consisting only of sentences arranged in a finite and inspectable array.“.
CRANK
发表于 2025-3-25 14:46:58
http://reply.papertrans.cn/19/1860/185955/185955_23.png
Anthropoid
发表于 2025-3-25 16:59:05
http://reply.papertrans.cn/19/1860/185955/185955_24.png
Evocative
发表于 2025-3-25 22:55:38
http://reply.papertrans.cn/19/1860/185955/185955_25.png
Fretful
发表于 2025-3-26 00:44:03
http://reply.papertrans.cn/19/1860/185955/185955_26.png
frozen-shoulder
发表于 2025-3-26 07:31:36
https://doi.org/10.1007/1-4020-2721-4nen. Bei so einem schillernden und grundlegenden Begriff ist es nicht verwunderlich, daß er auch als terminus technicus nicht viel schärfer gefaßt wird. Neben dem Begriff der Repräsentation ist der Symbolbegriff sicherlich einer der zentralen Begriffe der Kognitionswissenschaften. Leider wird er nicht einheitlich verwandt.
crease
发表于 2025-3-26 09:22:35
Vibrations of Discrete Systems, uns anscheinend den Geist nicht verständlich machen, ohne Analogien zu externen Zeichen zu bilden, so daß sich die psychologische und philosophische Diskussion mentaler Repräsentationen bis heute weitgehend an natürlichen und formalen Sprachen, Bildern, Landkarten, Diagrammen und neuerdings Programmiersprachen orientiert.
口诀
发表于 2025-3-26 14:13:58
http://reply.papertrans.cn/19/1860/185955/185955_29.png
的阐明
发表于 2025-3-26 18:39:57
http://reply.papertrans.cn/19/1860/185955/185955_30.png