Konohamaru

Tbh, the fact that mathematical logic cannot prove that e + π or π^π^π^π are irrational numbers is a huge failure of formal mathematical logic.

David Hume said that the purpose of logic is to record patterns of thinking we use, and every mathematician has a subconscious pattern of thinking that let's them look at the expressions e + π and π^π^π^π and conclude "there's no way these could be rational". So the fact that we failed to write down these patterns of thought means our system of formal logic is extremely incomplete.

This problem is already materializing. What do you recommend for solutions?

The U.S.A. is a fascist country.

Thank you!

It wasn't intended to be name-calling. It really did have the same style of something like ChatGPT.

Yeah. I was in a bad state of mind when I wrote this. I'm sorry.

It's a Darwinian world out there. Success is not up to you to produce. Telling people that it's all up to them and their free will is the most destructive lie you can tell, because it's not and the end result is that people start harming themselves with guilt because it's "their fault".

It's not "your fault" and it's not because of your "free will". Guilt is an extremely destructive and evil emotion. Excise it from your heart.

Generation ships are scary for this reason. The logic is designed so that you can't figure out whether it reached its telos.

...is it just me or is the number of cases of severe mental illness growing in the U.S.A.?

No wonder mammals are afraid everything's trying to kill them and think everything's poisonous.

Only please, remember to always call it "research"!

This is spooky. Maybe AGI is within our lifetime. Does anybody else here look forward to life as a paperclip?

Almost all of the theorems in principa mathematica were known results by Newton's time. He synthesized it into a subject and found applications to physics.

Pāṇini was probably the only man I would say was comparable to Einstein in intelligence.

Tasks that involve manipulating physical objects to maintain biological homeostasis (e.g. cook) are hyper-optimized by biological evolution. It is impossible for engineers to engineer a unit that performs better with the same energy restrictions humans have.

There's this paradox in AI known since the 80s (I think it's Moraevac's Paradox?) that the abilities we acquired latest in our evolutionary history (e.g. chess, language, algorithmic thinking) are the easiest for AI to automate. But the tasks that are deep in our evolutionary history (e.g. object recognition, navigating the environment, etc...) are extremely difficult.

Some AI speculators, using Gödelesque reasoning, posit that computer programming will be the last job to be automated by AI, so it can bootstrap itself. In reality, it will be one of the first jobs automated by AI, while jobs like cook, barista, etc... will be much later automated, if ever.

Only as long as oil is cheap.

If the poaching activity is acting as an amplifier for that rare mutation's frequency, then yes, the poachers are in fact causing those elephants to evolve not to have tusks.

> Today's children are no longer interested in the ancient myths, they prefer modern heroes like Spiderman or Sponge Bob.

While I can understand why children would consider Spiderman a hero (teaches kids that special talents and roles imply more responsibilities; G-d bless Stan Lee)... I don't think any kid sees SpongeBob as a hero.

The author is misusing the digital vs. analog dichotomy when he meant to say virtual vs. physical.

From the essay:

> Think of the way adolescents try a knowing remark to project worldliness when their egos are threatened.

What does this mean?

It was extremely good reading. It read like something Scott Alexander would write if Scott Alexander were a four-dimensional thinker.

Type systems are to programmers what dimensional analysis is to physicists.

But imagine if physicists were as recognized for software development as much as for experimental work or theorizing. That's a much more important reward.

This is a good idea. Imagine when future Nobel prizes are given to physicists who write and maintain software just as much to those who publish papers.

What is the solution? (Don't have the focus to read, understand, and analyze the scientific paper atm.)

He was the wisest mortal man to walk the Earth after King Solomon, and one of the most righteous also.

"Out of public schools grows the greatness of a nation." - Mark Twain

Nobody is choosing to be alone. People have become more evil and good people are isolating themselves to keep themselves safe.

Betteridge.