「ゲーデルの完全性定理」の変更履歴

版の絞り込み表示隠す

この日まで:

タグ絞り込み:

選択したものを除く

差分を表示するには比較したい版のラジオボタンを選択し、エンターキーを押すか、下部のボタンを押します。
凡例: (最新) = 最新版との比較、(前) = 直前の版との比較、m = 細部の編集、日時は個人設定で未設定ならUTC

最新前 00:102023年3月26日 (日) 00:10‎ 60.115.220.47 会話‎ 13,568バイト +35‎ →‎外部リンク取り消し

最新前 09:232021年5月24日 (月) 09:23‎ 240d:1a:34:bb00:2d94:c547:68ed:3b8b 会話‎ 13,533バイト +10‎ →‎外部リンク取り消し

最新前 12:202021年1月15日 (金) 12:20‎ ABCEdit 会話投稿記録‎ 13,523バイト +22‎ 編集の要約なし取り消し

最新前 12:302020年1月30日 (木) 12:30‎ Shinsa82 会話投稿記録‎ 13,501バイト −12‎ 「第一階」→「一階」に修正。後者が圧倒的に標準的な用法であると思われるため取り消し

最新前 09:252019年12月22日 (日) 09:25‎ いんふるえん会話投稿記録‎ 13,513バイト +38‎ 編集の要約なし取り消し

最新前 10:052019年10月7日 (月) 10:05‎ 34.70.195.43 会話‎ 13,475バイト +26‎ 編集の要約なし取り消し

最新前 12:472017年8月1日 (火) 12:47‎ Duck775 会話投稿記録‎ 13,449バイト 0‎ 文献脚注を消して脚注を移動など。取り消し

最新前 06:422017年2月15日 (水) 06:42‎ 新規作成会話投稿記録‎ m 13,449バイト +13‎ →‎文献脚注取り消し

最新前 15:492015年4月26日 (日) 15:49‎ Sureturn 会話投稿記録‎ 13,436バイト +18‎ 編集の要約なし取り消し

最新前 13:452014年12月23日 (火) 13:45‎ I.hidekazu 会話投稿記録‎ 13,418バイト +6‎ すべての領域で妥当であるとき普遍妥当と呼びます。意味と形式を分離した場合、論理式ではなく表現が普遍妥当という言い方をします。取り消し

最新前 16:262014年12月22日 (月) 16:26‎ Sillycrown 会話投稿記録‎ 13,412バイト −6‎ 現代的でない用語を変更取り消し

最新前 13:562014年12月21日 (日) 13:56‎ I.hidekazu 会話投稿記録‎ m 13,418バイト +27‎ 編集の要約なし取り消し
最新前 13:552014年12月21日 (日) 13:55‎ I.hidekazu 会話投稿記録‎ 13,391バイト +246‎ 言い回しを整理した。取り消し
最新前 13:352014年12月21日 (日) 13:35‎ I.hidekazu 会話投稿記録‎ 13,145バイト +1,141‎ 概要について記載した。取り消し

最新前 16:042014年12月20日 (土) 16:04‎ I.hidekazu 会話投稿記録‎ 12,004バイト +35‎ 編集の要約なし取り消し
最新前 16:012014年12月20日 (土) 16:01‎ I.hidekazu 会話投稿記録‎ m 11,969バイト +11‎ 細かい修正取り消し
最新前 15:332014年12月20日 (土) 15:33‎ I.hidekazu 会話投稿記録‎ 11,958バイト +405‎ 冒頭の説明を整理した。取り消し

最新前 16:202014年12月17日 (水) 16:20‎ I.hidekazu 会話投稿記録‎ 11,553バイト +537‎ →‎参考文献: 参考文献の追加取り消し

最新前 08:422014年8月31日 (日) 08:42‎ Sillycrown 会話投稿記録‎ 11,016バイト +300‎ 編集の要約なし取り消し

最新前 02:042014年4月18日 (金) 02:04‎ 211.5.111.121 会話‎ 10,716バイト +4‎ 編集の要約なし取り消し

最新前 13:532014年4月5日 (土) 13:53‎ Sillycrown 会話投稿記録‎ 10,712バイト +31‎ →‎関連項目取り消し

最新前 01:162013年4月21日 (日) 01:16‎ Ichiro Kikuchi 会話投稿記録‎ 10,681バイト +26‎ →‎外部リンク取り消し
最新前 01:152013年4月21日 (日) 01:15‎ Ichiro Kikuchi 会話投稿記録‎ 10,655バイト +144‎ →‎参考文献: 追加取り消し

