最終更新日:2022/12/24
The ideal of uncontroversial checkability of mathematical arguments, however, seems to be related to formal derivations rather than scribblings on napkins.
編集履歴(0)
The ideal of uncontroversial checkability of mathematical arguments, however, seems to be related to formal derivations rather than scribblings on napkins.