検索結果
ナビゲーションに移動
検索に移動
- 4キロバイト (158 語) - 2024年4月13日 (土) 17:34
- [[Category:自然数論]] …4キロバイト (108 語) - 2022年10月24日 (月) 17:01
- …ang-en-short|elementary function arithmetic}}）または'''指数関数算術'''（'''EFA'''）は[[自然数論|算術]]の体系のひとつであり、関数記号 <math>0,1,+,\times,x^y</math> の初等的な性質と、[[有界論理式]]に対する[[数 …6キロバイト (271 語) - 2024年12月13日 (金) 00:35
- …|en|finitism}}（[[形式主義_(数学)|形式主義]]）<!--「有限の立場（形式主義）」は『岩波 数学入門辞典』の原文ママ-->では[[自然数論]]の[[無矛盾性]]の証明が成立しないことを示す{{sfn|青本|上野|加藤|神保|2005|p=294}}{{sfn|日本数学会（編）|2011|p * 『[[数学原理]]（プリンキピア・マセマティカ）』の体系や[[公理的集合論]]の中には、「証明も反証もできない「[[自然数論]]の[[命題]]」」が存在する。 …74キロバイト (2,025 語) - 2025年1月17日 (金) 20:00
- 41キロバイト (2,178 語) - 2025年1月22日 (水) 02:04
- …書|author=高木貞治|authorlink=高木貞治|year=1996-12-10|title=近世数学史談・数学雑談|chapter=6. 自然数論|edition=復刻版|publisher=[[共立出版]]|pages=234-274|isbn=4-320-01551-7|ref={{Harvi …26キロバイト (1,000 語) - 2025年1月26日 (日) 10:54
- 16キロバイト (834 語) - 2024年8月27日 (火) 00:20
- [[Category:自然数論]] …24キロバイト (964 語) - 2024年12月23日 (月) 20:35
- * フレーゲ『算術の基礎』出版。[[自然数論]]の始まり。 …26キロバイト (1,155 語) - 2024年2月13日 (火) 10:47
- 32キロバイト (1,045 語) - 2024年12月11日 (水) 02:12
- 72キロバイト (4,629 語) - 2025年2月20日 (木) 04:26
- [[スティーヴン・コール・クリーネ]]の[[実現可能性解釈]]は、直観主義的[[自然数論|算術]]の証明を[[再帰的関数]]とその関数が論理式を実現していることを表す論理式の証明とに分離する。これにより、例えば「任意の自然数 a と b… …56キロバイト (4,712 語) - 2024年11月27日 (水) 12:17