融合可能数およびPeano算術【JST・京大機械翻訳】

Erickson Jeff; Nivasch Gabriel; Xu Junyan

プレプリント

J-GLOBAL ID：202202209510278560 整理番号：21P0027996

融合可能数およびPeano算術【JST・京大機械翻訳】

Fusible numbers and Peano Arithmetic

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2020年03月31日プレプリントサーバーでの情報更新日： 2022年07月27日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

ヒューズを含む数学的な除去りに触発されて,著者らは次のように「可融数」を定義する。0は可融性であり,x,yは|y-x|<1で融合可能であり,数(x+y+1)/2も可融性である。Rに関する通常の順序によって規則化した可融数のセットは,秩序型ε_0でよく規則化していることを証明した。さらに,実線に沿った可融数の密度は,不確かな高速速度において成長し,Letting g(n)は,間隔[n,∞]において,連続的融合可能数間の最大ギャップであり,ここでは,F_αが,高速成長階層構造を示す,いくつかの一定のcに対して,g(n) ̄-1≧F_ε_0(n-c)を持つことを証明した。最後に,以前に知られているそのようなステートメントよりも異なるフレーバーのPeanoアルゴリズムで定式化できるが,PAは真のステートメントを証明できないといういくつかの真のステートメントを導いた。また,アルゴリズム「M(x)」:x<0リターン-x,elseリターンM(x-1))/2,を考慮した。次に,Mは実際の入力に終わるが,PAはステートメント「全ての自然入力の終了」を証明できない。【JST・京大機械翻訳】

, , ,
, , 【Automatic Indexing@JST】

言語プロセッサ , 高分子担体・触媒反応 , システム・制御理論一般 , 糖質・糖鎖一般 , システム同定

前のページに戻る