Wittgenstein on mathematical meaningfulness, decidability, and application
From MaRDI portal
Publication:1381435
DOI10.1305/ndjfl/1039724887zbMath0891.00007MaRDI QIDQ1381435
Publication date: 14 July 1998
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1039724887
meaningfulness; mathematical induction; finitism; algorithmic decidability; extrasystemic applications; syntactical consistency; transfinite set theory; varieties of formalism
Related Items
Cites Work