How about a proof thread? No matter if babby math, advanced math, CS theory or logic. Post your proofs here. Ill start.
>>8181015
IF a halt function exists then:
void halting_troll( void (*funfun)(void*) ){
if(halt(funfun, (void*) funfun))
while(1){}
return;
}
would be valid but what is the result of >halt(halting_troll, (void*) halting_troll);
QED
>>8181015
>Look at me, I'm so [eqn]smart[/eqn]! I wrote a proof in [eqn]latex[/eqn]!
Shinichi Mochizuki has written a new paper:
>http://www.kurims.kyoto-u.ac.jp/~motizuki/Alien%20Copies,%20Gaussians,%20and%20Inter-universal%20Teichmuller%20Theory.pdf
Pic related: it's an excerpt from the paper.
Discuss.
>>8180994
His writing is horrible, is this even peer reviewed or just a rant?
2deep4me
>>8181006
Please don't shitpost. I know that it's funny that his developments are very complicated and indecipherable, but he actually makes an effort to make it more accessible. He just made a 115-page survey of his theory.
My stats professor told me that the larger the sample size the more trustworthy the data.
I guess the N's justify the means.
>>8180531
No well respected scientist uses a mean. You meant to say the N's justify the medians.
Youre not remotely funny
>>8180540
Fuck you it was a bit funny.
Fucking critics.
Why are scientists obliged to behave like mature adults?
>>8180521
they aren't. they're just actually intelligent and maturity comes naturally from intelligence.
>>8180537
>Comes naturally from intelligence
>>8180521
>scientists
Don't confuse scientists with the travesty that is Hollywood depiction of scientists.
I just learned that there's a "planet 9" so bear with my ignorance here please.
How could something that big that close to us not have been already discovered? In the wiki article it says it's distance to sun is between 200 and 1200 AU and it's approximately the size of neptune (2-4 times the diameter of Earth). Would something that big that close not pop out noticably from the background when they do their "sweeps" of the sky like they do?
>that close
Mean Pluto's distance from the sun is 40AU. And it's dark out there m8.
200 to 1200 AU is stretching the definition of 'close' a bit.
>>8180406
Even 1200 AU is less than 0,02 light years so it's not that far away in the context of SPACE and the stuff we've been able to detect like all these possibly earth-like planets out there.
Pic related the small blue circle in the middle is Earth's orbit and purple is Neptune.
A physicist and a mathematician are roommates together in a house.
They both use the kettle on the counter to heat water for tea, pick up the pot, fill it with water then onto the stove.
The physicist wants to play a trick on the mathematician so he places the kettle on the ground.
Later the mathematician comes in and looks at the pot on the ground, picks it up and places it on the counter, pauses, picks it up again and finally makes tea.
wat
He's probably wondering why his roommate is such an autistic fedora wearer as he picks up other silverware from the floor while his roommate is chuckling and tipping his hat at him
Viscerally hated math for almost all my life, and I want that to change
>>8180187
I used to tutor math act/sat prep.
I can give you a complete list of what will be on the test. Then you should read about the ideas and try problems from different places.
I'm at work so I can't do it right now.
Generally, the people who hate math are those that don't truly understand the concepts, or they understand a concept enough to do well on a test that evaluates understanding of that one concept.
I recommend buying or renting another textbook that can show different approaches, some texts explain the reasoning and can help you have a more conceptual understanding rather than- use this formula you've memorized and plug n chug, then forget the formulas and principles after the test
>>8180187
Id like to learn math properly too, Ive always been fascinated by ppl who do it good, but since elementary school I was frustrated when teachers insisted on solving problems certain way, and sometimes I could get solution my way.
Also, too many teachers rushed trough the course, there was always too big of a gap between first few problems and mid tier problems.
Many textbook authors think you somehow just know that you need to apply some shit in mid tier problems, while it was not done in first few.
Those jumps in difficulty killed my desire to know more than for a passing grade.
I loved physics and chemistry though.
How was this derived? I know why it is equal to (n-1)! and why it satisfies the condition x * G(x) = G(x+1), but I don't know what process was used to discover the function in the first place. How do you start out trying a curve to fit the factorial function and end up here?
>>8180085
Iva also wanted to know this for a while
pick a small n (0,1,2)
integrate it by hand
see the pattern?
>yes
you are done
>no
increase n by one, integrate again
>>8180085
Yea I'm pretty curious about this as well
I need some honest opinions.
I think AI/robotics is the only thing that really interests me. But in practice AI is about specific applications right? Like self driving cars, spam filters, image recognizers... and robotics about factory robots. It's also a very interdisciplinary field since AI can be applied to pretty much any field and a robot, the more generalized it is, requires many different parts.
So is there even much place for research towards humanoid AI/robotics?
I mean I know that the whole field is very popular with some of the smartest minds and biggest companies working in it. So I assume that the most interesting jobs are highly competetive. So I wonder does it even make sense for me as a "brainlet" to bother trying to get seriously involved with it? Should I do something else to earn money and just learn about AI/robotics in my free time?
>>8180050
what profit is there in humanoid robotics?
see, that's why serious money goes elsewhere; i.e. somewhere where money is to be made.
that being said, what exactly do you find interesting about humanoid robotics?
>>8180616
> believes you should choose a job because of profit
lmao spook'd
>Misspelled competitive
Fucking brainlet
sup nerds, so i sparked a phat blunt a few minutes ago and this just came to me
so we know the universe is larger than what we can observe right, so what if its not just a bit larger but like waaaaay fucking huge compard to what we see
and what if the WMAP superstructure that wee see is just what's here in the observable part, like what if there are massive fucking superstructures of galaxies and shit like that all throughout the parts of the universe we'll never be able to see
what if they interact gravitationally with each other like galaxies and stars do and what if they enter binary of n-ary whatever superstructure systems where one quite literally gets BTFO out of the system and is mere days from colliding with our observable part of the universe
actually fuck nevermind any effects would take billions of years to reach Earth cuz speed of light and shit, already wasted time writing so posting anyway, discuss and shit i guess
no actually double fuck that everything we know about speed and mass and shit comes from observing 'regular' shit like stars galaxies dinduholes...etc and Einstein was a sperg anyway and his shit cant even handle black holes kek so why should it apply to shit we barely know anything about today
, these superstructures have inconceivable entire-observable-universe-tier mass, why exactly couldn't a system of whatever number of such superstructures way out beyond what we can observe accelerate one superstructure waaaay fucking past the speed of light right through our local observable neighborhood completely #rekking shit and resulting in many fine keks
am i onto something here or is it literally impossible because of reasons and shit?
>pic unrelated
Guys come on im rolling the second phatty and no ones even replied
has the topic been discussed already? if so i'd love to read through the archive if anyone has a link to it.
>>8179940
allegedly, anything with mass cannot be accelerated above c, since from the equation it would have infinite mass.
what
How does one go about becoming a human calculator?
>>8179936
get Autism
>>8179936
Inserting a computer throught your ears.
>>8179936
kill yourself x times and hope you become a savant in one of your rebirths
Hey /sci/, I'm trying to self study analysis and have recently gotten to the part on metric spaces and basic topology and have hit a wall. Does anyone have any tips for how I can learn this? Any good resources or guidelines? Because my intuition for these proofs isn't strong enough and my grasp on the definitions is tenuous at best.
>>8179889
Munkres's book.
You don't really need topology for metric spaces though, if you're only interested in analysis you can put that off until like functional analysis I think.
>Online
just use the library genesis.
>>8179896
I'm talking about Rudin's chapter 2, and it looks like that material pops up elsewhere (namely, continuity)
>>8179889
Dover has a book on topology that starts with metric spaces. I think the author is Mendelssohn. It is pretty cheap.
A theoretical question if I may, dear /Sci.
Obviously if you take an air filled ping pong ball (sorry, "table tennis" ball for the purists) and release it a metre under water it will bob to the surface.
What happens if that ball is placed in the center of a 2 metre sphere of water - assuming no external gravity acting on the sphere, or any currents/movement in the water?
Will the ball make it's way to the surface (i.e. float) or will the equal pressure of the water all around it hold it in place?
>>8179840
Are you stupid? Why do you think objects are buoyant?
Interesting question OP, I have no idea though. I suck at physics
>>8179844
And you expect common people to know what buoyant forces are?
>>8179840
If the ball is placed perfectly at the center it'll stay there, but it's an unstable system. If the ball is perturbed it'll float to the surface for the same reason it would in a "normal" body of water.
Physicist
>look at those planets
>I wonder why they move like that
Mathematicians
>look at these bunch of rules
>????????????
>>8179698
What about a mathematical physicist?
>>8179698
Astronomy is gay and a meme.
t. biophysicist
is that a guy?
I have a simple question (simple for you who know math).
How do I calculate how many relatives I would have if:
all descendant of the first, including himself (let's call him adam) had 3 kids each, and each of these had 3 kids too, and so on...
10 generations back
>>8179095
3^10+1. Or am I stupid ?
>>8179101
I think that's the last generation, and off by one, so, 3^9 + 3^8 + ... + 3^0.
>>8179095
>The Nobel Prize is a set of annual international awards bestowed in a number of categories by Swedish and Norwegian committees in recognition of academic, cultural and/or scientific advances.
>Swedish and Norwegian committees
that explains the map