Perhaps this is the wrong venue, but I'm curious how this work generalizes and either applies or doesn't apply to other lines of research.
Schmidhuber's group has several papers on "Goedel machines" and it seems like they involve the use of proofs to find self-rewrites.
We present the first class of mathematically rigorous, general, fully self-referential, self-improving, optimally efficient problem solvers. Inspired by Kurt Gödel's celebrated self-referential formulas (1931), a Gödel machine (or 'Goedel machine' but not 'Godel machine') rewrites any part of its own code as soon as it has found a proof that the rewrite is useful, where the problem-dependent utility function and the hardware and the entire initial code are described by axioms encoded in an initial proof searcher which is also part of the initial code.
Their 2005 paper "Completely Self-Referential Optimal Reinforcement Learners" explained the design and their 2012 paper "Towards an Actual Gödel Machine Implementation" seems to be working towards making something vaguely practical. This is the same group whose PhD students helped founded of DeepMind (like Shane Legg as founder and several others as very early employees). Deepmind was then acquired by Google in 2014.
Since that architecture uses a theorem proving system, and creates new versions of itself, and can even replace its own theorem proving system, it naively seems like the Löbstacle might come up. Are you familiar with Schmidhuber's group's work? Does it seem like their work will run into the Löbstacle and they're just not talking about it? Or does it seem like their architecture makes worries about the Löbstacle irrelevant via some clever architecting?
Basically, my question is "The Löbstacle and Gödel Machines... what's up with them?" :-)
Subscribe to RSS Feed
= f037147d6e6c911a85753b9abdedda8d)
Brokerage accounts (fidelity/etrade) are better then bank accounts in every way (in the US). Use them with a margin account to safely maximize your investments. The margin account will basically function as an overdraft / short term loan at very favorable rates. Reasons:
I didn't have a bank account for over a decade. There is no reason to think about checking and savings being separate things.
Concerns about margin account being scary are only that way when you margin a substantial fraction of your account. If you are under 10% and invest in stable index funds you won't have a worry.
instead of investing in SPY consider Berkshire Hathoway (brk) for the tax advantages - (Warren Buffet doesn't like to pay taxes). I'd look at costco's sharebuilder if you can't afford to buy 1 share.
This seems like awesome advice that I have never heard before. Do you think it might be dangerous for some people? Like is it a "you must be this tall to ride this ride" kind of thing?
Also, it seems like it might help to have this made actionable by talking about the steps someone would take to convert their financial service provider setup to this. Do you have a good method for picking a broker? If someone was not very financially savvy (like they didn't know what a brokerage even was exactly) what should they do right after reading here to start on the path to setting things up this way?