[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y ] [Search | Free Show | Home]

Let's say you have a computer program that counts natural

This is a blue board which means that it's for everybody (Safe For Work content only). If you see any adult content, please report it.

Thread replies: 29
Thread images: 7

File: 1460790366833.jpg (136KB, 1080x1350px) Image search: [Google]
1460790366833.jpg
136KB, 1080x1350px
Let's say you have a computer program that counts natural numbers from 1 to infinity. Between printing the number [math]k[/math] and [math]k + 1[/math], it waits exactly [math]k[/math] seconds.

It's clear that it would take [math]1 + 2 + 3 + ...[/math] seconds for the program to finish the counting. Any sane person would now argue that this would be infinite amount of time, i.e. the program never finishes its task. A mathematician would claim that the program only needs [math]-\frac{1}{12}[/math] seconds, i.e. we would immediately get the results out.

It's obvious that the mathematician is wrong with this one -- Anyone can test this out using a simple script.
>>
>>8338590
Actually, -1/12 means you got the result in the past
>>
>>8338590
Sorry op, I actually ran the program and got it all printing a fraction of a second before I started it.
>>
>>8338590
clearly this is incorrect, because there is no computer that can count up to infinity, so there is no computer that can execute such program.

but could imagine a settings where gods solve problem that require infinite time to calculate with this trick of making the computer wait k seconds each operation, it would be pretty rad actually
>>
Since numbers are stored in memory spaces of n bytes, your program would eventually only print the number 111111... (n times) after 11111... seconds
>>
File: 1466332622019.jpg (174KB, 1280x851px) Image search: [Google]
1466332622019.jpg
174KB, 1280x851px
>>8338626
>>8338634
You [math]\textbf{can}[/math] make a computer to count to infinity, and you only need a constant amount of memory for that, too. Just make it print some symbol after another, and interpret it as a natural number in unary.
>>
>>8338684
Ok but then if would print - 1/12, because the series of printed values 1+1+1+1..... is less than the series of second spent waiting 1+2+3+...., but the series 1+1+1+1 is greater than - 1/12, therefore

-1/12<=1+1+1+....<=1+2+3+4+......=-1/12

So 1+1+1+1....=-1/12

It does not matter how many times you call your print function, or what is the argument, your program will always have - 1/12 as output
>>
File: 1453784915486.jpg (184KB, 478x717px) Image search: [Google]
1453784915486.jpg
184KB, 478x717px
>>8338744
>because the series of printed values 1+1+1+1..... is less than the series of second spent waiting 1+2+3+....
You misunderstood. If you have [math]k[/math] symbols on the screen, you wait for [math]k[/math] seconds. Then you put another symbol after the old ones, so that you have [math]k + 1[/math] symbols, and you wait for [math]k + 1[/math] seconds.

>It does not matter how many times you call your print function, or what is the argument, your program will always have - 1/12 as output
Nope. You can't have [math]-\frac{1}{12}[/math] symbols on the screen. Nor is the program even designed to erase existing symbols -- Only to add new ones.

But I just realized that the program still wouldn't work, because the next wait time would still need to be stored in memory.
>>
>>8338595
This. Mathematicians are 1/12 of a second faster than OP starting the program.

Vedä vittus
>>
i was about to run the program but the numbers appeared on my screen before i compiled it
>>
>>8339080
Takas ylikselle
>>
>>8338590

You're conflating normal summation with Ramanujan summation of divergent series. They share some properties, but not the ones you're thinking of. Your mistake is like taking the rules for addition and just applying them to the numerators and denominators of fractions so that you get 3/5 as the answer for 1/2 + 2/3 instead of 7/6.
>>
That is because in this case '=' does not mean equals to but means associated with.
>>
>>8338590
[eqn]\zeta(-1) = -\frac{1}{12} \text{ is } not \text{ the same as } \sum_{k\in\mathbb{N}} k.[/eqn] God I hate you all sometimes.
>>
>>8339763
dude what does that big backwards 3 thing have to do with anything?
>>
File: organ_cat.jpg (21KB, 480x360px) Image search: [Google]
organ_cat.jpg
21KB, 480x360px
Hey, guys, I have a question for number theorists here:

