「ノート:直観主義論理」の版間の差分
削除された内容 追加された内容
m編集の要約なし |
→改名提案: 改名の報告 |
||
| (同じ利用者による、間の1版が非表示) | |||
| 9行目: | 9行目: | ||
--[[利用者:Hexirp|Hexirp]]（[[利用者‐会話:Hexirp|会話]]） 2019年2月1日 (金) 11:29 (UTC) |
--[[利用者:Hexirp|Hexirp]]（[[利用者‐会話:Hexirp|会話]]） 2019年2月1日 (金) 11:29 (UTC) |
||
誤解されかねない表現を修正--[[利用者:Hexirp|Hexirp]]（[[利用者‐会話:Hexirp|会話]]） 2019年2月1日 (金) 11:58 (UTC) |
誤解されかねない表現を修正--[[利用者:Hexirp|Hexirp]]（[[利用者‐会話:Hexirp|会話]]） 2019年2月1日 (金) 11:58 (UTC) |
||
* {{済}} 一週間待っても改名提案に対する反対意見がなかったので改名を実行しました。--[[利用者:Hexirp|Hexirp]]（[[利用者‐会話:Hexirp|会話]]） 2019年2月9日 (土) 03:20 (UTC) |
|||
2019年2月9日 (土) 03:20時点における最新版
改名提案[編集]
「直観論理」から「直観主義論理」への改名を提案します。現在の記事名は「直観論理」となっていますが、「直観主義論理」の方が一般的ではないかと思われるため、Google 検索で何件ヒットするのかを調査してみました。その結果、「直観論理」は約 1,860 件で「直観主義論理」は約 3,800 件ヒットとなり、「直観主義論理」の方が多くヒットします。これを根拠とします。これが本提案の根拠となります。また、数ある書籍の一例に過ぎないのですが、普通の書籍よりは言葉に対して厳密であると思われる『岩波数学辞典』は「直観主義論理」を採用しているようです。
- 「直観論理」の Google 検索結果 - https://www.google.com/search?q=%22%E7%9B%B4%E8%A6%B3%E8%AB%96%E7%90%86%22
- 「直観主義論理」の Google 検索結果 - https://www.google.com/search?q=%22%E7%9B%B4%E8%A6%B3%E4%B8%BB%E7%BE%A9%E8%AB%96%E7%90%86%22
--Hexirp（会話） 2019年2月1日 (金) 11:29 (UTC) 誤解されかねない表現を修正--Hexirp（会話） 2019年2月1日 (金) 11:58 (UTC)
済 一週間待っても改名提案に対する反対意見がなかったので改名を実行しました。--Hexirp（会話） 2019年2月9日 (土) 03:20 (UTC)
