At the beginning of 2018 I was in a pretty bad state in many ways. One of which was my health.
I did a lot to turn it around, including running regularly, and a better diet. I lost a lot of weight. But what's more amazing in the long term is the mental transition that's come with it. When I get anxious, often I think "when is the last time I went running?" and if it was more than 2 days ago, getting my gear on and getting outside is nearly automatic. It's an emotional outlet. Anxious? Run it out. Angry? Run it out. Happy? Run with it!
Truly, we are meant to run. We are meant to exert ourselves. And our bodies crave it, if given the ability to.
I've been a software contractor for the last ~18 months. I do it because it affords me the ability to spend my time exactly how I want to, mostly reading and researching. But I also have reduced my contracting time as much as possible and this year my income will have been ~30k.
I've gotten to the end of my rope, and it's stressful and weighs on me 24/7, especially with my fear of an upcoming recession.
I decided to find a job again and in just a month I've been able to get multiple offers lined up for 5x my current income.
On the one hand, I use my position to its fullest--and I've spent the better part of a year learning things I never would have learned in a University or employment setting.
On the other hand, I recognize that this is an incredibly privileged position, one which I don't feel very deserving of. I understand the market forces, yes, but I can't help but feel a tinge of guilt knowing that I can be somewhat irresponsible financially just to pull myself out within two months of a new paycheck.
I am not an expert and this is a very rough estimate, but this data[0] shows 7-day rolling USD trading volume on major exchanges. It's pretty volatile but fluctuates from $300m to $110m daily.
I would guess that this is liquid enough to be able to pull out $1b+ over 30 days, perhaps drawing some attention. This is also only for USD. Would love to hear an expert's thoughts as well.
I'm not expanding the axioms, I'm comparing the paradoxical nature of mathematics to other systems.
I'm not saying that reality is encompassed in the theorem because "mathematics", I'm positing that if mathematics, a man-made formal system, is self-consistent but requires a true, unprovable statement, then perhaps other man-made systems might reveal similar paradoxes, when put under scrutiny.
Mathematics is unique in that it is systematic and, as Godel discovered, able to be self referential and explicitly outline this paradox. Yet one can recreate the sense of the theorem in English with the phrase "this sentence is false".
This doesn't invalidate mathematics, nor English, nor any system. It simply demonstrates that what we may consider the "sound" logic of mathematics is paridoxical, and I believe that this paradox, this strange loop, is not unique to Godel's mathematical theory alone.
Yes, I understand that, and am well aware of Godel's position on its application. Hence my statement that I extrapolate it further than intended.
My extrapolation is influenced by the Curry-Howard isomorphism, equating computer programs and mathematical proofs. Extrapolation to "reality" and philosophy, to me, comes from my belief of computing as universal and that consciousness is not so separate from computing.
Like monads, I think the issue comes from "frames" of thinking.
You cannot understand monads in terms of functions as is understood in most languages. You also can't understand it in terms of its common uses like I/O. Yes, it can be applied in those domains, but it is like explaining the internet with electricity.
I think going through The Little Schemer by Daniel Friedman and Matthias Felleisen helped me a lot. It builds up your knowledge in a conversational way to achieve understanding of quite complex ideas in simple terms. In that case, it builds up to an understanding of the halting problem, and then to the Y Combinator.
The click felt to me similar to understanding recursion for the first time--it doesn't fit into your head naturally. Once it does "click", even then you have to re-remember it later, and trace your logic on how you "realized" recursion.
Godel's Theorem brings that "feeling" of recursion and takes it to the extreme, in that its subject matter is "meta"-mathematical. So in the same way that recursion can't be grokked in terms of only loops, Godel's Theorem can't be grokked only in terms of equations.
I don't know if that made sense, I've also seen some links in this thread which I think may help as well
This, alongside the second incompleteness theorem, showed me that any formal system cannot prove itself, and any system deemed "consistent" can only be considered as such from outside that system.
A great way that I visualize it (thanks to Hofstadter) is like Escher's never ending staircase painting. If you look at each step, it looks just fine. In fact, you can say that each step on its own is "consistent". But it is only when you take a step back, outside the system of each isolated step, that you see the paradox.
Similarly, the theorem applies this to mathematics, and by extent, any formal system. Just as we can see each "step" going from one to the next, in mathematics we must hold an axiom as truth without proof, so that subsequent theorems may use it as the next "step". It is, in a sense, a paradox which we agree to use.
In practical terms, I may extrapolate that further and more philosophically than was intended (or that I have commonly seen), but the subsequent Halting Problem combined with the Curry-Howard isomorphism shows me that Godel's Theorem has major real world effects. The idea that there can be something that is true but not provable rings true to me in many regards. I, like many, spend nearly every moment of the day unconsciously putting faith into the "truth" that I am not alone in the universe, thereby fending off solipsism.
I cannot prove "I" exist. But it is true. What are the other truths that cannot be proven? That question guides my thinking.
I'm nearly the same! I've found that I can't stick to a single book at one time--when I'm jogging, I don't want to think about technical things, I want to think of big picture ideas.
When I'm driving a distance, I want to get into the nitty gritty of something technical or informative with an audiobook.
When I'm relaxing, I want something interesting but not directly related to any of my work--I don't want to get my mind running on tasks I "should be doing"
Very much the same with browsing the "eye candy" type forums, Twitter, HN, Reddit. If I've got a good book, it seems to permeate my life for the duration of reading.
Yeah, I agree. Up until the internet, getting information out there required resources and/or a platform to speak from, be it the pulpit, a newspaper, etc. If you had something to say, you had to go through such great effort to say it.
What do we even do, besides sit and watch? I've totally shifted the way I browse the web to reduce my exposure to toxic information, and I think that the whole corporate banning of Alex Jones was a net positive, but what happens when a voice I agree with gets shunned in the same way?
Wouldn't that be more like public roads? You couldn't decide that Fords are not allowed on a road, just because of the brand, but Ford is perfectly within their rights to not sell a car to somebody, just as Cloudflare and Voxility have decided to sell their hosting services to 8chan.
I did a lot to turn it around, including running regularly, and a better diet. I lost a lot of weight. But what's more amazing in the long term is the mental transition that's come with it. When I get anxious, often I think "when is the last time I went running?" and if it was more than 2 days ago, getting my gear on and getting outside is nearly automatic. It's an emotional outlet. Anxious? Run it out. Angry? Run it out. Happy? Run with it!
Truly, we are meant to run. We are meant to exert ourselves. And our bodies crave it, if given the ability to.