>be me>just a guy>notice that tools for modeling reality should probably be based on reality>reality is finite>so why does all of mathematics assume infinity exists>not prove it>assume it>and not even a recent assumption>predates written history>some prehistoric human looked at the horizon and thought "that goes on forever">we built calculus on it>decide infinity doesn't exist >and >that there is an upper bound>axiom>moving on>rebuild all of math>normal weekend>invent new logic where every quantifier must declare its finite range>turns out cleanerComment too long. Click here to view the full text.
>>16929819you didn't rebluild all of math anon.
>>16929819LLM niggers btfo.
I always find it funny that constructivists are the ones who obsess over metaphysics while all other flavours of mathematicians be it platonists or formalists or whatever else just ignore it and focus on doing maths.Constructivists try to frame themselves as the grounded ones that are the solution to Platonic madness and yet they're the ones who have this religious obsession over stuff that ultimately does not matter when actually doing maths. Infinity is useful in real life, that's why most people use it regardless of their belief on whether infinity is ontic or not.>can't publish, not an academicThat is blatantly untrue. If your idea is solid, there are dozens of academics salivating at the idea of stealing it and including you as a coauthor. The nuance here is that most of the time it's just incomprehensible schizo ramblings.
>>16929991>The nuance here is that most of the time it's just incomprehensible schizo ramblings.in the defence of OP , maybe his ideas have merits because he really can't share them because they are schitzo rambelings.
I do not care for models that not allow infinite sets to be modeled by finite ones.
should i turn on the blue light filter in all my screens? is blue light really that bad for my sight? i dont really mind the orange tint the filter has, also i use glasses
>>16929848It's not bad for your eyes per se. But it shuts off your brain's melatonin production and prevents you from sleeping.
>>16929848Absolutely. Also you should refrain from using any electronics at all during the evening. Don't eat after 4pm and exercise heavily both before and after sleep. In the morning eat only raw eggs and deenz before a cold shower. Read stoic philosophy from organic clay tablets. Nofap. Bartitsu. Ketosis.
have you tried just turning on another light in your room?
i get blue blocker for my glasses, improved my sleepto answer your question, yes blue light disrupts naturally sleeping rhythm, human history didn't have nightly screen time
Happy Pi Day!
>>16929500[math]\pi = real nigga shit[/math]
>>16929500I just ate some pie.
It’s not Earth Day, it’s a day of remembrance.
The first 100,000 digits of pi visualized
Pi in base-256. Each gradient of computer grayscale represents each symbol in the base.
>"In the axiomatic schemata of the Scott–Lemmon form, the number of consecutively stacked modal operators determines the composition of the accessibility relation in the corresponding frame condition. Each block corresponds to then-fold composition Rthereby determining the accessibility paths that appear in the frame condition."
>>16929822Well maybe you should start thinking something of it.
I find it appealing for three reasons.* I'm not a fan of the weakening principle [math] A\to (B\to A) [/math], and strong implication of modal logic doesn't validate it. (I can expand on this point)* Intuitionistic logic embeds into S4 logic, and that reading of it is I think somewhat closer to the epistemological reading of intuitionistic logic* Mathematicians (unlike say CS people) have always been extremely uncreative with their logical foundations, since set theory, and I'd like to see math on different logics. Since set theory can model everything, this is sorta justified - you can code/mimic anything in set theory over classical logic. But it means everything is extremely not native and I think we leave some ideas on the table.
>>16929897>* Intuitionistic logic embeds into S4 logic, and that reading of it is I think somewhat closer to the epistemological reading of intuitionistic logicCould you please expand on this point? How is it embedded?
So basically its like a quantum computer, the initial setup conditions determine which outcomes you can possibly receive
>>16929941The axioms you assume will affect what kind of frame conditions you have that in turn will make any of your theorems semantically valid.
What is gauge theory.If you can't explain it simply, then you don't understand it.
what if you used quantum crochet needles to weave the strings into a comfy scarf?
"AI slop" is when you ask a model to create something for you.When you ask a model to do research, explain something, summarize, provide with information, it is not.But you still should fact check the less obvious things. Many models will provide you with links right away, or upon further interrogation.My two bits.
>>16928179Thank you. I believe it is deserved.
>>16928173Not gonna lie almost screenshot worthy
>>16928173heh rare to find such quality oc on /sci/ these days. ai posters could never. take my (you)
>But he's the smartest mathematician in the worldWho cares? I can ask AI to solve math problems for me too but neither the chink nor AI can solve the Riemman's hypothesis, to which both are utterly useless because neither have made any scientific breakthroughs like Newton, Einstein, Tesla, etc. have.He might as well go back to whatever asian country he's from and make mukbangs of eating bugs instead, not more or less useless than what he currently is now.
>>16929803He might not have revolutionised math but at least he has a job that isn't cleaning public toilets or something like all the other child prodigies
>>16929803We've been through this. Scientific breakthroughs are harder to make now because the low hanging fruits have been picked. Mathematicians and scientists these days are toolmakers, they build the tools that future generations will use to eventually solve them.
>>16929871Just make up new math and publish easy results from there.
Tao doesn't deserve his reputation among the best contemporary mathematicians. He's aged well and doesn't look it but he's now 50 years old so his career is basically over. The only thing he really did was compressed sensing which is an applied math topic. Every single thing he's done he worked with coauthors extensively including that but is only remembered for it because of a reddit personality cult. He almost failed his quals in analysis and didn't even know the fundamental solution of Laplace's equation but was pushed through the program anyway>The exam started off reasonably well, as they asked me to present the harmonic analysis that I had prepared, which was mostly material based on my master’s thesis and specifically on a theorem in harmonic analysis known as the T(b) theorem. However, as they moved away from that topic, the shallowness of my preparation in the subject showed quite badly. I would be able to vaguely recall a basic result in the field, but not state it accurately, give a correct proof, or describe what it was used for or connected to. I have a distinct memory of the examiners asking easier and easier questions, to get me to a point where I would actually be able to give a satisfactory answer; they spent several minutes, for instance, painfully walking me through a derivation of the fundamental solution for the Laplacian.No revolutionary ideas, no big theorem. Just coauthors a ridiculous amount of papers and was a "child prodigy" doing olympiads and got a degree at 16 after being tutored for an entire childhood by Paul Erdos after his Asian immigrant parents made him be a monkey doing calculus problems to try and brag to other Asian immigrant parents and midwits think that's being a great mathematician. The best living mathematician is Jean-Pierre Serre, but he won't be alive much longer because he is almost 100 years old. But we could pick probably one hundred who are better mathematicians than Tao.
>>16929803>solve the Riemman's hypothesis,>theyou are worried about tao when you should be worried about escaping your favela>>16929896>No revolutionary ideasusing lie derivatives in nvst is more revolutionary than anything you will do in your entire life
Two days ago, a new report saying that Artemis III was impossible to pull off, too risky, and a work of fiction was released. They said that the mission they've been planning for decades just wasn't feasible.So Isaacman (the guy that Elon Musk picked) came up with an alternative plan in 48 hours from scratch, now the idea is to launch 3 missions before Trump's term expires, in contrast with the just 1 of the previous plan, and land on the moon twice before december 2028.Thoughts? Is it a sensible plan? Do you think this new plan will be safer than the old one?
>>16928458That's not true, the J-20 and J-35 are both twin-engine. Despite that prototype appearing to have 3 for whatever reason
>>16928458>china can't even build a fighter jet without using 3 engines because their metallurgy is so trash that a more conventional 2/1 engine setup would overheat and melt. how the fuck are they gonna go to the moon?most retarded take ever, the only reason for 3 is stealth while keeping the required power output
thread for retards
I have little faith in NASA to accomplish anything because the organization has been like a ship without a rudder. Diving into the re$earch project$ theyve been busy with for the last couple decades it seems apparent that theyve been all over the place with no focus. Theyve been researching 'green' propellants, doing feasibility studies on Venus satellite missions, seeing how much gas Mars is losing*, etc rather than focusing on the singular task of getting us to the moon and staying there. *MAVEN cost $582,000,000.
Best we can do is a space telescope and 6G internet sats every decade or so....For me...the worst part is that they bankrupt the nation and took us off the sound money intrinsically stellar evolution rarity gold/silver backed dollar and moved us onto the petrol FIAT slop credit dollarydoo system because of the space race in combination with Vietnam with the commies was so expensive they started to just hold the money printer button down irregardless of how much gold/silver they had to back the print. Now all 200 nations upon Earth are hyper inflating into FIAT slop hellAt this point we should consider ourselves lucky to have launched the James Webb...it might be the last scientific instrument of any value put into orbit as the global FIAT slop hyper inflated printing system collapses entirely and the whole global corrupt house of cards comes down biblically.Its all FIAT slop.Petrol dollar, Euro, BRICKS, Bitcoin....all unbacked FIAT slop that is tethered and pegged to how long the money printed button is held down for......It was a good run yall. We got pretty far, but human greed and lust was no match for the almighty god lord green paper rectangles.
How to study biology?
>>16929630Albert's molecular biology
darwin
>>16929630books
>>16929630watch science youtube videos
biology is pure memorization, just download some bio books and memorize them, congrats your now a biologist
Will ChatGPT lead to homework being obsolete?
>>16929677Deriving stuff gets harder later in the degree anon. Might even take up the entire page to show that the new formula isn't bs and can be applied to the situation when the teacher should have given you that in the first place.The you come to find out the teacher doesn't have a fucking clue what's in the homework or how to solve it and it's just been in there for years. Nobody's told them the lectures only remotely resemble the steps needed to do the homework.
There is absolutely no substitute for going through the motions and doing work and making connections yourself. No one can do it for you to the benefit your own understanding.
>>16929781great now do 100 of those and when you're done with half of them realize you're past your due dates by a few days days and you have 100 more to go through bc your teachers are useless
>>16929626>Overall I don't understand why teachers are so useless im basically self teaching everything online at this point.Another way that boomers ruined education. You pay an extreme amount to teach yourself while attending lectures that only cover the base concepts and a professor who is unreachable and a TA study hall available for 30 minutes twice a semester. All for a job market that isn't avaliable anymore.
>>16929839To be fair, it's usually a lot easier to grasp the concepts a book is trying to convey if someone just spoonfed a dumbed down version to you in a lecture. But in current year, that can be just as easily achieved via a YouTube video. If publishers were smart they would actually commission video lectures for all the textbooks they published. It could entirely replace college aside from the piece of paper you get at the end.Really, every public university should have to record their lectures and make them freely available to the taxpayers that funded it. They should also provide standardized testing so you can test out and get at least a bachelor's degree when self taught. Would remove a huge burden from the college system, probably result in better graduates, and stop wasting white people's prime working/child-bearing years and sending them into crippling debt.
Not sure if this is the correct board to post (if it is, forgive me and move to the appropriate board) but I live close to a military base and saw some fairly strange aircraft in formation, probably around five if I were to guess. Pic is the closest I've seen, but instead of the slight kink, the shape was a perfect equilateral triangle except for the bottom, which was zig-zagged and had to be tens of thousands of feet up with me only able to make it out with a scope in the back I had.Any of this look familiar? I mean, is there any reason or advantage why it would be this shape instead of what we usually see with other aircraft like with the F22 for instance?
>>16929004They have drone stealth interceptors with B1's for support. Theoretically, they could take the brunt of the force while the B1s escape.
>>16929004Always fussing with concepts.
Smaller radar cross section leads to a lower detectable range.
>>169290041st gen stealth aircraft were low poly count objects due to the constraints of the computers they were designed on. Each surface was modeled by computer for minimum radar reflection during design, but it was the '70s and there were limits to the computer power available. It's most obvious on the F117 as the earliest production design, with advances in computer technology during the '80s-'90s allowing later planes to have progressively better aerodynamics while still maintaining stealth.
>>16929004No vertical stabilizers - less drag and surface to reflect radar waves.But the cost is lower maneuverability.
fuck 4chan's npc factory built threads, you know what I'm talking about. what do (You) like in /sci/ence &/OR maths, what sparks your passion, what's your interest, what is awe inspiring to you?I'll startI was thinking about this the other day, imagine it your wealth was determined by how much of a good heart you had, I know, many of (You) have been conditioned by "radical individualism", which is pretty much poorly disguised divide and conquer.about /sci/ence and math, imagine those being at the service of humanity as a whole, I'm too much of an utopia lover
>>16928973>about /sci/ence and math, imagine those being at the service of humanity as a whole, I'm too much of an utopia lover>niggers can't readnot surprising
utopias are always flawed do you read any modern scifianyways applied abstration is very cool
>>16929317>applied abstrationon programming?
>>16929317>utopias are always flawed do you read any modern scifielon is really inspiring, specially the supersonic vtol, that shit's fire, but before he stepped in the spotlight I already had my own fully robotized/automated utopia built in my head, isn't it about observing problems and coming up with solutions?
>>16929433>elon is really inspiring>literally the king of Autism, high functioning>low functioning is Chris ChanIm a high functioning Aspie. If I become low functioning I become a normal person, he becomes very....confused, sad, angry, and sad. Very sad.
>Neuracle Medical Technology’s invasive brain-computer interface has been given the green light in China for people with partial spinal cord injurieshttps://www.scientificamerican.com/article/china-just-approved-its-first-brain-implant-for-commercial-use-a-world-first/
>>16929265No
>>16929242>our medical care isn't completely commercializedYou probably also believe Trump wants to bring democracy to Iran.
>>16929836>ourI'm European dumbass, and the article is about China
>>16929874>I'm European dumbassThat's why you commas
>>16929874>tax-payer funded medical care isn't open to commercialized because... because it just is.
>take chlorine, a highly reactive and toxic yellow-green GAS >combine with sodium, a soft METAL that reacts violently on contact with water>somehow this creates regular saltdo chemists expect us to believe this ???
>>1692853That's the joke, dummy
So somehow we can use sound waves with nanobots to reverse salt like H2O with hydrogen?
>>16928502I kneel
>>16928496>tfw no milcium
>>16929388that's calcium baby
Is it theoretically possible to recycle 99 percent of the garbage we produce? And if not, then what the hell are we even doing?
>>16929698See you think I'm a redditor joking. Do you realize that for any of our biology to make any sense at all there must have been some interaction between Africa and South America about 60 million years ago and the best way to explain it so far is catastrophic flooding so bad it took breeding populations of monkeys and cats to South America? And you don't believe in asinine theories based on cataclysmic events?
>>16929703I'm not talking about that; I'm specifically talking about this:https://www.youtube.com/watch?v=kq7DDk8eLs8Which is only one trash bag; to use a volcano as a trash disposal system would level the whole region.
>>16929711Like a volcano?
>>16929711The difference in the temperature of trash and a volcano makes volcano-based trash disposal too dangerous, and there would be similar danger for any other natural source of lava or magma.
>>16929223>count burning for fuel as recycling,This solves the vast majority.Food waste composted.Burnable burned.Metals remelted.Really leaves glass and ceramic as the waste. Glass is recyclable but not worth the effort and ceramic has use only as aggregrate such as potshard wall filling used by Romans.There's an open source nerd with an electrolysis ion exchange membrane hydrochloric acid system for dissolving metals from crushed ore or electronics waste and the solution can be selectively electroplated into metal powder by each element. Would be useful as an metal recycler for valuable trace metals.
How close are we to reaching Longevity Escape Velocity?
>>16928769this guy is the best 4chan meme in years
>>16929525>tictac repost is the best 4chan meme in yearspretty sad imo
>>16929022it's hard as fuck to get in there
>>16929022He's way too young to be trimming his nose hair.
>>16928769Where are his parents?We have to find his parents. Poor lil fella
