Viewing profile — erichahn

It's boring but usually everything is well-defined and hence well-understandable. Not the case for most CS papers.

Wittgenstein had this effect on me too. But not the Tractatus. What calmed me down was the Philosophical Investigations and Kripkes Naming and Necessity.

It is both. A stimulant and a sedative (dumb categories).

Withdraw shrinks in only when you use tabacco regularly. It is not the drug that is the problem but how you used / abused it.

Are they really doing this?

Mass anxiety is not a conspiracy theory but rather a measurable social effect. See social cooling. I didn't say there is somebody controlling or forcing the population into technoc…

Tabacco is a magical plant that will grant you increased alertness, stress and anxiety release, decreased hunger, ... Our problem is not smoking. Our problem is how and why we smok…

In germany at least... Maybe it is very different elsewhere... I hope so...

The same baseline problem holds for hospitalizations as well. Nobody knows how many hospital beds were occupied in the last 10 years. Evidence points to a strong decrease in hospit…

1: This has nothing to do with excess mortality per se but rather with proper data analysis. 2-3: That's exactly what I mean but you should not measure excess mortality as absolute…

Sadly the lies, skewed narratives and new kinds of ideologies are abundant in media, politics and counter-culture this day. Here are a couple of key concerns that I have with the d…

whats wrong with battery factory

Baader-Meinhof bias

Why not as its own file in the directory of the source code? Or in another directory...

No history actually tells you that only 1% of produced maths is useful. You only see the good stuff not the ugly stuff.

I think this is a good sign honestly. Historically many innovations came from military research.

Can you provide a paper or book on this?

I never said it is a paradox. I never said that PA or Q is inconsistent. I said that they cannot prove their own consistency by Gödels theorem. Hence we don't know if Gödels theore…

I think if Gödels proof needs Q then that is OK. Q cannot prove its own consistency. Which means there is no way of telling that Gödels theorems are proved in a theory that is inco…

"it does not rely on any particular axiomatisation" -- OK, what does it rely on then?

Yes and then you can do self-referential statements again which leads you to the conclusion that Gödels theorems are provable only in a system that cannot prove its own consistency…

If you figure this out correctly you can claim the third incompleteness theorem. (If I am right)

Which one? I don't think so tbh because his proof uses PA.

What most ppl don't notice is that Gödels incompleteness theorems are themselves expressible only in a logic system capable of expressing Peano arithmetic. Now this means that they…