[d00mB0t]

Rust doesn't belong in the Linux kernel. eBPF turned Linux into a microkernel. systemd is terrible and bloated. IPv6 addresses are convoluted. Gödel's Incompleteness Theorem proves we'll never have Artificial General Intelligence.

[whytevuhuni]

> Gödel's Incompleteness Theorem proves we'll never have Artificial General Intelligence.

What is your definition of AGI? Is natural general intelligence something you think brains are physically capable of, or is some non-physical aspect required?

[bravesoul2]

Gödel's Incompleteness Theorem just means what it says about mathematical proofs. It implies nothing about AI or human intelligence. Unless you have a good logical argument that it does?

[thrance]

> Gödel's Incompleteness Theorem proves we'll never have Artificial General Intelligence.

And yet the brain exists, is it magical? Or is it that Gödel's theorem has nothing to do with intelligence, which is mostly a big pile of heuristics anyway?