How many numbers of form 2^x * 3^y * 5^z are between 1 and 2?

This question comes easily from music, actually the answer is the number of keys of the octave in a mathematically perfect piano. I hope that the answer is finite. But unfortunately I have no idea how to find it. Any ideas?
>>
>>8339846
Oops, I think it's infinite even for 2^x * 3^y.
Every 3^y is between some 2^x and 2^{x+1}
Divide it by 2^{x+1} and you get that 3^y/2{x+1} is between 1/2=2^x/2^{x+1} and 1=2^{x+1}/2^{x+1}.
Invert fractions and you get that 2^{x+1}/3^y is between 1 and 2.

Sad to see
>>
>>8338590

you actually just proved it yourself by knowing the answer was infinity before even starting the program.
>>
>>8339763
Whats the difference serious question
>>
>>8339807
>>8339943
Are you legit serious?

If so we will share the word so we can lay this meme to rest.
>>
File: zeta.png (2KB, 205x60px) Image search: [Google]
zeta.png
2KB, 205x60px
>>8339943
The summation is only an equivalent definition for s such that Re(s) > 1. The actual definition of the zeta function is pic related
>>
>>8339954
im serious

>>8339962
oh, so why does the -1/12 meme even exist? wtf even numberphile made a vid on it and didnt talk anything about the bounds for the rieman zetta func
>>
File: zeta.jpg (96KB, 810x597px) Image search: [Google]
zeta.jpg
96KB, 810x597px
>>8339972

>why does the -1/12 meme even exist?

I don't understand your question. Assigning a summation value to a divergent series can be written like 1 + 2 + 3 ... = -1/12. But it's actually different from how you'd add numbers in mundane situations like on a calculator for an accounting problem. It looks shocking and counter-intuitive to people who don't understand what summation value assignment in the context of divergent series means, which is why it gets mentioned a lot by people who don't study that sort of mathematics.what else is there to explain about it?
>>
>>8339972
It's just a really pedantic way of using the analytic continuation as if it were the function itself. It shouldn't be an equals sign; it would be more correct to have a symbol meaning "can be represented as" or "is extended to."
>>
>>8339991

>it would be more correct to have a symbol meaning "can be represented as" or "is extended to."

Where do you draw the line though? All mathematical operations require different rules / approaches depending on which set of numbers you're operating on.
>>
>>8340002
Equality should be unambiguous, and the relevant group should be stated explicitly. You could use the actual symbol with context, but it has to be made clear. There are multiple valid continuations for things like the factorial or zeta-style summation. You can't just say 1 + 2 + 3 + ... = -1/12 without any context because there are plenty of situations where it doesn't make sense.
>>
>>8340019
>Equality should be unambiguous

tumblr
>>
>>8340061
kek
>>
File: 1473388695488.webm (307KB, 1024x576px) Image search: [Google]
1473388695488.webm
307KB, 1024x576px
SHUT UP AND POST MORE ASIAN BITCHES
Thread posts: 29
Thread images: 7


[Boards: 3 / a / aco / adv / an / asp / b / bant / biz / c / can / cgl / ck / cm / co / cock / d / diy / e / fa / fap / fit / fitlit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mlpol / mo / mtv / mu / n / news / o / out / outsoc / p / po / pol / qa / qst / r / r9k / s / s4s / sci / soc / sp / spa / t / tg / toy / trash / trv / tv / u / v / vg / vint / vip / vp / vr / w / wg / wsg / wsr / x / y] [Search | Top | Home]

I'm aware that Imgur.com will stop allowing adult images since 15th of May. I'm taking actions to backup as much data as possible.
Read more on this topic here - https://archived.moe/talk/thread/1694/


If you need a post removed click on it's [Report] button and follow the instruction.
DMCA Content Takedown via dmca.com
All images are hosted on imgur.com.
If you like this website please support us by donating with Bitcoins at 16mKtbZiwW52BLkibtCr8jUg2KVUMTxVQ5
All trademarks and copyrights on this page are owned by their respective parties.
Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.
This is a 4chan archive - all of the content originated from that site.
This means that RandomArchive shows their content, archived.
If you need information for a Poster - contact them.