Anybody here has any experience with proof assistant software?
How advanced is it as of now? Is it actually useful?
I am interested as well
>>8133116
>Anybody here has any experience with proof assistant software?
Yeah I love Cock.
>How advanced is it as of now? Is it actually useful?
Pretty advanced. Yes.
If proof assistants are so good, then why are there mathematicians?
Why is this guy so based?
https://www.youtube.com/watch?v=mB5I78cGEjo
https://www.youtube.com/watch?v=Q4VGQPk2Dl8
>>8133047
> comparing a dictator with the whole nations wealth to an independant visionary entrepreneur.
lmao
>>8133040
Because he is the real life Tony Stark
Why exactly are some people driven while others can read tons of self-help books and still remain their old inactive self?
Is it the lack of a goal they believe in and think they can achieve?
Is it the lack of foresight of the consequences of inaction?
Is it the lack of training of discipline when growing up?
Is it the lack of a supporting, encouraging environment?
Is it low endurance?
Is it a low pain/discomfort tolerance?
>>8132930
Mostly genetics and some of it is your upbrining.
>>8132952
That's very vague. Like saying that people get fat because of food.
>>8132957
That's not vague at all. He's saying that you're genetically predisposed to being lazy, and your upbringing is icing on the slothy-cake.
Things that blow your mind:
Cooper-pair electrons in conventional superconductors behave like bosons, and exhibit 0 resistivity because the energy barrier between a cooper-pair electron "bond" is such that a collision would not impart enough energy to break the bond and separate them back into regular electrons, and so collisions are forbidden.
Simply put, the electrons don't collide because they aren't allowed to (BY WHO?).
Does god real?
>>8132864
>Things that blow your mind:
undergraduates and scientific realism.
>>8132864
>> by who
Obviously the devil, superconductors are the devils work.
>>8132864
>babbies first solid state physics course
pssss! hey kid! what if i told you, that cooper-pair theory is totally inadequate at explaining superconductivity?
Hey all, I was wondering if I desired a particular genetic trait for my future offspring over a long period of time; will they have this gene?
Not only physical traits but mental and personality ones as well.
Can thoughts and desires really affect the quality and traits of semen?
No.
>>8132641
No to what?
>>8132643
All of it.
Does porn mess with your brain on a similar level as drug addiction?
As with anything, it own't mess with your brain unless you're genuinely addicted to it.
Remember that an addiction is a brain disorder, and this can occur with any activity or substance, if deemed pleasurable by the brain.
And if you do happen to be addicted, then yes, it'll work similarly.
>>8132625
Ok, thank you.
It down regulates your neuro receptors for dopamine. Hence is why people need increasingly stimulating material to feel the same level of arousal. Stay away from porn if you can help it.
So /sci/ where can I publish my proof that P=NP? I talked to a professor at my uni and he said that it was all correct, so. It ultimately came down to a pretty simple computation of the fundamental 2-groupoid of the moduli stack of sedenionic hyper-kahler orbifolds with quasi-special holonomy. Not sure why no one tried it this way.
inside of my asshole
>>8132515
This frogposter is not a crank
>>8132515
>frogposter
>proof of P=NP
kys faggot
My friend told me that Tardigradesâ„¢ can survive on the surface of the sun, is this true?
No.
Your friend sounds like the kind of guy who gets top-voted on Reddit.
>>8132442
/Upvote
The local marketplace has sold a "math" sparknotes type-thing for a number of years, and it's always looked like this.
The image contains one glaring (no pun or hint intended) factual error, among some other nitpicks. Find and identify the BIG MISTAKE in the chart, and then also identify the less flagrantly incorrect (yet ambiguous) items which can be partially excused depending on interpretation.
Hint: the distinction betwen "Whole Numbers" and "Natural numbers" is not any of these goofs. It is a convention used in American secondary...
Comment too long. Click here to view the full text.
>>8132108
>>8132108
Is the error in the picture or the text? The picture is correct, that's the conventional arrangement of those sets.
>>8132108
I would complain about the definition or rationals not being incredibly clear that improper fractions are redundant, and q should be natural rather than integer. I have some other nitpicks but was unable to identify something major.
Useless comment on hint: I agree that the distinction between whole and natural is useful, but I hate the term "whole" used to add zero, I feel it's misleading.
Is saturated fat good or bad?
>>8131972
It's basically animal fat. We are animals. So there's that.
Of course, too much fat is never good. But I don't believe saturated fat is the Hitler of nutrition.
>>8131972
too much of it is bad, not too much of it is good, like water, or cats.
>>8131995
so whats the hitler of nutrition?
sugar?
Why do I get the impression that, apart from france in maths, mainland EU countries are a complete non entity in terms of scientific achievement these days? Is science outlawed in Germany and Spain and Italy or something like that?
Also all the small Eastern Euro countries are always extremely quick to boast that they learn Real analysis at the age of 6, "omg how could dumb murrikans not do this" but we all know what universities we've heard of in those countries.
>>8131942
Germany has a LOT of research output iirc.
Thing is, most people with EU nationalities do research in the UK or US because that's where a lot of research happens. Mediterranean countries are too poor for research nowadays but there are lots of Spanish, Greeks and Italians in foreign unis. They just don't stay at their home countries because research is barely profitable or significant (compared to US or UK). Research is for countries who can afford it, it's not a priority when you owe billions to Germany.
We have some serious research groups here in the netherlands the Qsoft group is laying a lot of ground work for quantum computing and the UvA has some big names in various math and physics fields.
Slavs and Russians will always brag about their education, this is a fact.
>>8131942
>Why do I get the impression that [...] mainland EU countries are a complete non entity in terms of scientific achievement these days?
Probably because you're not a scientist and therefore not up to date on ongoing projects around the world. There's tons of research going on in Europe: you just wont hear about it because it's science and science is rarely sensational.
Do diodes have resistance? Why? What does my multimeter tell me?
>>8131934
Of course they have. Though it's not the same in forward- or reverse-biased configurations. Forward resistance is tiny, reverse is huge, until you reach the breakdown voltage.
>>8131934
I mean you could probably start by turning the multimeter to the resistance settings
>>8131934
>diodes have resistance?
sort of
This is a Snailfish, they're found at the bottom of the Mariana Trench and can withstand pressures of at least 15,000 pounds per square inch.
With that in mind my question is, how would this creature (or any other animal capable of withstanding such high pressures) cope with being smashed by a hammer? Like because that's obviously a lot of pressure so if someone smashed it up with a hammer would it be OK?
Thanks in advance.
>>8131874
If you brought it up to sealevel then it would explode from within
external vs internal pressurization
The pressure affects it pretty much equally from all directions, as opposed to being smashed by a sledgehammer.
>>8131874
>withstand pressures of at least 15,000 pounds per square inch.
>implying their entire body isn't itself 15k psi internally.
Anyone else unable to understand/retain information when reading digitally? I find it's impossible for me to remember what the fuck I'm reading and staying focused when I'm reading a pdf on a computer screen. I started printing out all the research papers I have to read and am saving so much more time.
Plus, as much as I made fun of highlighting brainlets in grade school, highlighting big ideas in papers is so fucking clutch. "Didn't this one paper say something on this matter?" *look through* *read highlights* *find it*
Also, when...
Comment too long. Click here to view the full text.
>>8131841
You are probably too old or too dumb.
I say too old because I am relatively young and I had my first computer when I was like 8. At this point I've spent half of my life in front of a screen so that is maybe why I'm used to it.
All the books I use for university I have on my phone and I work as a programmer so being good at reading digitally is a must.
Just retire gramps.
>>8131861
this seems like a valid argument to be honest OP
sorry grandad
>>8131861
I've spent more than half my life in front of a computer and I have OP's problem as well.
25yo faggot here.
>tfw he will die in your lifetime
>>8131811
You will die in my lifetime. Or I will die on your lifetime.
>>8131811
Hopefully when he dies his books will go out of print and stop polluting the linear algebra market with their shittiness
>>8131814
>(You)