塔爾斯基方法

塔爾斯基方法（Tarski method）第一個初等代數和初等幾何命題的判定算法。

基本介紹

• 中文名：塔爾斯基方法
• 外文名：Tarski method

195。年，塔爾斯基(Tarski , A.)證明實閉域的初等代數問題是可判定的，由此推知，初等實幾何是可機械化的.用塔爾斯基方法，理論上可判定初等幾何中任一命題的真偽.但由於運算量太大，至今未能在計算機上證明稍難的定理.塔爾斯基定理可表述為:設f,(二、，x2 ... x‑)和(gy,xl,xz,"..xn)是有序域K上的多元多項式，這裡i=1,2,"””,m，而y在g中真正出現，則有機械化方法可以判斷.對K的有序的代數封閉域K中的任意滿足方程組

塔爾斯基方法