@davidsuculum@mathstodon.xyz avatar

davidsuculum

@davidsuculum@mathstodon.xyz

Physicist in atmospheric sciences, but mainly Jack of all trades and master of none. Canary Islands, Spain.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

johncarlosbaez, (edited ) to random
@johncarlosbaez@mathstodon.xyz avatar

The precise location of the boundary between the knowable and the unknowable is itself unknowable. But we π‘‘π‘œ know some details about π‘€β„Žπ‘¦ this is true, at least within mathematics. It's being studied rigorously in a branch of theoretical computer science called 'meta-complexity theory'.

For some reason it's hard to show that math problems are hard. In meta-complexity theory, people try to understand why.

For example, most of us believe P β‰  NP: merely being able to π‘β„Žπ‘’π‘π‘˜ the answer to a problem efficiently doesn't imply you can π‘ π‘œπ‘™π‘£π‘’ it efficiently. It seems obvious. But despite a vast amount of work, nobody has been able to prove it!

And in one of the founding results of meta-complexity theory, Razborov and Rudich showed that if a certain attractive class of strategies for proving P β‰  NP worked, then it would be possible to efficiently crack all codes! None of us think π‘‘β„Žπ‘Žπ‘‘'𝑠 possible. So their result shows there's a barrier to knowing P β‰  NP.

I'm simplifying a lot of stuff here. But this is the basic idea: they proved that it's probably hard to prove that a bunch of seemingly hard problems are really hard.

But note the 'probably' here! Nobody has π‘π‘Ÿπ‘œπ‘£π‘’π‘‘ we can't efficiently crack all codes. And this too, seems very hard to prove.

So the boundary between the knowable and unknowable is itself shrouded in unknowability. But amazingly, we can prove theorems about it!

https://www.quantamagazine.org/complexity-theorys-50-year-journey-to-the-limits-of-knowledge-20230817/

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@johncarlosbaez that reminds me of something I read once: the Finch-Church paradox of knownability. "if any truth can be known then it follows that every truth is in fact known." So there will always be unknown truths. https://plato.stanford.edu/entries/fitch-paradox/

davidsuculum, to climate
@davidsuculum@mathstodon.xyz avatar

This could be a nice set of resources for using Python in , and .

I link a tutorial for extreme values. It doesn't include "peak over threshold" analysis, but you have pyextremes for that (and R).

Tutorial 4: Return Levels Using Normal and GEV Distributions β€” Climatematch Academy: Computational Tools for Climate Science
https://comptools.climatematch.io/tutorials/W2D4_ClimateResponse-Extremes%26Variability/student/W2D4_Tutorial4.html

davidsuculum, to random
@davidsuculum@mathstodon.xyz avatar

The association of Stack Overflow and chatGPT is exactly a proof of what it has already been said: the knowledge created by many people for free and to help others will be served to you for the cost of a premium account.

ColinTheMathmo, to random
@ColinTheMathmo@mathstodon.xyz avatar

Kurt Vonnegut tells his wife he's going out to buy an envelope:

β€œOh," she says, "well, you're not a poor man. You know, why don't you go online and buy a hundred envelopes and put them in the closet?"

And so I pretend not to hear her. And go out to get an envelope because I'm going to have a hell of a good time in the process of buying one envelope.

I meet a lot of people. And see some great looking babies. And a fire engine goes by. And I give them the thumbs up. And I'll ask a woman what kind of dog that is. And, and I don't know. The moral of the story is - we're here on Earth to fart around.

And, of course, the computers will do us out of that. And what the computer people don't realize, or they don't care, is we're dancing animals. You know, we love to move around. And it's like we're not supposed to dance at all anymore.


Let's all get up and move around a bit right now... or at least dance.

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@ColinTheMathmo Kurt Vonnegut is pure wisdom. I love dancing, too. I dance lindy hop and charleston (and I wish I knew more styles).

johncarlosbaez, (edited ) to random
@johncarlosbaez@mathstodon.xyz avatar

"Nature in Descending Regions" from Levi Walter Yaggy's 1887 πΊπ‘’π‘œπ‘”π‘Ÿπ‘Žπ‘π˜©π‘–π‘π‘Žπ‘™ π‘ƒπ‘œπ‘Ÿπ‘‘π‘“π‘œπ‘™π‘–π‘œβ€”πΆπ‘œπ‘šπ‘π‘Ÿπ‘–π‘ π‘–π‘›π‘” π‘ƒπ˜©π‘¦π‘ π‘–π‘π‘Žπ‘™, π‘ƒπ‘œπ‘™π‘–π‘‘π‘–π‘π‘Žπ‘™, πΊπ‘’π‘œπ‘™π‘œπ‘”π‘–π‘π‘Žπ‘™, π‘Žπ‘›π‘‘ π΄π‘ π‘‘π‘Ÿπ‘œπ‘›π‘œπ‘šπ‘–π‘π‘Žπ‘™ πΊπ‘’π‘œπ‘”π‘Ÿπ‘Žπ‘π˜©π‘¦. This popular set of maps and charts was intended for use in classrooms. Each page was 2 feet by 3 feet in size!

