Jacobian variety
ファルティングスの定理は計算可能性を備えていない。ファルティングスの定理の証明に用いられる議論からは、ヤコビ多様体の構造を用いて、有理点の個数に対して、具体的な上からの評価を求めることはできるが、有理点の大きさの上界が得られるわけではない。そのため、この定理を使って有理点をすべて求めることはできない。