Carnegie Mellon University
Browse
file.pdf (794.71 kB)

Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science

Download (794.71 kB)
journal contribution
posted on 1997-07-01, 00:00 authored by Wilfried Sieg
Wilfried Sieg. Formal Systems, Church Turing Thesis, and Gödel's Theorems: Three Contributions to The MIT Encyclopedias of Cognitive Science.

History

Publisher Statement

All Rights Reserved

Date

1997-07-01

Usage metrics

    Categories

    Keywords

    Philosophy

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC