Mechanism, mentalism, and metamathematics. An essay on finitism (Q1149428): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
 
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Latest revision as of 02:23, 5 March 2024

scientific article
Language Label Description Also known as
English
Mechanism, mentalism, and metamathematics. An essay on finitism
scientific article

    Statements

    Mechanism, mentalism, and metamathematics. An essay on finitism (English)
    0 references
    1980
    0 references
    Gödel's first theorem
    0 references
    Church's thesis
    0 references
    Gödel's second theorem
    0 references
    critique of anti-mechanistic and anti-formalistic views
    0 references
    Hilbert's program
    0 references
    Gödel's undecidability construction
    0 references
    incompleteness
    0 references
    impossibility
    0 references
    mind and machine
    0 references
    consistency
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references