Hacker News Reader

> Gödel's 1931 Second Incompleteness Theorem insists that it is strictly forbidden to ever claim the truth of any scientific or mathematical statement

That is grossly wrong interpretation of the theorem. I stopped reading the article right there.

View on HN

It gets even worse. I can't tell if this guy is pulling my leg, or if he's just a crank.

Why don't you write a program to show that a particular statement in my article would be wrong?

Your article constains no assert statement, therefore, according to itself, it is false.

I like your attempt. At least, it is meaningful. Only the domain of statements about facts can be verified with facts. The domain of statements about statements cannot. You have indeed correctly underlined that the rules governing scientific statements -- statements about statements -- cannot be scientific themselves.

Reply on news.ycombinator.com