Truth and provability
From MaRDI portal
Publication:354136
DOI10.1007/s00283-012-9328-6zbMath1295.03040OpenAlexW1976960095MaRDI QIDQ354136
Publication date: 18 July 2013
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00283-012-9328-6
Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Gödel numberings and issues of incompleteness (03F40) Logic (educational aspects) (97E30)
Cites Work