News for hackers. Stuff that matters.

A comment on You are never taught how to build quality software. Parent comment

Re:You are never taught how to build quality software by kevindamm on Friday December 08, 2023 @05:21PM (#38575425)
What you're talking about is actually the Church-Turing thesis and the halting problem.

While, yes, computability and provability are very closely related, it's important to get attribution correct.

More details on what Gödel's Incompleteness Theorem really said are in a sibling comment so I won't repeat them here.

[ Parent | on HN ]
Re:You are never taught how to build quality software by Verdex on Friday December 08, 2023 @06:07PM (#38575973)
> it's important to get attribution correct.

Really? Says who?

Or perhaps you'll prove it from first principles. Although if turns out to be difficult, that's okay. Somebody mentioned something about systems being either complete or consistent but never both. Some things can be true but not proveably so. Can't quite remember who it was though.

[ Parent | on HN ]
Re:You are never taught how to build quality software by kevindamm on Friday December 08, 2023 @06:24PM (#38576187)
Fair enough, I was being annoyingly pedantic.

[I believe that] it's important to get attribution correct.

[ Parent | on HN ]
Re:You are never taught how to build quality software by Verdex on Friday December 08, 2023 @06:44PM (#38576451)
To be fair, annoyingly pedantic is the best kind of pedantic.

- Futurama (kind of)

[ Parent | on HN ]
Re:You are never taught how to build quality software by kevindamm on Saturday December 09, 2023 @07:30AM (#38581421)
sounds technically correct

Gödel really was a rather unique mind, and the story of his death is kind of sad.. but I wonder if it takes such a severe kind of paranoia to look for how math can break itself, especially during that time when all the greatest mathematicians were in pursuit of formalizing a complete and consistent mathematics.

[ Parent | on HN ]