Loading article…
数学の歴史 において、アルフレッド・タルスキ(1901-1983)は最も重要な論理学者の一人です。彼の名前は現在、その分野における 数多くの定理や概念と結び付けられています。
定理
- Łoś-Tarski 保存定理
- クナスター・タルスキ定理(タルスキの不動点定理とも呼ばれる)
- タルスキの定義不可能定理
- タルスキ・ザイデンベルクの定理
- いくつかの不動点定理(通常はクリーネの不動点定理の変形)は、タルスキ=カントロビッチ不動点原理またはタルスキ=カントロビッチ定理とも呼ばれますが、この用語の使用は限られています。
- タルスキの定理
その他の数学関連業務
- バーネイズ・タルスキー公理系
- バナッハ・タルスキーのパラドックス
- リンデンバウム・タルスキー代数
- ウカシェヴィチ=タルスキ論理
- ヨンソン・タルスキ双対性
- ヨンソン・タルスキ代数
- ゲーデル-マッキンゼー-タルスキー翻訳
- 真理の意味理論は、タルスキの真理の定義、またはタルスキの真理定義と呼ばれることもあります。
- タルスキの実数の公理化
- 平面幾何学におけるタルスキの公理
- タルスキの円二乗問題
- タルスキの指数関数問題
- タルスキ・グロタンディーク集合論
- タルスキの高校代数問題
- タルスキ・クラトフスキーアルゴリズム
- タルスキモンスターグループ
- タルスキのプランク問題
- 自由群に対するタルスキの問題
- タルスキ・ヴォート検定
- タルスキの世界
他の
- 13672 タルスキー、メインベルト小惑星
