News for hackers. Stuff that matters.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by imiric on Friday January 05, 2024 @05:29PM (#38885896)
> His rationale for belief in an afterlife is this:

> If the world is rationally organised and has meaning, then it must be the case. For what sort of a meaning would it have to bring about a being (the human being) with such a wide field of possibilities for personal development and relationships to others, only then to let him achieve not even 1/1,000th of it?

Far from my petty mind to challenge a great thinker like Gödel, but I don't follow this line of thinking.

First of all, the world being rational is a property humans ascribe to it. On an atomic level matter follows specific rules, yes, and we extrapolate a certain order from this on a higher level. But I don't see how any of it can be defined as rational, or having any sort of deeper meaning.

Even if we assume that to be true, why would that be a reason to believe that humans are expected to deliver some sort of "meaning" to the universe? And why would that entitle us to immortality? This all sounds deeply egotistical.

> Only the human being can come into a better existence through learning, that is, give his life more meaning.

I wonder what Gödel would think about modern AI. As we have found, learning is not a special ability of humans, and can, in fact, be simulated. That on its own doesn't grant eternal life, though AI certainly has more chances of survival, not being bound by our fleshy meat sacks and all.

I don't know. I'm not well read in philosophy, and my only exposure to it was during a semester at college, but this particular philosophy reads like someone trying to bring peace about mortality to their elder mother, and not like a fully fleshed out line of thinking. Which is fine. Life is indeed strange and confusing, and we should find peace in whatever way we can, but maybe there's a reason why these thoughts were never made public.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by kevindamm on Friday January 05, 2024 @05:32PM (#38885923)
> I wonder what Gödel would think about modern AI. As we have found, learning is not a special ability of humans, and can, in fact, be simulated. That on its own doesn't grant eternal life, though AI certainly has more chances of survival, not being bound by our fleshy meat sacks and all.

Instead bound by substrate and power grid that are both inefficient and minimally redundant. I'd wager more on the meat sacks.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by namaria on Saturday January 06, 2024 @02:30AM (#38889309)
Systems that can reproduce themselves are way more likely to endure than systems that need to be held together from the outside. In 5000 years I think it's more likely that there will be people than that there will be machines.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by ben_w on Saturday January 06, 2024 @06:33AM (#38890560)
While the only currently known Von Neumann replicator is organic life, my bet is that a robotic one will be made at the latest by the end of century unless some major global catastrophe happens first.

Might turn out that organic life is pretty optimal already and we still dominate in numbers, or not, that kind of specific is really difficult to guess at even once the first example gets made (look at all the people looking at each version of GenAI, or even video game graphics 30 years before GenAI, and arguing that no further improvements are possible; or in the other direction, Concorde was both the first and the last supersonic passenger liner).

Re:Gödel believed in the afterlife. In 4 letters to his moth... by namaria on Saturday January 06, 2024 @06:43AM (#38890626)
You got me thinking, could we distinguish engineered vs emergent life? I mean, I at look those animations of proteins in the cell and... it looks pretty robotic to me. Maybe it's projection in terms of how we interpret the data.

But I really like that the answer to a most ancient question such as "what is life" is building up to something like "it's all nanobots controlled by molecular computers"...

Re:Gödel believed in the afterlife. In 4 letters to his moth... by ben_w on Saturday January 06, 2024 @07:31AM (#38890901)
> could we distinguish engineered vs emergent life?

I think we can tell the difference between engineered and evolved (but note that simulated evolution is still evolution) — oddities like the path of the recurrent laryngeal nerve are cited as evidence against an intelligent designer, and I expect it isn't the only such oddity: https://en.wikipedia.org/wiki/Recurrent_laryngeal_nerve

> But I really like that the answer to a most ancient question such as "what is life" is building up to something like "it's all nanobots controlled by molecular computers"...

If you've not already watched it, I recommend this video by A Capella Science: https://www.youtube.com/watch?v=ObvxPSQNMGc&t=198s

Re:Gödel believed in the afterlife. In 4 letters to his moth... by namaria on Sunday January 07, 2024 @10:29AM (#38901993)
Flaws are not proof of non intentional emergence vs intentional design. We design flawed systems all the time.

Besides, it would be a very naïve stance to think the universe as it is today was drawn complete and definitively. There are a lot more nuanced and intricate creationist worldviews and they have been espoused in a clear headed way by some of the most fundamental characters in the history of science.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by ben_w on Sunday January 07, 2024 @02:03PM (#38904106)
It's more the type of pattern in the errors rather than the mere existence of them.

On the other topic, although the mere existence of errors would count against a supposedly all knowing and all powerful designer, that combination is not found in most religions, and not even all versions of Christianity.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by namaria on Sunday January 07, 2024 @02:27PM (#38904316)
Hey that combination is also not found anywhere else in this discussion.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by bardsimpson on Friday January 05, 2024 @05:57PM (#38886209)
Rationality is not an inscribed property but rather a natural consequence of observing the order in place.

For example, the table of elements expresses the properties of integers as inherent to reality. As such, it is rational and rationally-ordered.

This is not so much “philosophy” as it is “logic”, it is the conclusion of philosophy and mathematics and the subsequent origin of the computational reality.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by defrost on Friday January 05, 2024 @07:39PM (#38887027)
One of the distinctive properties of integers is that there are at least 200 of them.

Oh, and some of them (either nearly or exactly half) are negative.

The table of elements falls a little short here.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by Turing_Machine on Friday January 05, 2024 @08:35PM (#38887424)
> Oh, and some of them (either nearly or exactly half) are negative.

Well, it doesn't quite work that way. Yes, you can put the negative integers in 1:1 correspondence with the positive integers, but you can also put them in 1:1 correspondence with the positive integers that are divisible by 2, or 3, or 3,000... or, for that matter, the negative integers that are divisible by three thousand. All of those sets have the same cardinality (often called "countably infinite").

There are, however, provably more real numbers than there are integers.

It is unknown whether there are any sets whose cardinality lies between the cardinality of the set of integers and the cardinality of the set of real numbers.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by defrost on Friday January 05, 2024 @09:06PM (#38887635)
Bait taken I see :)

Hands up anyone who hasn't considered a stay at the infinite hotel.

https://en.wikipedia.org/wiki/Hilbert%27s_paradox_of_the_Gra...

Re:Gödel believed in the afterlife. In 4 letters to his moth... by Tainnor on Saturday January 06, 2024 @03:26AM (#38889642)
There is a sense in which the even integers can be considered "half" of all the integers: https://en.m.wikipedia.org/wiki/Natural_density

"Counting stuff" can be generalised to infinite sets in different ways: cardinality is one (arguably the most common) of them, but natural density or measure are others.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by j7ake on Friday January 05, 2024 @06:49PM (#38886683)
Poor logic here. Listing examples of apparent order in universe does not prove that the universe is rational.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by mensetmanusman on Friday January 05, 2024 @11:17PM (#38888358)
If you believe logic and rationality exist, and you believe that you are part of the universe, then the universe is rational, because you are the universe being rational.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by lostmsu on Friday January 05, 2024 @11:50PM (#38888530)
Then I propose that you are shit because just before you pooped shit is part of you.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by madaxe_again on Friday January 05, 2024 @05:50PM (#38886138)
I think, particularly with the advent of AI and modern computer technology as a whole, Gödel would today be a simulationist of Bostrom’s cut.

If we ever have the means to accurately simulate reality - which we already do, at small scales and with significant time dilation - then it becomes almost inevitable that we reside within a simulation, as the simulations would vastly outnumber physical reality, and therefore the balance of probability is that we reside within a simulation - possibly nested within many other layers of simulation.

It isn’t necessary to simulate an entire universe at utter fidelity - just that which is observed - which rather neatly ties into the current understanding of quantum mechanics, and waveform collapse. It also isn’t necessary to do it in realtime, as from within the simulation all would appear synchronous regardless - aeons could pass between states, while the substrate orbits a white dwarf whiling away the cold eternity at the heat death of the parent universe.

Whether that implies an afterlife is another matter - perhaps we are ephemeral after all - but taking Gödel’s argument about the wastefulness of imbuing consciousness only to then snuff it out, half baked, it would stand to reason that any simulator would seek to accrue that experience, and use it for other purposes.

Perhaps there is only one consciousness, asynchronously living every life, every existence. I find this useful to bear in mind, as the person to whom I am asshole today may be an aspect of me from another iteration.

I prefer to look at this not as woo-woo, or belief, but rather logical deduction based on sound premises.

Of course, it may all be bunkum, and we may be alone in the universe, and life may indeed be meaningless and fleeting - but we cannot know, as that would foul up the simulation no end.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by skissane on Friday January 05, 2024 @06:26PM (#38886501)
> I think, particularly with the advent of AI and modern computer technology as a whole, Gödel would today be a simulationist of Bostrom’s cut

One of my favourite parts of Bostrom’s seminal paper is an aside, but one I feel would have appealed to Gödel had he lived to read it:

> Reality may thus contain many levels. Even if it is necessary for the hierarchy to bottom out at some stage – the metaphysical status of this claim is somewhat obscure

Bostrom’s argument, although it starts from materialist premises, contains within it an anti-materialist potential: What if there is no basement universe? What if it is software all the way down? Given Gödel’s anti-materialism, I think that potential would have appealed to him

Re:Gödel believed in the afterlife. In 4 letters to his moth... by aliasxneo on Friday January 05, 2024 @06:39PM (#38886610)
> I prefer to look at this not as woo-woo, or belief, but rather logical deduction based on sound premises.

Are you saying that belief is woo-woo? Curious to understand how you're relating the two.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by madaxe_again on Friday January 05, 2024 @07:48PM (#38887099)
Yes. Belief is grounded in nothing - hence it is belief. One could believe in moon Nazis, or Bigfoot, or god - without a shred of evidence for any of them.

Knowledge is based upon rationale and testable hypotheses.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by aliasxneo on Friday January 05, 2024 @08:27PM (#38887365)
Maybe this is just semantics, but the statement, "I believe my wife loves me," would necessarily be grounded in nothing? Or is that not belief?
Re:Gödel believed in the afterlife. In 4 letters to his moth... by madaxe_again on Saturday January 06, 2024 @03:37AM (#38889684)
That’s not belief. Either your wife loves you (good for you) or she does not (hooray for me). She’ll let you know, either way, so there’s no need for belief here.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by aliasxneo on Saturday January 06, 2024 @11:04AM (#38892519)
Interesting way to avoid the question. I guess we'll just have to disagree :)
Re:Gödel believed in the afterlife. In 4 letters to his moth... by mensetmanusman on Friday January 05, 2024 @11:23PM (#38888400)
Belief that you exist, belief that free will exists, belief that others have consciousness, belief in human rights.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by madaxe_again on Saturday January 06, 2024 @03:36AM (#38889679)
I think, therefore I am.

Free will is entirely debatable.

In the same vein, the consciousness of others is also not certain, but I err on the side of caution.

I don’t “believe” in human rights, however they probably create a better living environment for all, therefore I would say they are a good thing.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by mensetmanusman on Sunday January 07, 2024 @08:28AM (#38901030)
Caution would assume others don't have free will.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by CooCooCaCha on Saturday January 06, 2024 @02:25PM (#38894472)
Free will is an illusion
Re:Gödel believed in the afterlife. In 4 letters to his moth... by autio on Sunday January 07, 2024 @09:54PM (#38907707)
A bit of thinking through what freedom is and what will is will show the claim that free will is an illusion to be an illusion.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by CooCooCaCha on Wednesday January 10, 2024 @12:43PM (#38941070)
No. You are made of physics.

Your brain will act according to physics.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by mensetmanusman on Monday January 08, 2024 @11:55AM (#38914803)
It is for some, but not all.

Also, for whom is it an illusion? ;)

Re:Gödel believed in the afterlife. In 4 letters to his moth... by CooCooCaCha on Wednesday January 10, 2024 @12:44PM (#38941074)
Everybody's brains act according to the laws of physics. The feeling that you have a choice is an illusion.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by mensetmanusman on Thursday January 11, 2024 @05:39PM (#38960446)
Should I believe you or my lying eyes! :)
Re:Gödel believed in the afterlife. In 4 letters to his moth... by freejazz on Friday January 05, 2024 @05:37PM (#38885985)
>First of all, the world being rational is a property humans ascribe to it. On an atomic level matter follows specific rules, yes, and we extrapolate a certain order from this on a higher level. But I don't see how any of it can be defined as rational, or having any sort of deeper meaning.

You might not be read in philosophy, but surely you understand the word "if"

Re:Gödel believed in the afterlife. In 4 letters to his moth... by voxl on Friday January 05, 2024 @05:48PM (#38886113)
Right, the parent attacks the axioms as-if they where the argument while simultaneously attacking the source as egotistical.

The axioms are of course suspect, but if you give reasonable interpretations to them then the conclusion is not far fetched as they basically necessitate some kind of creator.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by plorkyeran on Friday January 05, 2024 @07:41PM (#38887037)
The choice of axioms presented is in fact part of the argument. It's very easy to pick a set of axioms from which your desired conclusion will logically follow. Gödel was not discussing a hypothetical; he was arguing that an afterlife actually did exist, which relies on the axioms he presented applying to the real world. If you disagree with those, everything that comes after that step in the argument is irrelevant.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by oreegumee on Friday January 05, 2024 @06:34PM (#38886563)
Great thinkers of old lacked awareness of experimentation and thought that have come along since.

That and being a genius was easy when the majority were functionally illiterate disciples of the religion they grew up in.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by wahern on Friday January 05, 2024 @07:09PM (#38886826)
Gödel lived from 1906 to 1978.

You also seem to be rationalizing an assumption that there were no atheists thousands of years ago, and yet there were.

There's no reason to believe that our critical thinking powers are any stronger today than they were in the past few thousand years, certainly when it comes to metaphysics. To me, at least, the relative prevalence of various beliefs through recored history suggests something very different about how people of any period, including our own, find and adopt knowledge.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by gumballindie on Friday January 05, 2024 @11:29PM (#38888433)
> I wonder what Gödel would think about modern AI.

He’d probably think what rational people think - it’s software and has no intelligence, no purpose, no meaning on its own.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by tim333 on Saturday January 06, 2024 @09:56AM (#38891898)
Though comparing GPT4 and people taking the LSAT, GPT4 has a purpose - it was built to answer questions, whereas the people - I don't know. Also GPT beats 90% of the humans on the test. To say the humans are intelligent and GPT not seems a bit speciesist;)
Re:Gödel believed in the afterlife. In 4 letters to his moth... by gumballindie on Saturday January 06, 2024 @10:35AM (#38892244)
I dont know man but it feels like we need to spend more on mental health care to cure people of their delusions of thinking and living machines.
Re:Gödel believed in the afterlife. In 4 letters to his moth... by skissane on Saturday January 06, 2024 @09:37PM (#38897861)
> First of all, the world being rational is a property humans ascribe to it.

Why believe in mainstream science, instead of believing in “creation science”, astrology, crystal woo, whatever? Because there is much stronger evidence for the former than the latter? But what are our standards for judging the strength of evidence? And why should we let those standards have control of our beliefs? Rationality is what gives us those standards, and tells us we are obliged to follow them. Is rationality objective or subjective? Well, if it is subjective, then proponents of those “alternative sciences” can just pick an alternative rationality which supports their own views instead of the mainstream ones, and if rationality is subjective, it ultimately makes the decision between mainstream and “alternative” science subjective too. But, if it is objective, how is it objectively grounded? If we ground its objectivity in empirical science - that is circular, we are grounding it in something which itself depends on it. So, I argue, the objectivity of mainstream empirical science requires the existence of objective rationality external to it. But, for that rationality to truly be objective, it must be an innate feature of reality, not something simply arbitrarily ascribed to it by the human mind. Hence, Gödel‘s premise, that rationality is (in some sense) an objective feature of reality, not just some subjective creation of the human mind, must be true.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by imiric on Sunday January 07, 2024 @11:58AM (#38902826)
> So, I argue, the objectivity of mainstream empirical science requires the existence of objective rationality external to it. But, for that rationality to truly be objective, it must be an innate feature of reality, not something simply arbitrarily ascribed to it by the human mind.

I partly agree with that. The universe has a specific set of rules humans have observed, on which we base our understanding of it. What I disagree with is that these observations are proof that the universe itself is rational. There are many aspects of the universe of which we're still completely oblivious, and where our understanding breaks down. The fact we can observe some degree of logic in our observations points to survivorship bias, i.e. the anthropic principle. Simply, we wouldn't be able to make sense of the universe if the conditions didn't exist for us to observe it.

But even if I could concede this rational universe premise, my main objection is the leap of logic to then assert that humans are somehow special, and that our existence wouldn't have a meaning unless we can fulfill some sort of purpose, for which a human lifetime is not sufficient, and therefore, immortality. It's completely absurd. Gödel wraps this in pseudological premises, but it reads to me like he started with the conclusion that God exists, and is trying to arrive to that conclusion with philosophical mumbo jumbo. This is the complete opposite of the scientific method, and is therefore no different than "creation science", and all the other ontological arguments throughout history. I don't see why any _rational_ human being would give it more than the bare minimum of attention it deserves.

Re:Gödel believed in the afterlife. In 4 letters to his moth... by skissane on Monday January 08, 2024 @08:16AM (#38911461)
> What I disagree with is that these observations are proof that the universe itself is rational. There are many aspects of the universe of which we're still completely oblivious, and where our understanding breaks down. The fact we can observe some degree of logic in our observations points to survivorship bias, i.e. the anthropic principle. Simply, we wouldn't be able to make sense of the universe if the conditions didn't exist for us to observe it.

Part of the problem here, is what exactly does "rational" mean in this context? Gödel never published this argument of his in a paper, only in a letter to his mother–I expect if he had ever decided to publish it, he would have expressed it more precisely. It is difficult to judge the correctness of an argument when it is an open question what exactly key terms in it mean.

> But even if I could concede this rational universe premise, my main objection is the leap of logic to then assert that humans are somehow special, and that our existence wouldn't have a meaning unless we can fulfill some sort of purpose, for which a human lifetime is not sufficient, and therefore, immortality. It's completely absurd.

That "humans are somehow special" seems to be a near-universal belief found in humanity, across time and across cultures; it is only very recently in human history that any significant proportion of people have doubted or denied it, and even today its doubters and deniers are likely a rather small percentage of the total population, especially on a global level. I don't think we should rush to dismiss as "absurd" a belief which is (arguably) a product of human evolution – doing so calls into question the reliability of our evolved belief-forming machinery, but that questioning risks becoming self-refuting, since the belief in evolution is itself a product of that machinery.

> Gödel wraps this in pseudological premises, but it reads to me like he started with the conclusion that God exists, and is trying to arrive to that conclusion with philosophical mumbo jumbo.

Although Gödel did believe in God, I don't think this particular argument of his depends on belief in God in any way. This in itself is just an argument for an afterlife, and it is entirely possible to believe in an afterlife without believing in God–that's the position of many Buddhists, and also the late 19th / early 20th century British philosopher John McTaggart (who is probably most famous for being the mentor of both Bertrand Russell and G. E. Moore).

> This is the complete opposite of the scientific method, and is therefore no different than "creation science", and all the other ontological arguments throughout history. I don't see why any _rational_ human being would give it more than the bare minimum of attention it deserves.

The scientific method deals in empirical arguments. This is not an empirical argument, so is outside the scope of the scientific method. There are many questions the scientific method, based on repeatable experiment and observation, cannot answer. For instance, it cannot answer many mathematical questions–Gödel‘s famous incompleteness theorems are not the product of the scientific method, since empirical experiments and observation are incapable of revealing to us the truth of mathematical theorems.