integers https://blog.hatena.ne.jp/integers/ INTEGERS https://integers.hatenablog.com/ 日曜数学 日曜数学者のbutchi氏が準加算なるものを考察していらっしゃるため、ここにまとめを作っておきます。議論の場となれば幸いです。注意 当ブログでは基本的に自然数といえば正の整数を意味していますが、この記事においては以上の整数を自然数とよぶことにし、自然数全体のなす集合をで表します。に関するPeano算術は仮定します。Motivation を正の整数とするとき、 が成り立つ。として、とどんどん新しい演算を定義できる(Knuthの記号*1 )。それでは、逆方向に向かって -①を満たすようなを考えることができるであろうか？こののことをbutchi氏は準加算と呼んでます。以下、準加算の暫定的な定義を与え… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fintegers.hatenablog.com%2Fentry%2F2016%2F06%2F28%2F023131" title="butchi氏の準加算について - INTEGERS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/i/integers/20160628/20160628023119.png Hatena Blog https://hatena.blog 2016-06-28 02:31:31 rich https://integers.hatenablog.com/entry/2016/06/28/023131 1.0 100%