阿尔弗雷德·塔斯基

巴拿赫-塔斯基定理，是一条数学定理。1924年，斯特凡·巴拿赫和阿尔弗雷德·塔斯基首次提出这一定理，指出在选择公理成立的情况下，可以将一个三维实心球分成有限部分，然后仅仅通过旋转和平移到其他地方重新组合，就可以组成两个半径和原来相同的完整的球。

在数学领域序理论和格中，Knaster–Tarski 定理，得名于 Bronisław Knaster 和阿尔弗雷德·塔斯基，它声称:

塔斯基不可定义定理，是由阿尔弗雷德·塔斯基在1936年给出并证明，是在数理逻辑、数学基础及逻辑的语义方面的一个重要的限制结果。简单来说：我们无法在算术系统中定义何谓“算术的真理”。从而这个定理可被推广成适用于任何足够强的形式系统，以表明：我们无法在系统中定义何谓“系统标准模型的真理”。

在数学领域序理论和格中，Knaster–Tarski 定理，得名于 Bronisław Knaster 和阿尔弗雷德·塔斯基，它声称:

在数学中，关系代数是支持叫做逆反的对合一元运算的剩余布尔代数。激发关系代数的例子是在集合 X 上的所有二元关系的代数

2

X

2

{\displaystyle 2^{X^{2}}}

，带有 R·S 被解释为平常的二元关系复合。关系代数的早期形式形成于十九世纪德·摩根、皮尔士和 Ernst Schröder 的工作。它今日的纯等式形式是阿尔弗雷德·塔斯基和他的学生在 1940 年代开发的。

巴拿赫-塔斯基定理，是一条数学定理。1924年，斯特凡·巴拿赫和阿尔弗雷德·塔斯基首次提出这一定理，指出在选择公理成立的情况下，可以将一个三维实心球分成有限部分，然后仅仅通过旋转和平移到其他地方重新组合，就可以组成两个半径和原来相同的完整的球。