114.160.121.71の投稿記録
2015年2月2日 (月)
- 11:542015年2月2日 (月) 11:54 差分 履歴 0 極限計算可能関数 →証明
- 11:522015年2月2日 (月) 11:52 差分 履歴 +1,400 極限計算可能関数 →証明
2015年2月1日 (日)
- 05:262015年2月1日 (日) 05:26 差分 履歴 −244 極限計算可能関数 →証明
2014年11月8日 (土)
- 08:062014年11月8日 (土) 08:06 差分 履歴 +67 ELEMENTARY →性質
2014年11月4日 (火)
- 22:462014年11月4日 (火) 22:46 差分 履歴 −4 創造的集合と生産的集合 →数理論理学における応用
- 22:452014年11月4日 (火) 22:45 差分 履歴 +590 創造的集合と生産的集合 →数理論理学における応用
- 22:422014年11月4日 (火) 22:42 差分 履歴 +413 創造的集合と生産的集合 →参考文献
- 22:352014年11月4日 (火) 22:35 差分 履歴 +5 創造的集合と生産的集合 →性質
- 22:292014年11月4日 (火) 22:29 差分 履歴 +5 創造的集合と生産的集合 →性質
2014年10月14日 (火)
- 18:102014年10月14日 (火) 18:10 差分 履歴 +12 実数 →超準解析に基づく構成
- 04:282014年10月14日 (火) 04:28 差分 履歴 0 逆数学 →Big Five以外の体系
2014年8月6日 (水)
- 11:362014年8月6日 (水) 11:36 差分 履歴 +2 ラムダ計算 →同値性の決定不可能性
2014年8月3日 (日)
- 17:222014年8月3日 (日) 17:22 差分 履歴 +9 アローの不可能性定理 →個人選好からの関数を考えるアプローチ
- 17:172014年8月3日 (日) 17:17 差分 履歴 +12 ラムダ計算 →同値性の決定不可能性
- 17:162014年8月3日 (日) 17:16 差分 履歴 0 ラムダ計算 →同値性の決定不可能性: 表記の統一
2014年2月8日 (土)
- 16:162014年2月8日 (土) 16:16 差分 履歴 −35 クロス積 114.160.121.71 (会話) による ID:50627273 の版を取り消し
2014年2月7日 (金)
- 16:112014年2月7日 (金) 16:11 差分 履歴 +35 クロス積 →構文エラーの暫定的な回避
2014年1月31日 (金)
- 10:482014年1月31日 (金) 10:48 差分 履歴 +39 ブラリ=フォルティのパラドックス →関連項目
2013年11月15日 (金)
- 18:182013年11月15日 (金) 18:18 差分 履歴 −31 SKIコンビネータ計算 →ラムダ計算との関係
2013年8月4日 (日)
- 23:232013年8月4日 (日) 23:23 差分 履歴 +3 SKIコンビネータ計算 →自己適用と再帰
- 23:152013年8月4日 (日) 23:15 差分 履歴 +18 連想配列 →連想配列を標準で提供する主な言語
- 23:132013年8月4日 (日) 23:13 差分 履歴 +18 連想配列 →連想配列を標準で提供する主な言語
- 23:102013年8月4日 (日) 23:10 差分 履歴 +24 ラッセルのパラドックス →概要
2013年8月1日 (木)
- 16:192013年8月1日 (木) 16:19 差分 履歴 +100 ラッセルのパラドックス →概要
- 16:102013年8月1日 (木) 16:10 差分 履歴 +9 ラッセルのパラドックス →矛盾の解消
2013年6月5日 (水)
- 11:592013年6月5日 (水) 11:59 差分 履歴 +22 SKIコンビネータ計算 →ラムダ計算との関係
- 11:582013年6月5日 (水) 11:58 差分 履歴 +194 SKIコンビネータ計算 →形式的な定義
2013年5月28日 (火)
- 05:232013年5月28日 (火) 05:23 差分 履歴 −92 B,C,K,Wシステム →直観主義論理との関係
- 05:222013年5月28日 (火) 05:22 差分 履歴 −79 SKIコンビネータ計算 →直観主義論理との関係
- 05:202013年5月28日 (火) 05:20 差分 履歴 −2,461 SKIコンビネータ計算 →ブール論理
2013年4月6日 (土)
- 14:062013年4月6日 (土) 14:06 差分 履歴 +2 命題論理 →公理系1
2013年2月10日 (日)
- 10:502013年2月10日 (日) 10:50 差分 履歴 0 ライスの定理 →ライスの定理に類する結果
2013年2月9日 (土)
- 18:312013年2月9日 (土) 18:31 差分 履歴 +20 ゲーデルの不完全性定理 編集の要約なし
2013年1月25日 (金)
- 09:022013年1月25日 (金) 09:02 差分 履歴 +85 コンビネータ論理 →コンビネータ計算の非決定性
2013年1月13日 (日)
- 11:052013年1月13日 (日) 11:05 差分 履歴 +7 B,C,K,Wシステム →直観主義論理との関係
- 11:042013年1月13日 (日) 11:04 差分 履歴 +1 SKIコンビネータ計算 →直観主義論理との関係
- 11:042013年1月13日 (日) 11:04 差分 履歴 −2 SKIコンビネータ計算 →直観主義論理との関係
- 11:022013年1月13日 (日) 11:02 差分 履歴 −8 B,C,K,Wシステム 編集の要約なし
2013年1月8日 (火)
- 14:042013年1月8日 (火) 14:04 差分 履歴 +3 CHAOS;HEAD →主人公
2012年10月13日 (土)
- 07:542012年10月13日 (土) 07:54 差分 履歴 −12 冪対象 編集の要約なし
2012年10月12日 (金)
- 13:372012年10月12日 (金) 13:37 差分 履歴 −1 テイルズ オブ ジ アビス →世界構造
- 13:372012年10月12日 (金) 13:37 差分 履歴 +1 テイルズ オブ ジ アビス →世界構造
- 12:272012年10月12日 (金) 12:27 差分 履歴 −6 冪対象 編集の要約なし
- 12:172012年10月12日 (金) 12:17 差分 履歴 −26 冪対象 編集の要約なし
2012年10月6日 (土)
- 07:592012年10月6日 (土) 07:59 差分 履歴 +155 SKIコンビネータ計算 →自己適用と再帰
- 07:562012年10月6日 (土) 07:56 差分 履歴 −605 SKIコンビネータ計算 編集の要約なし
2012年10月3日 (水)
- 04:172012年10月3日 (水) 04:17 差分 履歴 −3 BCKWシステム ←B,C,K,Wシステムへのリダイレクト 最新
- 04:152012年10月3日 (水) 04:15 差分 履歴 +36 N BCKWシステム ←B, C, K, Wシステムへのリダイレクト
2012年7月19日 (木)
- 13:322012年7月19日 (木) 13:32 差分 履歴 +1 束 (束論) 編集の要約なし
- 12:572012年7月19日 (木) 12:57 差分 履歴 0 束 (束論) 誤字訂正