Tarskis theorum says
arithmetical truth cannot be defined in arithmetic.
In applying tarski’s theorem to computer models it says;
climate model truth cannot be defined in modeling
In other words models don’t validate models. The only thing that can validate models is reality. Problem for the modelers is that none of them have been able to predict the current cooling, therefore the models are invalid. So tarski’s theorem holds for the climate realists but not for the climate alarmists.
One could also say that under the Classical model of science the AGW (anthropogenic global warming) theory is invalidated by empirical observation. Also as AGW has never been proven by scientific method then it is also invalid.
And so we see not only does the environment invalidate the AGW theory but that it also fails the 3 main scientific tests – tarski’s theorem, the classical model of science and scientific method. It is noteworthy that one of the principles of the scientific method is skepticism and this is what many climate realists have been attacked for having by climate alarmists. Therefore the theory of AGW must by reason be abandoned.