>＞機械は証明を考える能力を持っていません。
>またでたらめを言う

中傷は止めてください。議論をするのであれば、
相手に対する礼節も必要。

ゲーデルとタルスキーによって、次のことが示されています：

「任意に与えた論理式が形式的体系から証明可能かどうか
　・・・それを判定するアルゴリズムは存在しない。
　ただし、形式的体系は、自然数論の公理を含むとする。」

＞タルスキーは数学者とは言えないでしょう

それはあなたがそう思っているだけです。