Tarskian

Look at the size of the mathematical corpus: The overwhelmingly vast majority of these 5 million theorems are useless and irrelevant. In what way woul...

As soon as you switch to personal attacks, it means that you feel that you are losing the debate.

Faith in axioms still requires belief without evidence. Religious people also agree on the foundational principles of their faith. What's the differen...

There is no other "proof" than mathematical proof. The OP asks "Can anyone prove a god?" Well, Gödel gave mathematical proof. And now suddenly, no one...

Accepting a truth without evidence is faith. Therefore, an axiom represents faith. If you are not willing to do that, then why do it in mathematics?

Every proof does only that. In that case, why ask for "proof", if proof can never be satisfactory?

Yes, so what's the difference? You did not prove this. Axioms are not undecidable. The standard truth status of axioms is not characterized as undecid...

In fact, Gödel's first incompleteness theorem trivially follows from Carnap's diagonal lemma. If you want to attack Gödel's theorem, you can pretty mu...

Wittgenstein wrote the following "notorious paragraph" on Gödel's first incompleteness theorem in his "Remarks on the Foundations of Mathematics": Wit...

Wittgenstein considered his contribution to the philosophy of mathematics to be his chief contribution: Wittgenstein has, however, gone into history a...

What exactly would I envy? Dealings with the HR department of a university? I have never had to go through any HR department. I find the practice insu...

Stephen Wolfram writes on this subject: So, in order to know everything there is to know about mathematics, you need to read 3 million papers. Did I r...

Numbers are not "real". They are abstractions. Their use ultimately requires faith in Peano's axioms. So, you can't do math without faith. In all prac...

I consider evolutionary biology to be largely conjectural. If you truly understand something, then you can build it by yourself from scratch. So, as f...

I look at biology as a technology that we mostly fail to reverse engineer, if only, because we do not have access to its design documents. In a sense,...

To prove from what? There is no context-free proof. A thing like that does not exist. You always need system-wide premises, i.e. an axiomatic theory t...

I personally believe that it is a non-human technology that embodies particular design principles. The analogy I see it through are technology devices...

Biological systems are designed according to principles that appear similar to us to a technology, but clearly not of human origin. I use the term bio...

The soul is what is gone when we die. Its role while we are alive is not clearly determined.

In my opinion, impossible to say. The notion of soul is also part of religion. I personally believe that we have both some form of firmware as well as...

Biology is a natural technology. We did not design it. We only very partially understand it. Still, it works surprisingly well.

Not by humans, because that would lead to infinite regress. So, the technology is clearly of non-human origin. The rest is foundationalist belief. In ...

Every human is even individually unique. By design so.

Because the idea that religion is biologically innate comes from there. It is standard Islamic doctrine.

I use the term "firmware" metaphorically here. It's a bit like the software embedded in specialized devices, such as your phone's camera, but obviousl...

The term "fitrah" in Islam refers to all behavior that is innate. So, where else does it come from, if not from our biological firmware? We are not a ...

It is irrelevant until it isn't anymore. The organic-chemistry composition of the stomach is mostly irrelevant but not completely. The innate inclinat...

Yes, I believe that language is a biological feature that is part of the biologically preprogrammed firmware of humans. Otherwise, there would be huma...

Whenever a behavior is universal throughout history and throughout the world, it can only be biological. Otherwise, there would be or have been numero...

According to Islamic doctrine, religion is built into our preprogrammed biological firmware, called "fitrah" in Islam: https://en.wikipedia.org/wiki/F...

My own personal interest is also pure math rather than applied math. However, it has to be somehow relevant. The subjects I end up investigating are u...

The concert pianist actually intends to solve a problem. So does the athlete. What problem does the math graduate intend to solve except for teaching ...

Again wrong! All the relevant software is free and open source. There is nothing hidden. It's all there for everyone to look at. The question is rathe...

They already are intellectually impoverished. They just don't know it. In fact, university graduates are being placed in the worst situation possible....

That would be the same question as how do you choose an encryption algorithm if you can't encrypt/decrypt manually? I don't know anybody who actually ...

"Child labor". Like it used to be. Harold Lowe was one of the officers on the Titanic:

We used to be hunter-gatherers. So, don't grow food. Hunt it instead. There is just one problem with this view. There was a reason why we started grow...

Wrong again. Software needs to be maintained. If nobody knows how it works anymore, the software is simply dead. These people need to know how to do i...

Someone with a degree in swimmology has read a lot of books about swimming, but he does not necessarily swim himself. That does not matter, because he...

In practice, there are no "architects". In practice, there are only users of architect software. So, either you build the machine, or else you use the...

I can only talk from my own experience. It is just one example of how things work in practice. The labor market consists of an almost infinite myriad ...

No, it doesn't. For example, if you want to figure out how to write a mobile app, no school will ever help you. I don't say that anybody should learn ...

After a few decades of making money by writing software, I can guarantee to you that the claim that "AI will replace all jobs" is complete bullshit. I...

Only if that is the only requirement (which it never is because a HS diploma does not reflect any ability to solve any particular problem). Ok, let's ...

What strikes me, is that they still test students while imposing the following conditions: - you cannot use a calculator - you cannot use your books -...

They used to start working at around fourteen. Back then, there was no problem of youth unemployment. Employers were perfectly fine to hire apprentice...

Learning to formalize a real-world problem into a mathematical model is indeed more meaningful. Next, you can give it to a computation engine to solve...

Socialism, i.e. collective ownership of the means of production, is merely an instrument. You would still need to determine what the goal is. Furtherm...

A first issue is that there is no problem in the world that the government won't make worse. Education has largely stopped teaching and has switched t...