Consistency, optimality, and incompleteness
type: Item
instance of: scholarly article
title: Consistency, optimality, and incompleteness
zbMATH Open document ID: 1320.03035
author: Yijia Chen
author: Jörg Flum
author: Moritz Müller
published in: Annals of Pure and Applied Logic
publication date: 2015-08-27T00:00:00Z
Mathematics Subject Classification ID: 03B30
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F40
zbMATH DE Number: 6476480
zbMATH Keywords: consistency
zbMATH Keywords: optimal algorithms
zbMATH Keywords: first-order arithmetic
zbMATH Keywords: Gödel's second incompleteness theorem
MaRDI profile type: Publication
full work available at URL: j.apal.2013.06.009
OpenAlex ID: W2009038574
DOI: 10.1016/J.APAL.2013.06.009
description: scientific article; zbMATH DE number 6476480