News for hackers. Stuff that matters.

A comment on What Gödel Discovered. Parent comment

Re:What Gödel Discovered by drran on Wednesday November 18, 2020 @07:01PM (#25144412)
You missed the point. Any "bad" Godel's number can be interpreted as "good" Lisivka's number. We have ambiguity here, because a number can refer to any formula in infinite number of sets.

> We can go further. We can even construct PM-Lisp formulas in PM-Lisp!

No, we cannot.

[ Parent | on HN ]
Re:What Gödel Discovered by stopachka on Wednesday November 18, 2020 @07:07PM (#25144479)
When you say "You missed the point.", and "No, we cannot" -- your words come off as though you are supremely confident, and a bit condescending. This makes me not want to engage deeper with you.

To see how it feels:

No, drran, you have missed the point. Read it again, maybe you'll get it.

[ Parent | on HN ]
Re:What Gödel Discovered by drran on Thursday November 19, 2020 @07:13AM (#25148728)
4667698044567788679899973453457778678980909855464564564578787890665467786780909875744564756867978980890785745635646767586445454536665474747746767457575890112345678999077554344567787923424234234234246566797899707980980983453453454353453453453534534534534

This number is equivalent to the proof that I'm right. Godel was genius!

[ Parent | on HN ]