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‎ 束 (束論) ‎ 誤字訂正