コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

Lambda1999の投稿記録

投稿の検索表示隠す
⧼contribs-top⧽
⧼contribs-date⧽
(最新 | 最古) (以後の50件 | ) (20 | 50 | 100 | 250 | 500 件) を表示

2024年12月20日 (金)

2024年11月21日 (木)

2024年11月20日 (水)

2024年11月17日 (日)

2024年9月23日 (月)

2024年9月13日 (金)

2024年9月8日 (日)

2024年9月3日 (火)

  • 13:302024年9月3日 (火) 13:30 差分 履歴 −27 レーヴェンハイム–スコーレムの定理 歴史: 英語版の翻訳だと思うが、わかりにくい翻訳なので、直訳せず意訳した。趣旨は「現在ではsatidfiabilityというべきところでも、以前はconsistencyと言ってしまっていた」ということ。この区別は完全性が成立するかどうかに関係なく必要だから、英語版の記述がそもそもおかしい。 最新 タグ: モバイル編集 モバイルウェブ編集

2024年7月28日 (日)

2024年2月17日 (土)

2024年1月5日 (金)

2023年11月14日 (火)

2023年10月16日 (月)

2023年8月11日 (金)

2023年7月16日 (日)

2023年6月29日 (木)

2023年4月28日 (金)

2022年11月27日 (日)

2022年10月1日 (土)

2022年8月29日 (月)

2022年8月8日 (月)

2022年7月20日 (水)

2022年6月28日 (火)

2022年6月19日 (日)

2022年5月12日 (木)

2022年4月26日 (火)

2022年3月30日 (水)

2022年3月23日 (水)

2022年3月12日 (土)

2022年2月8日 (火)

2021年11月25日 (木)

2021年9月8日 (水)

2021年9月6日 (月)

2021年8月25日 (水)

2021年8月19日 (木)

2021年5月17日 (月)

2021年2月4日 (木)

2020年11月24日 (火)

2020年10月2日 (金)

2020年9月7日 (月)

(最新 | 最古) (以後の50件 | ) (20 | 50 | 100 | 250 | 500 件) を表示