(1/3)

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@johncarlosbaez very beautiful, indeed. Lots of expressiveness.

davidsuculum, to random
@davidsuculum@mathstodon.xyz avatar

To be honest, I've always thought that Newton's Third Law is something arcane.

Why what the MΓΌnchausen baron did to escape a swamp (pulling himself up from the hair) doesn't work in real life? Or why a lot of fans in a sailboat can't push it forward?

The reason is Newton's Third Law, in the previous cases the force and its reaction cancel out because they have the same application point. To me this seems a little bit of a medieval, alchemist explanation. But I don't know how to do it better, not even appealing to more modern or fundamental concepts.

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@johncarlosbaez but now I wonder, what's more fundamental, the conservation of momentum or Newton's Third Law (or both)? After all, Lagrangian and Hamiltonian mechanics were derived later, as another way of looking at the laws of Newton, right?

davidsuculum, to random
@davidsuculum@mathstodon.xyz avatar

It's curious how you can plot a curve in "Asymptote". In libraries like matplotlib you plot (sin(x)) giving many values for x in an interval.

In "Asymptote" you get a very decent sinusoidal curve giving three points, for instance ((0, \pi/2, \pi)) and the tangent vector there. I had never seen it.

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@gregeganSF I don't know, to be honest. It could be that. I found it in this tutorial (page 10), if you're interested: https://asymptote.sourceforge.io/asymptote_tutorial.pdf

davidsuculum, to random
@davidsuculum@mathstodon.xyz avatar

I watched a movie of the Marx Bros tonight. Besides the humour, Chico and Harpo were masters playing the piano and the harp, respectively.

davidsuculum, to physics
@davidsuculum@mathstodon.xyz avatar

A physicist friend of mine has sometimes expressed that Einstein is shown as if after GR he achieved nothing, and that that seems hard to believe. Even acknowledging his stubbornness despising quantum mechanics, it seems unreasonable that there's nothing relevant or at least interesting in what he was doing after 1920.

I agree with my friend, so I looked for something and found this: what Einstein wrote in 1928, he was looking at the spacetime using the "vierbein" formalism, a kind of square root of the metric that I think it's used to introduce matter fields in spacetime.

(I think this could change at any moment. One day a researcher or a science historian could republish a result from those years of Einstein, perhaps linking it to a contemporary question, and then everybody would be super interested in Einstein from 1925 onwards).

https://arxiv.org/abs/1106.2037

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@johncarlosbaez I certainly want to read that biography! Of his work after 1915 I only knew of the EPR paradox, somehow I had assumed that the results of the Bose-Einstein condensate were before 1915.

davidsuculum, to math
@davidsuculum@mathstodon.xyz avatar

Do you know what software can I use to generate beautiful explanatory images at the style of this one? Preferably not TikZ. Source: https://youtu.be/T0V08u4t-cg?si=n486IrxVtnpEOQe0

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@christianp it looks interesting, thanks!

Johannab, to random
@Johannab@wandering.shop avatar

Hey there Wandering.shop regulars … @AstroKatie over on her Bsky account has a β€œcan anyone find me the title/author of this story… β€œ question and allowed me to share her request over here.

https://bsky.app/profile/astrokatie.com/post/3knta6oj2gt2y

Does this ring a bell for any of you hardcore SF&F writers/readers?

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@Johannab @AstroKatie I don't recognise the story. I guess a good option is going to sci-fi stack exchange https://scifi.stackexchange.com/

ColinTheMathmo, (edited ) to random
@ColinTheMathmo@mathstodon.xyz avatar

This must be a solved problem ...

A group I'm in is reviewing and revising a document. It's a word document, because some of them are seriously, seriously technically challenged, and that seems to be the only thing they can cope with.

But making comments on and passing copies around of a Word document is just a completely nightmare, and it ends up ... as you will all know ... a mess of formatting, wrong versions, just ... urgh.

If there is a website with the document visible and little boxes spread throughout into which people can type comments to be collected and collated, that would be much easier.

Is there such a thing?

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@johncarlosbaez @dougmerritt I'm curious about the image, is it from an AI, an actual painting or a picture from some place?

davidsuculum, to random
@davidsuculum@mathstodon.xyz avatar

In "Metazoa", by Peter Godfrey-Smith, I've been reading about thr Ediacaran period. It was before the more famous Cambrian period. The Ediacaran is famous for its relative calm, there was no signs of predation, of any defensive or offensive structure (there's no evidence of claws or thorns).

Some lifeforms were like worms, others like bags, disks... Wikipedia says it's not clear if some of them were animals or big protists, and perhaps many of them were lines of the tree of life that didn't continued. It seems that connecting many Ediacaran lifeforms with the posterior life of the Cambrian is not easy.

The book is interesting. Since the focus is the origin of the consciousness, the origin of life, perhaps 3800 millions of years ago, is not analyzed. I should look for other book for that.

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@resuna ah, I have heard of Jaynes' polemic and wild ideas. Do you recommend his book?

