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.
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.
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.
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.
That's kind of ridiculous, though. You completely lose the sense of the theorem once you expand the axioms beyond those explicitly defined. It would be like saying we don't know whether a boulder will stop rolling down a hill or not...because of the Halting Problem. That's just not how mathematics works.
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.
Considering the Godel sentence is a purely syntactical construction, I think even Godel himself would have a very difficult time even imagining what an analog would be in some higher system (much less actually constructing one). This is why he was so critical of attempts by others (e.g. Wittgenstein) to knock down the theorem by discussing its philosophical implications.
We are also free to point out the obvious nonsense that is extrapolating the axioms of arithmetic, on which the theorem depends, to whatever we want them to.
Philosophical insights can start from all kinds of empirical facts and theoretical proofs -- this includes a mathematical theorem like Godel's.
Philosophers don't (or don't all) use Godel's theorem to _prove_ something beyond that in an axiomatic way. They don't extrapolate, they use it as a raw information / material for further thinking.
In that role, the limited conditions under which the proof is true doesn't really matter. Only the fact that under such limited conditions, this (Godel's) result can occur matters -- which is philosophical far from evident, Hilbert/Russel etc thought they could axiomatize math without such contradictions.
Essentially, all logically valid formulae have proofs in first-order logics.
Remember, logically valid formulae means that if you enumerate all possible interpretations (boolean values for the variables), the formulae remains true.
So you could prove everything that ever exists by creating a set of all possible proofs using the given deduction rules.
This is 1st-order logic so it's a bit more complicated, though you're on the right track (what you stated is the completeness theorem for propositional logic, not first-order logic).
Rather than boolean values for the variables, you need to enumerate all possible...
* Ambient universes where the language is interpreted
* Values (taken from the ambient universe) for the constant symbols
* Sets-of-tuples-of-values (from the ambient universe) for the predicate symbols
* Functions-from-tuples-of-values-to-values (from the ambient universe) for the function symbols
Yup, my definition of interpretation was limited for pedagogical purposes, but I should have been clearer. The propositional logic version is much simpler to understand, but the implications of the theorem are much more interesting in first-order logic, so introducing all of this nomenclature may be too much for someone who isn't motivated yet.
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
Von Neumann said: "In mathematics you don't understand things. You just get used to them."
For practical purpose of getting the completeness theorem to click, my advice would be to stop thinking about it and instead just use it in a bunch of proofs. The way you use it in the a proof is you say something like "...and since, as we've just shown, this sentence phi is true in all structures for the language, it follows that there is a proof P of phi, and therefore..."
If writing such proofs isn't the sort of thing you want to do, then you almost certainly don't actually need to know Goedel's Completeness Theorem, which is a highly technical theorem whose philosophical, epistemological, metaphysical, mystical, and magical applications are all completely overblown by people who want to sell books.
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.
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.