Terms vs Checkability - What's the difference?
terms | checkability |
The quality of being checkable.
*{{quote-journal, 2008, date=March 21, Bernd Buldt, Benedikt Löwe and Thomas Müller, Towards a New Epistemology of Mathematics, Erkenntnis, url=, doi=10.1007/s10670-008-9101-6, volume=68, issue=3, pages=
, passage=The ideal of uncontroversial checkability of mathematical arguments, however, seems to be related to formal derivations rather than scribblings on napkins. }}
