[图书][B] Human and machine thinking

PN Johnson-Laird - 2013 - taylorfrancis.com
This book aims to reach an understanding of how the mind carries out three sorts of thinking--
deduction, induction, and creation--to consider what goes right and what goes wrong, and to …

[PDF][PDF] Two lessons of logic

BC Smith - Computational intelligence, 1987 - ageofsignificance.org
1 Background Modem logic is most reasonably dated to 1879. 1 This means that logicians
have had more than a century to study a particular family of so-called formal systems. Not …

Was Computer noch immer nicht können

HL Dreyfus - Deutsche Zeitschrift für Philosophie, 1993 - degruyter.com
Vor beinahe einem halben Jahrhundert begründete der Computerpionier Allan Turing die
Ansicht, daß ein mit Regeln und Fakten programmierter Hochgeschwindigkeits-Computer …