1,720,989 research outputs found
Calculations by Man and Machine: Conceptual Analysis
No full textWilfried Sieg. Calculations by Man and Machine: Conceptual Analysis
Calculations by Man and Machine: Mathematical Presentation
No full textWilfried Sieg. Calculations by Man and Machine: Mathematical Presentation
Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science
No full textWilfried Sieg. Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science
An Abstract Model for Parallel Computation: Gandy's Thesis
No full textWilfried Sieg and John Byrnes. An Abstract Model for Parallel Computation: Gandy's Thesis
Gödel, Turing, and K-Graph Machines
No full textWilfried Sieg and John Byrnes. Gödel, Turing, and K-Graph Machines
Mechanical Procedures and Mathematical Experience
No full textWilfred Sieg. Mechanical Procedures and Mathematical Experience
Mechanisms and Search: Aspects of Proof Theory
No full textWilfred Sieg. Mechanisms and Search: Aspects of Proof Theory
- …
