On a hitherto unexploited extension of the finitary standpoint
type: Item
instance of: scholarly article
title: On a hitherto unexploited extension of the finitary standpoint
zbMATH Open document ID: 0433.03040
DOI: 10.1007/BF00247744
published in: Journal of Philosophical Logic
publication date: 1980-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 01A75
zbMATH DE Number: 3674086
zbMATH Keywords: finitary standpoint
zbMATH Keywords: consistency of classical number theory
zbMATH Keywords: computable function of finite simple type
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00247744
OpenAlex ID: W9785351
author: Kurt Gödel
description: scientific article; zbMATH DE number 3674086