davidsuculum, to random
@davidsuculum@mathstodon.xyz avatar

A Japanese mathematician claims that he has found a formula for the weekday that is simpler than the already existing ones. Probably, the best solution so far was the one proposed by John Conway.

A Simple Formula for the Weekday – ThatsMaths
https://thatsmaths.com/2023/06/22/a-simple-formula-for-the-weekday/

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

I have used it to calculate the weekday for September 4, 476, when the historians say the Roman Western Empire fell. (That day, the young Roman Emperor (16 yo) Romulus Augustulus, who had bare control of Italy, was defeated in Ravenna).

That day was a Monday, but with Nakai's algorithm I obtain a Friday. I guess the reason is that you need to adjust to the Julian calendar, the one used in such times. I think Conway's algorithm also needed adjustments for the Julian.

appassionato, to books
@appassionato@mastodon.social avatar

A Random Walk in Physics: Beyond Black Holes and Time-Travels by Massimo Cencini et al.

This book offers an informal, easy-to-understand account of topics in modern physics and mathematics. The focus is, in particular, on statistical mechanics, soft matter, probability, chaos, complexity, and models, as well as their interplay.

@bookstodon




davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@appassionato @bookstodon does it go into details of the things it explains (is it technical)?

gregeganSF, to random
@gregeganSF@mathstodon.xyz avatar

Me: Opening the doors and windows overnight will help cool the house down and get me through tomorrow’s expected 43Β°C!

Air outside, at 10pm: OK, I’m 30Β°C, is that helpful?

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@gregeganSF something similar happens in the Canary Islands in summer. Night temperatures doesn't descend too much, and in addition to that in many places thr humidity is high. Last year was very hard, I'm considering buying an air conditioning. I hope you can go through it the best way possible.

davidsuculum, to random
@davidsuculum@mathstodon.xyz avatar

I've just known that Christopher Priest died three days ago. A great storyteller, in the British tradition of H. G. Wells. I want to read more by him. RIP.

davidsuculum, to random
@davidsuculum@mathstodon.xyz avatar

I was talking the other day about wavelets and I found this, from @johncarlosbaez 's blog "Azimuth". Here, John and a colleague used the Gabor transform, very related to wavelets, to analyze the Milankovich cyles, an important concept in climate science.

It's really interesting. The Gabor transform, as the wavelets, show information in both frequency and temporal domain, contrary to a Fourier transform that takes you completely to the frequency world or the temporal one.

For a signal whose components may have changed through time, the Gabor can help more than a Fourier analysis. This in fact is what happened with Milankovich, where "recently", in the last million years aprox. the eccentricity seems to be the stronger signal.

Milankovich vs the Ice Ages | Azimuth
https://johncarlosbaez.wordpress.com/2013/01/30/milankovich-vs-the-ice-ages/

johncarlosbaez, (edited ) to random
@johncarlosbaez@mathstodon.xyz avatar

Camembert is an endangered species! It relies on a mold that had lost the ability to reproduce sexually... and now, thanks to inbreeding, this mold has also lost the ability to reproduce using spores. Roquefort is also in trouble, but for Camembert it's worse:

"The world over, this other symbol of French gastronomy is inoculated exclusively with one single strain of Penicillium camemberti, a white mutant that was selected for Brie cheeses in 1898 and Camemberts in 1902.

The problem is that ever since then the strain has been replicated by vegetative propagation only. Until the 1950s, Camemberts still had grey, green or in some cases orange-tinged moulds on their surface. But the industry was not fond of these colours, considering them unappealing, and staked everything on the albino strain of P. camemberti, which is completely white and moreover has a silky texture. This is how Camembert acquired its now-characteristic pure white rind.

Year after year, generation after generation, the albino strain of P. camemberti, which was already incapable of sexual reproduction, lost its ability to produce asexual spores. As a result it is now very difficult for the entire industry to obtain enough P. camemberti spores to inoculate their production of the famous Norman cheese.

Worse still, while the Roquefort PDO (Protected Designation of Origin) standard retains a degree of microbial biodiversity, the PDO specifications for Camembert require farmers and other producers to use P. camemberti exclusively."

What to do about it? Switch to eating American cheese, or Velveeta? Read on....

(1/2)

davidsuculum,
@davidsuculum@mathstodon.xyz avatar

@johncarlosbaez oh, no! Let's hope they can be saved in one way or another. And I hope the Stilton to be safe.

  • All
  • Subscribed
  • Moderated
  • Favorites
  • β€’
  • JUstTest
  • mdbf
  • Durango
  • thenastyranch
  • ngwrru68w68
  • InstantRegret
  • DreamBathrooms
  • modclub
  • magazineikmin
  • Youngstown
  • everett
  • ethstaker
  • slotface
  • rosin
  • anitta
  • kavyap
  • osvaldo12
  • GTA5RPClips
  • cisconetworking
  • provamag3
  • khanakhh
  • tacticalgear
  • cubers
  • Leos
  • normalnudes
  • megavids
  • tester
  • lostlight
  • All magazines