Recent content by gentzen

I checked now, and it is well written. You have a very good chance to really "finish" this book, if you just keep on going. Don't worry about the topics it leaves out, the topics that it does cover are well presented. (So if Demystifier talks about SoL, I talk about "full semantics", and...

Both contain a part of the explanation, and you will certainly work this out and understand it in the end. You are spot on by focusing on the meaning of „model“ in FoL. On the one hand, there is a large degree of freedom in what one allows as a „model“. On the other hand, one should provide...

Well, in the typical mathematical logic textbook, you have to read many pages before you come to the incompleteness theorems. So maybe they should remain mysterious for the uninitialized, in order not to spoil the motivation to work through all those pages. But in the end, it boils down to the...

I could buy Palle Yourgrau's book for €6. I now asked Google-AI: Edit: Don‘t worry about the fact that the initial question talked about a particle, but the reference talks about a rocket. It was explicitly stated that there might be a misunderstanding / misinterpretation involved:

Wow, nobody on physics.se asked that question for the explicit reference back than. If any of them did, we would now just have the reference to the publications. Now I have to figure out how to get my hands on Palle Yourgrau's book again. This will probably take some time, but I guess in the end...

https://scottaaronson.blog/?p=8861#comment-2009370 @RUTA Do you have something along similar lines as those “many times its rest mass” in mind?

https://scottaaronson.blog/?p=4045#comment-1798127 Note however that my comment talks about arithmetic, not set theory. First order set theory would be expressive enough, so it is the restriction to arithmetic which requires second order logic here to overcome limitations of expressiveness. And...

https://scottaaronson.blog/?p=4974#comment-1863531

3 hours of a single agent is affordable, while 88 hours of 10000 agents burning $15 million dollar is not. https://agmai.org/general-sep29/

Since Anthropic is next to go IPO (I guess mid November 2026), it is understandable that OpenAI tries really hard to showcase the strength of its internal models. If Anthropic manages to push-through its targeted $2 trillion market capitalization, OpenAI‘s IPO in 2027 could become a...

They persist for the Navier-Stokes solution (and many other suspicious incidents), but not for these 722 new papers. Also, 3 hours of a single agent per result is much more acceptable than 88 hours of 10000 agents for one brute-forced result. Mathematicians have every right to be pissed-off...

The problem is that the equality sign is fundamental to how math works. And you mess with the meaning of the equality sign. This cannot be excused by reference to unassigned physical meaning. This is way worse than reinterpreting the meaning of the +/- sign, which is sometimes done informally as...

No, we don‘t! Maybe „the formalism“, but all the other things you mentioned are unrelated.

Bohmian particles have positions which can be plugged into the 3n-dimensional n-particle wavefunction. If you do this for all particles which currently don‘t interest you much, you end up with a wavefunction for the one or two (or four) particles which do interest you. Whether the Bohmian...

Thanks for your answer. This clarifies one thing for me, which I always found strange about You seem to ask for radial new concepts, but when something like the "original" thermal interpretation with its radical new concepts comes along, you are not interested at all. For Scott, I was fully...