Sentient arithmetic and Gödel's theorems

DOI10.1016/0898-1221(96)00104-6zbMath0857.03033OpenAlexW2083277835MaRDI QIDQ1816681

K. K. Nambiar

Publication date: 27 November 1996

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0898-1221(96)00104-6

zbMATH Keywords

consistencyincompletenessextension of elementary arithmeticGödel's theoremssentient arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (1)

Real set theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sentient arithmetic and Gödel's theorems