検索結果
ナビゲーションに移動
検索に移動
- …natory categorial grammar|links=no}}、CCG、'''組み合わせ範疇文法'''とも）とは、[[形式主義 (言語学)|形式主義]]言語学の統語論の理論である。[[語彙化文法]]{{Efn2|近年の文法理論では多い、文法を[[句構造規則]]としてではなく、辞書に書き込むべきとする …4キロバイト (189 語) - 2025年1月5日 (日) 15:14
- [[形式主義 (数学)|形式主義]]の観点では、「集合」の意味は系によって異なる。プラトン主義的には、ある特定の形式体系をその根底にある現実の近似と見る。 …11キロバイト (143 語) - 2023年6月30日 (金) 03:23
- [[Category:形式主義]] …6キロバイト (368 語) - 2022年5月11日 (水) 17:36
- これは後に[[ダフィット・ヒルベルト|ヒルベルト]]らによって強力に進められることになる、[[形式主義 (数学)|形式主義]]的方法の格好の例といえる。 …16キロバイト (834 語) - 2024年8月27日 (火) 00:20
- …言語]]の[[統語論]]において、[[構成素|統語成分]]が[[関数 (数学)|関数]]やその[[引数]]の結合であるとの仮説に基づいて編成された[[形式主義]]文法理論である。範疇文法は、構文カテゴリーが意味の型に対応しているとして、{{link-en|構成性原理|principle of composit …8キロバイト (392 語) - 2025年1月17日 (金) 07:26
- 12キロバイト (596 語) - 2023年10月23日 (月) 01:50
- 11キロバイト (678 語) - 2022年7月7日 (木) 09:20
- …serve=1}}）{{sfn|青本|上野|加藤|神保|2005|p=294}}{{Efn2|原文：{{行内引用|ゲーデルの不完全性定理は有限の立場（形式主義）で数学の無矛盾性を証明することはできないことを示した．ゲンツェン（Gentzen）は，有限の立場より緩い制限のもとで自然数論の無矛盾性を証明した．}} …や[[証明 (数学)|証明]]とは何なのか」といった[[哲学]]的な問いに対し、[[伝統]]的な哲学の手法ではなく数学の手法（[[形式主義 (数学)|形式主義]]）で答える試みがなされ、そこから数学の一分野「数学基礎論」が生まれた{{Sfn|菊池|2014|p=ii}}{{Efn2| …74キロバイト (2,025 語) - 2025年1月17日 (金) 20:00
- …学は新たな数学を探し求めるものにすぎなくなるだろう。{{sfnp|斉藤|2008|page=17}}現代数学の見地からは、数学の問題を解くことは、[[形式主義 (数学)|形式的]]には、[[チェス]]（あるいは[[将棋]]や[[囲碁|碁]]）のような、一定のルールに制約された記号の操作に還元し得ると考えられて …13キロバイト (522 語) - 2024年5月12日 (日) 14:04
- 17キロバイト (931 語) - 2023年12月19日 (火) 12:50
- 21キロバイト (985 語) - 2024年1月28日 (日) 06:09
- 38キロバイト (1,656 語) - 2024年11月9日 (土) 22:03
- 37キロバイト (1,065 語) - 2025年2月21日 (金) 14:09
- 45キロバイト (1,231 語) - 2023年12月24日 (日) 17:20
- 数理論理学や超数学とほぼ同じ意味で，論理を扱う数学の一分野である． … [[ゲーデルの不完全性定理]]は[[形式主義_(数学)|有限の立場（形式主義）]]で数学の[[無矛盾性]]を証明することはできないことを示した．[[:en:Gentzen's consistency proof|ゲンツェン（Ge …72キロバイト (4,629 語) - 2025年2月20日 (木) 04:26
- ソ連のある画家はジッドに、ソ連では芸術家は規準（ライン）の中に収まらなければ、「[[ロシア・フォルマリズム|形式主義（フォルマリズム）]]」とみなされるのであり、芸術家は偉大な人民にふさわしい大衆的な芸術を作るべきだと語った{{Sfn| ジッド | 2019 |p=1 …643キロバイト (9,489 語) - 2025年2月26日 (水) 23:07