cgmg

21 ms·

181.
Models(blog.alexlenail.me)
2 points by cgmg 9y ago|0 comments
182.
by cgmg 9y ago
> So what we need are more restrictions and regulations. Like what?
183.
by cgmg 9y ago
Reminds me of using cellular automata to generate music: http://tones.wolfram.com/ .
184.
by cgmg 9y ago
> I actually am a mathematician. But you don't know what a limit is?
185.
by cgmg 9y ago
... is not an operator.
186.
by cgmg 9y ago
> Now, you can do that forever and you will never reach a whole number. Ever... Go ahead, try it. I'll wait. What in the world are you rambling about? Do you know what a limit is? > I hold a Ph.D., you know. Yeah, and I'm th
187.
by cgmg 9y ago
> If you could step up to the board and actually expand the ... for us, we'd be much obliged. It seems you don't know what a sequence is. A sequence is just a function whose codomain is the natural numbers, i.e. you give any na
188.
by cgmg 9y ago
Yes, '0.999...' formally stands for the sum from n = 1 to infinity of 9 / 10^n.
189.
by cgmg 9y ago
To an outsider, practically any area of advanced, pure mathematics looks contrived. That doesn't mean it's not beautiful and interesting, particularly to those who study it. Also, the claim that 'everybody ignores set theoris
190.
by cgmg 9y ago
What do you mean by 'less capitalism'?
191.
by cgmg 9y ago
AC is equivalent to the statement: The Cartesian product of any family of nonempty sets is nonempty. This is very intuitive.
192.
by cgmg 9y ago
Not sure why you were downvoted. It's important to keep the two terms separate for the sake of discourse, even if "ultimately" they turn out to be the same. Can something be more conscious but less intelligent than something
193.
by cgmg 9y ago
Do you really think a system where 1 mile = 1760 yards = 5280 feet = 63360 inches is 'just as convenient'? I think you're not being honest. The metric system is standard in scientific practice because it is more sane than t
194.
by cgmg 9y ago
> pounds and feet remain just as convenient as kilograms and meters You're probably American and therefore accustomed to it. If it really is 'just as convenient', why is metric the standard in scientific practice? > the
195.
by cgmg 9y ago
> Her car, a Peugeot 108, was destroyed by a powerful explosive device which blew the vehicle into several pieces and threw the debris into a nearby field. > A blogger whose posts often attracted more readers than the combined circula
196.
by cgmg 9y ago
You might like this: https://golem.ph.utexas.edu/category/2010/02/algorithmic_the...
197.
by cgmg 9y ago
> As German citizens you German Jews (collectively) knowingly voted for government that implemented such anti-semitic laws and it is up to you to vote for government that doesn't pass such insane laws. Yes, I went there. What kind o
198.
by cgmg 9y ago
> the examples I could readily find of program synthesis are decidable problems, like deciding the maximum of two numbers or deciding membership in a list. Can you find examples of human program synthesis for undecidable problems?
199.
by cgmg 9y ago
> do you believe that computer programs will be able to generate meaningful, novel computer programs Yes. There's a whole field dedicated to this called program synthesis. The undecidability of the halting problem does not preclude
200.
by cgmg 9y ago
No, the halting problem is undecidable.
201.
by cgmg 9y ago
What's wrong with asking someone to clarify their claim?
202.
by cgmg 9y ago
Language design. Even if you're very familiar with Malbolge, other languages are far more readable.
203.
by cgmg 9y ago
Readability is determined by more than familiarity.
204.
Physicists want to rebuild quantum theory from scratch(wired.com)
90 points by cgmg 9y ago|41 comments
205.
by cgmg 9y ago
pacala, It seems you don't understand what a sequence is. Formally, a sequence is a function whose domain is the natural numbers (or integers). A decimal expansion is simply a sequence whose codomain is the set of digits {0,1,2,3,4,5,6
206.
by cgmg 9y ago
Hutter, Schmidhuber, et al. have done some very interesting work on this: https://arxiv.org/abs/0712.3329
207.
by cgmg 9y ago
Did I say it was a mathematical proof?
208.
by cgmg 9y ago
> Learned that free trade is generally bad for developing countries The consensus among experts on the matter is that protectionism has a negative effect on economic growth and welfare, while free trade has a positive effect. There are c
209.
by cgmg 9y ago
Your first sentence is probably true, but the point is that most people find the former more intuitive. It's a valid demonstration technique. Just because A entails B in the mathematical/logical sense doesn't mean everyone wh
210.
by cgmg 9y ago
No, I'm simply saying those are other examples of numbers with infinite decimal expansions. In fact, most numbers don't have a finite decimal expansion. And the claim is correct. It is the statement that the limit of the parti

More ›