"証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています" 前提が共有されていない人との間では一意さは共有されない場合がある、ということをどう捉えるか

typographicalerror のブックマーク 2024/02/17 17:39

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4749385325115242688/comment/typographicalerror" data-user-id="typographicalerror" data-entry-url="https://b.hatena.ne.jp/entry/s/anond.hatelabo.jp/20240216204030" data-original-href="https://anond.hatelabo.jp/20240216204030" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fanond.hatelabo.jp%2F20240216204030" data-user-icon="/users/typographicalerror/profile.png">哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..</a><br><p style="clear: left">&quot;証明は自然言語で書きつつも, いざとなったら形式的に文字列に書き換えることができるという前提に立っています&quot; 前提が共有されていない人との間では一意さは共有されない場合がある、ということをどう捉えるか</p><a class="datetime" href="https://b.hatena.ne.jp/typographicalerror/20240217#bookmark-4749385325115242688"><span class="datetime-body">2024/02/17 17:39</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..

anond.hatelabo.jp2024/02/16

哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1...

152 人がブックマーク・27 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..

はてなブックマーク

公式Twitter

はてなのサービス