Wilku, niestety mylisz się. Polecam zapoznać się z:
http://pl.wikipedia.org/wiki/Twierdzenie_G%C3%B6dla
Jako informatykowi przypominam Ci, że istnieje tzw. problem stopu, który jest nierozstrzygalny.
Osobną kwestią jest niezależność nauki i dążenie do prawdy, bardzo często badania pochłaniają gigantyczne pieniądze i muszą przynosić wyniki, więc wszystko się robi, żeby tak się stało. Pamiętacie pierwszą wiadomość o LHC, że wykryto dwa maxima wokół wartości energii mającej być bozonem Higgsa? Potem ta wiadomość zniknęła i już jest jeden bozon.