Level777の投稿記録

2012年9月28日 (金)

• 15:222012年9月28日 (金) 15:22 差分 履歴 +378 セル・オートマトン 編集の要約なし

2011年8月19日 (金)

• 12:302011年8月19日 (金) 12:30 差分 履歴 −7 m 逆数学 →追加された体系

2011年8月18日 (木)

• 23:022011年8月18日 (木) 23:02 差分 履歴 +9 m 逆数学 →基本体系 RCA0
• 22:562011年8月18日 (木) 22:56 差分 履歴 +3 m 逆数学 →2階算術の使用
• 14:242011年8月18日 (木) 14:24 差分 履歴 −271 m 逆数学 →追加された体系
• 14:052011年8月18日 (木) 14:05 差分 履歴 −479 m 逆数学 →弱ケーニッヒの補題 WKL0
• 14:032011年8月18日 (木) 14:03 差分 履歴 −432 m 逆数学 →弱ケーニッヒの補題 WKL0
• 13:532011年8月18日 (木) 13:53 差分 履歴 −603 m 逆数学 →算術的内包公理 ACA0
• 13:362011年8月18日 (木) 13:36 差分 履歴 −652 逆数学 →算術的超限再帰 ATR0
• 13:232011年8月18日 (木) 13:23 差分 履歴 −87 逆数学 →Π11内包公理 Π11-CA0
• 12:252011年8月18日 (木) 12:25 差分 履歴 −816 m 逆数学 →弱ケーニッヒの補題 WKL0
• 12:022011年8月18日 (木) 12:02 差分 履歴 +16 m 逆数学 →2階算術の使用
• 04:512011年8月18日 (木) 04:51 差分 履歴 −6 逆数学 →ω-モデルとβ-モデル
• 04:502011年8月18日 (木) 04:50 差分 履歴 −166 逆数学 →ω-モデルとβ-モデル
• 04:372011年8月18日 (木) 04:37 差分 履歴 −274 m 逆数学 →一般的な原理

2011年8月17日 (水)

• 13:512011年8月17日 (水) 13:51 差分 履歴 −19 逆数学 →追加された体系
• 13:502011年8月17日 (水) 13:50 差分 履歴 −302 逆数学 →追加された体系
• 12:342011年8月17日 (水) 12:34 差分 履歴 −261 m 逆数学 →2階算術の5つの基本的部分体系
• 12:112011年8月17日 (水) 12:11 差分 履歴 −884 m 逆数学 →基本体系 RCA0
• 04:092011年8月17日 (水) 04:09 差分 履歴 −14 m 逆数学 →外部リンク
• 04:032011年8月17日 (水) 04:03 差分 履歴 −600 逆数学 編集の要約なし

2011年8月16日 (火)

• 01:572011年8月16日 (火) 01:57 差分 履歴 −20 逆数学 →基本体系 RCA0
• 01:532011年8月16日 (火) 01:53 差分 履歴 −105 逆数学 →算術的内包公理 ACA0
• 01:422011年8月16日 (火) 01:42 差分 履歴 +2 逆数学 →Π11内包公理 Π11-CA0
• 01:402011年8月16日 (火) 01:40 差分 履歴 −19 逆数学 →算術的超限再帰 ATR0
• 01:352011年8月16日 (火) 01:35 差分 履歴 −118 逆数学 →弱ケーニッヒの補題 WKL0
• 01:262011年8月16日 (火) 01:26 差分 履歴 −159 逆数学 →基本体系 RCA0
• 00:532011年8月16日 (火) 00:53 差分 履歴 +26,240 N 逆数学 Reverse mathematics　06:20, 3 July 2011 翻訳/随時翻訳

2011年8月15日 (月)

• 01:012011年8月15日 (月) 01:01 差分 履歴 +19 ソール・クリプキ 編集の要約なし
• 01:002011年8月15日 (月) 01:00 差分 履歴 −6 ソール・クリプキ 編集の要約なし
• 00:582011年8月15日 (月) 00:58 差分 履歴 +97 ソール・クリプキ 編集の要約なし

2010年12月19日 (日)

• 05:022010年12月19日 (日) 05:02 差分 履歴 +22 脱構築 →数理論理学での記述: リンク修正

2010年12月18日 (土)

• 22:542010年12月18日 (土) 22:54 差分 履歴 +222 脱構築 →数理論理学での記述
• 22:462010年12月18日 (土) 22:46 差分 履歴 0 m 脱構築 →数理論理学での記述: 誤変換修正
• 22:422010年12月18日 (土) 22:42 差分 履歴 +1,196 脱構築 数理論理学での記述 add
• 03:422010年12月18日 (土) 03:42 差分 履歴 +113 m 形式の法則 関連図書を参考文献に修正
• 01:192010年12月18日 (土) 01:19 差分 履歴 +1,683 N 形式の法則 ←新しいページ: ''''形式の法則'''（'''けいしきのほうそく'''）はイギリスの数学者であるG・スペンサー＝ブラウンが提唱した論...' タグ: 参考文献（出典）に関する節がない記事の作成

2010年12月9日 (木)

• 15:242010年12月9日 (木) 15:24 差分 履歴 +36 m アレクサンドル・グロタンディーク →関連項目: グロタンディーク宇宙追加
• 15:222010年12月9日 (木) 15:22 差分 履歴 +36 m 集合論 →関連項目: グロタンディーク宇宙追加
• 15:202010年12月9日 (木) 15:20 差分 履歴 +76 m 集合 →特別な集合: グロタンディーク宇宙を追加
• 15:182010年12月9日 (木) 15:18 差分 履歴 +117 m 数学基礎論 ラッセルのパラドックスの顛末
• 15:112010年12月9日 (木) 15:11 差分 履歴 +121 m ラッセルのパラドックス →関連項目: 普遍集合について
• 15:082010年12月9日 (木) 15:08 差分 履歴 +36 m 公理的集合論 →関連項目: グロタンディーク宇宙追加
• 15:062010年12月9日 (木) 15:06 差分 履歴 +180 m 公理 →公理の例: グロタンディーク宇宙追加

2010年12月6日 (月)

• 12:592010年12月6日 (月) 12:59 差分 履歴 +22 m ユニバース (曖昧さ回避) * 宇宙 (数学)追加
• 12:522010年12月6日 (月) 12:52 差分 履歴 +8 m アレクサンドル・グロタンディーク →12テーマ: リンク追加

2010年12月4日 (土)

• 23:182010年12月4日 (土) 23:18 差分 履歴 −3 m グロタンディーク宇宙 →関連項目: リンク修正

2010年11月30日 (火)

• 14:402010年11月30日 (火) 14:40 差分 履歴 −14 m 宇宙 (数学) →関連項目: タグミスを修正
• 14:392010年11月30日 (火) 14:39 差分 履歴 +14,865 N 宇宙 (数学) from en:Universe_(mathematics) 06:58, 11 October 2010 UTC（段階的に翻訳） タグ: 参考文献（出典）に関する節がない記事の作成

2010年11月26日 (金)

• 15:472010年11月26日 (金) 15:47 差分 履歴 +38 m スタック (層理論) 編集の要約なし