Hacker News: kerwioru9238492

New comment by kerwioru9238492 in "What Do Gödel's Incompleteness Theorems Mean?"

kerwioru9238492 — Thu, 21 May 2026 15:48:40 +0000

My understanding is that for any system of axioms strong enough to encode arithmetic, you can have at most two of these three properties:

1. Complete (for any well formed statement, the axioms can be used to prove either it or its negation)

2. Consistent (can't arrive at contradictory statements ~ arriving at a both a statement and its negation )

3. The set of axioms is enumerable ~ you can write a program that lists them in a defined order (since the workaround for completeness can be just adding an axiom for the cases that are unproven in your original set)

If my understanding is correct, I believe your explanation is missing the third required property.

It's also important to point out that if we cant prove a statement or its negation (one of which must be true) then we know there are true statements that are unprovable. This is a much stronger of a finding than "Godel's first incompleteness theorem says that in any axiomatic system (sufficiently complex) there are theorems that are neither always true nor always false. "

New comment by kerwioru9238492 in "Simply Scheme: Introducing Computer Science (1999)"

kerwioru9238492 — Thu, 05 Feb 2026 17:45:22 +0000

At Brown university there are 3 intro courses you can choose from. Two use functional programming languages.

New comment by kerwioru9238492 in "The problem with LLMs isn't hallucination, it's context specific confidence"

kerwioru9238492 — Thu, 16 Oct 2025 14:55:38 +0000

One issue right now is that in a lot of ML benchmarks models get rewarded for guessing multiple choice questions due to the probability of being right. In addition to that, people have tuned models via RLHF to be very confident because people think confident responses sound good. These two paired together resembles bluffing because models will guess at answers very confidently rather than saying "I don't know".

The problem with LLMs isn't hallucination, it's context specific confidence

kerwioru9238492 — Wed, 15 Oct 2025 19:03:20 +0000

Article URL: https://www.signalfire.com/blog/llm-hallucinations-arent-bugs

Comments URL: https://news.ycombinator.com/item?id=45596997

Points: 4

# Comments: 4

New comment by kerwioru9238492 in "AGI's Moving Finish Line"

kerwioru9238492 — Mon, 18 Aug 2025 19:49:36 +0000

“When bubbles happen, smart people get overexcited about a kernel of truth,” Altman said. “If you look at most of the bubbles in history, like the tech bubble, there was a real thing. Tech was really important. The internet was a really big deal. People got overexcited.”