最新前 15:512013年4月11日 (木) 15:51‎ EmausBot 会話投稿記録‎ m 10,511バイト −651‎ ボット: 言語間リンク 15 件をウィキデータ上の d:Q902052 に転記取り消し

最新前 14:272012年2月23日 (木) 14:27‎ Insanity 会話投稿記録‎ m 11,162バイト −4‎ →‎証明: ad hocが斜体になっているのは外来語を表すため取り消し

最新前 11:472011年3月3日 (木) 11:47‎ 112.139.132.240 会話‎ 11,166バイト +45‎ 編集の要約なし取り消し

最新前 13:052011年3月1日 (火) 13:05‎ 白駒会話投稿記録‎ m 11,121バイト −3‎ ソートキー取り消し

最新前 03:462011年2月13日 (日) 03:46‎ 133.43.100.130 会話‎ 11,124バイト +12‎ →‎定理とその帰結取り消し

最新前 13:092010年12月21日 (火) 13:09‎ WikitanvirBot 会話投稿記録‎ m 11,112バイト +34‎ r2.5.2) (ロボットによる追加: ko:괴델의 완전성 정리 取り消し

最新前 23:272010年12月9日 (木) 23:27‎ Masahiro Sakai 会話投稿記録‎ 11,078バイト +12‎ enumerableの訳を「可算」から「枚挙可能」に変更。(「可算」だとcountableの意味になってしまうため) 取り消し

最新前 09:372010年7月31日 (土) 09:37‎ Luckas-bot 会話投稿記録‎ m 11,066バイト +40‎ ロボットによる追加: nl:Volledigheidsstelling van Gödel 取り消し

最新前 10:372010年2月6日 (土) 10:37‎ 133.43.100.130 会話‎ 11,026バイト +30‎ →‎コンパクト性定理との関係: effective に実効的の語を当てた。取り消し

最新前 07:112009年7月27日 (月) 07:11‎ TXiKiBoT 会話投稿記録‎ m 10,996バイト +40‎ ロボットによる追加: it:Teorema di completezza di Gödel 取り消し

最新前 10:072009年6月29日 (月) 10:07‎ Melan 会話投稿記録‎ m 10,956バイト +3‎ →‎背景取り消し

最新前 11:252009年2月13日 (金) 11:25‎ 敷島健一会話投稿記録‎ m 10,953バイト +294‎ →‎参考文献: 日本語文献を追加。取り消し

最新前 05:012008年11月28日 (金) 05:01‎ Caspar 会話投稿記録‎ m 10,659バイト +181‎ →‎証明: 訳取り消し

最新前 11:302008年8月9日 (土) 11:30‎ Yotaloop 会話投稿記録‎ 10,478バイト +36‎ リンク henkin→ヘンキン取り消し

最新前 14:022008年6月24日 (火) 14:02‎ 白駒会話投稿記録‎ m 10,442バイト +38‎ →‎外部リンク: +cat 取り消し

最新前 12:472008年6月17日 (火) 12:47‎ Izayohi 会話投稿記録‎ 10,404バイト +6‎ 言語テンプレ取り消し
最新前 08:112008年6月17日 (火) 08:11‎ Thijssie!bot 会話投稿記録‎ m 10,398バイト +53‎ ロボットによる追加: ru:Теорема Гёделя о полноте 取り消し
最新前 02:102008年6月17日 (火) 02:10‎ Melan 会話投稿記録‎ 10,345バイト +10,345‎ en:Gödel's completeness theorem（2008年5月16日 14:49:39(UTC)）の翻訳

2023年3月26日 (日)

2021年5月24日 (月)

2021年1月15日 (金)

2020年1月30日 (木)

2019年12月22日 (日)

2019年10月7日 (月)

2017年8月1日 (火)

2017年2月15日 (水)

2015年4月26日 (日)

2014年12月23日 (火)

2014年12月22日 (月)

2014年12月21日 (日)

2014年12月20日 (土)

2014年12月17日 (水)

2014年8月31日 (日)

2014年4月18日 (金)

2014年4月5日 (土)

2013年4月21日 (日)

2013年4月11日 (木)

2012年2月23日 (木)

2011年3月3日 (木)

2011年3月1日 (火)

2011年2月13日 (日)

2010年12月21日 (火)

2010年12月9日 (木)

2010年7月31日 (土)

2010年2月6日 (土)

2009年7月27日 (月)

2009年6月29日 (月)

2009年2月13日 (金)

2008年11月28日 (金)

2008年8月9日 (土)

2008年6月24日 (火)

2008年6月17日 (火)