Mechanism, mentalism, and metamathematics. An essay on finitism
type: Item
instance of: scholarly article
title: Mechanism, mentalism, and metamathematics. An essay on finitism
zbMATH Open document ID: 0454.03001
author: Judson Chambers Webb
published in: Synthese Library
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 03D10
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03D99
zbMATH DE Number: 3710141
zbMATH Keywords: Gödel's first theorem
zbMATH Keywords: Church's thesis
zbMATH Keywords: Gödel's second theorem
zbMATH Keywords: critique of anti-mechanistic and anti-formalistic views
zbMATH Keywords: Hilbert's program
zbMATH Keywords: Gödel's undecidability construction
zbMATH Keywords: incompleteness
zbMATH Keywords: impossibility
zbMATH Keywords: mind and machine
zbMATH Keywords: consistency
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 3710141