意図,意図的再帰,およびG”odel-L”ob公理【JST・京大機械翻訳】

Kavvos G. A.

プレプリント

J-GLOBAL ID：202202217818454485 整理番号：22P0040146

意図,意図的再帰,およびG”odel-L”ob公理【JST・京大機械翻訳】

Intensionality, Intensional Recursion, and the G\"odel-L\"ob axiom

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

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

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

タイプλ計算における必要性様式の使用は,それを2つの領域に分離するために使用することができる。これらは,伸張性対伸張性データとして考えられる:第1領域のデータ,モード1はコードとして利用可能であり,それらの記述は検討できる。対照的に,第2領域のデータは通常の同等性までの値としてのみ利用できる。これにより,一貫性を維持しながら,モーダル型で非機能的操作を追加することができた。この設定において,G”odel-L”ob axiomは,新しい建設的読解を獲得する:それは,彼ら自身のコードにアクセスするプログラムを書き込むことができる非常に強い種類の再帰性の可能性を提供する。これは,Kleeneの第二再帰定理を強く連想する一種の計算反射である。【JST・京大機械翻訳】

, , , , ,
, 【Automatic Indexing@JST】

応用心理学 , 情報源 , 計算機システム開発 , 応用プログラミング言語 , コロイド化学一般

前のページに戻る