Tarskian

I believe that the trajectory of moral development is increasing corruption, for the exactly same deep underlying reason why the trajectory of a wind ...

Gödel's proof is typically reported as "successful": So, according to you, what's wrong with this German report? The criticism mentioned in the report...

With wind turbines, the secondary process of corruption is very visible. https://wellsvillesun.com/wp-content/uploads/2023/04/Screenshot-2023-04-16-14...

I just wanted to point out why the results of that societal conversation will tend to be poor and increasingly corrupt.

Nonsense is a categorical technique: There is an interesting discussion on hacker news on whether category theory lends itself to analyzing Russell's ...

You describe a process that tries to achieve a result without describing the inevitable process that will seek to undo its results. It's like when peo...

Does the set of all sets that do not contain themselves, contain itself? True or false? Both answers turn out to be false (Russell's paradox). Decidab...

Yes, but there is a secondary process ("entropy") that sabotages the main process ("preservation of energy"). The ruling mafia can successfully increa...

Religion gives you hope, i.e. the belief that things will get better, if not in this life, then at least in the next one. This is the spiritual positi...

Godel wrote his proof of God for the same reason as why he wrote all his other proofs: because he could. I would not do it for a rather similar reason...

Part of common sense is knowing when there is no rational answer.

Indeed, he didn't. But then again, he doesn't have to. Gödel did not seek to give a complete description of God. He merely defined an object to be God...

In this thread I got exposed to a part of model theory that I have always avoided (models of ZFC) because I have always found it highly confusing. (I ...

I also believe that a good measure of logical thinking is built into our biological firmware, but so is quite a bit of arithmetic: I think that we wer...

In my opinion, the power of religiosity, theistic or not, is almost surely not being measured in a correct manner. The following is a much better cont...

For heaven's sake, who even cares that some past draft version of the proof, that had not even gone through peer review, contained an inconsistency? T...

There is no inconsistency in the version tested by Christoph Benzmüller and Bruno Woltzenlogel Paleo: You keep nonsensicalizing about inconsistencies ...

Indeed, it looks indeed like it doesn't matter that ZFC is its own model metatheory. For example, with ZFC being PA's model metatheory, Löwenheim–Skol...

It is the atheists who will prove the power of religiosity with their suicide rates during the next financial crisis, which is imminent now.

God cannot be proven from the theory of the physical universe (ToE), simply because we do not even have a copy of that theory. But then again, we can ...

That is why there have never been atheist societies in history. They don't last long enough to make it into the history books.

The growth in the opioids crisis is exponential: https://nida.nih.gov/sites/default/files/styles/content_image_medium/public/images/fig3-2024.jpg I th...

Look at this: They spend over $600 millions per year on trying to give "hope", mostly to people who "scientifically" do not believe in hope. If they b...

Since there is no rational reason for the existence of life, existential nihilism is the rational answer. Furthermore, since there is no valid rationa...

There is a scientific answer that should satisfy and will sedate the 100% rationalists, called "oxycontin". When I googled for the term, however, this...

The question does not have a rational answer. That is not a problem for people who have a spiritual answer to the question but it is one for people wh...

In this context, "rational" is the opposite of "spiritual". If we agree that there is no rational reason for the existence of life, rationalism will i...

The math exchange answer says something quite confusing in that regard: A model is not a metatheory, but "we need to work in" one "to study the model"...

You don't need the axioms of PA to carry out arithmetic. It will work perfectly fine without. You just won't have a theory about it.

It works fine for me, as long as it talks about ZFC models of PA. Model theory also uses infinitistic mathematics in that context. I have no problem w...

"How Computers Work: Arithmetic With Gates" http://www.goodmath.org/blog/2022/12/26/how-computers-work-arithmetic-with-gates sum = x XOR y carry = x A...

Yes, I have noticed. But then again, I have never understood it like that. In fact, I have just always ignored it. I have always seen it as PA talking...

Generational survival goes quite fast because life is rather short. We don't have time to figure out if something else is going to work than what work...

Arithmetic can be reduced entirely to logic. However, logic can also be entirely reduced to arithmetic. You only need to do it for one universal gate ...

Yes, because there is ultimately no rational reason for morality. In absence of an underlying non-rational spiritual reason, morality is simply nonsen...

Since there is no rational reason for the existence of life itself, the absence of a pacifier may very well turn into a problem. Life can be full of s...

David Hilbert had a habit of drawing the attention of the entire mathematical world to his agenda. He also successfully did that with his 23 problems:...

These vaccines were obviously not tested for long-term consequences. If the habitual length of time it takes, is 10 to 15 years, to test a new drug fo...

So, according to your remark, the diagonal lemma should be phrased as: ? A ( PA ? ( A ? ¬Bew(ÍAÎ ) ) ) instead of : PA ? ? A ( A ? ¬Bew(ÍAÎ ) ) This i...

For a starters, the alleged inconsistency detected by Christoph Benzmüller and Bruno Woltzenlogel-Paleo cannot be duplicated with automated provers. S...

Empirical studies suggest otherwise: But then again, I agree that the only truly rational solution to the problem is medication.

The opioids crisis is a suicide crisis.

Some people plead for mercy to the spiritual overlord while others abuse antidepressant and anti-anxiety medication. By the way, there is also no opio...

Since your identity is closely tied to the ultimate reason why you are motivated to stay alive, no matter how hard that sometimes may be, and since th...

So is the grass, the birds, and the trees.

Abstractions don't reply, I guess. Why would an abstraction do that anyway? It is not even alive to begin with.

And vice versa. It doesn't care either what you think about it. Hence, the relationship is reciprocally perfectly sound.

I use rationality merely as a tool. I actually only use it when it suits me and I certainly do not identify with it. There may possibly be rational re...

According to Islamic doctrine, no suffering is inescapable. There is always hope. Patience is a virtue. Allah promises great rewards for those who bea...

Langendoen and Postal argue in "The vastness of natural languages", 1984, that natural-language sentences can be infinitely long. Yanofsky, on the oth...