Can There Be A Proof That Some Unprovable Arithmetic Sentence Is True?

DOI10.1111/J.1746-8361.1989.TB00945.XMaRDI QIDQ3475241zbMATH OpenOpenAlexFDO

Authors Philip Hugly, Charles Sayward

Publication date 1989

Published in Dialectica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1746-8361.1989.tb00945.x

zbMATH Keywords

first Gödel's Incompleteness Theoremunprovable arithmetic sentences

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

This page was built for publication: Can There Be A Proof That Some Unprovable Arithmetic Sentence Is True?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3475241)