atoponce, to math
@atoponce@fosstodon.org avatar

If you keep exponentiating by 2, how long until you reach infinity?

rzeta0, to random
@rzeta0@mastodon.social avatar

this last week i've been trying to get my head around what it takes to prove a function exists

most of the exercises ive been doing ask to show a set exists .. by constructing it using the given axioms of set theory

but functions don't exist directly by axioms ...

if anyone has any helpful thoughts on this.. let me know!

uniinnsbruck, to mathematics
@uniinnsbruck@social.uibk.ac.at avatar

Today, 200 students from schools in Tirol, Vorarlberg and Salzburg are taking part in the international Competition at the University of Innsbruck

davemark, to math
@davemark@mastodon.social avatar

To fairly cut a cake to share between 2 people:

  • One person cuts the cake
  • Second person chooses their. slice

How do you cut a cake to share between 3 people? 🤔

Google is your friend here, but I always found this problem fascinating. There are a number of solutions, both mathematical and philosophical.

spacemagick,
@spacemagick@mastodon.social avatar

@davemark
Soln.
Hide the cake until the other two have left. Eat all of the cake.
(not)

atoponce, to math
@atoponce@fosstodon.org avatar
OscarCunningham, to math
@OscarCunningham@mathstodon.xyz avatar

Mathematicians sometime talk about algebra and geometry being dual to each other. One way to formalise this is by talking about opposite categories. If the objects of a category act like algebras, then in the opposite category they act like spaces.

But the category of finite dimensional vector spaces is its own opposite! This suggests that linear algebra is in some sense the place where algebra and geometry meet. Perhaps that explains why it's so tractable and efficacious.

#Math #Maths #Mathematics #CategoryTheory #LinearAlgebra

JeanBaptisteEt4, to random French
@JeanBaptisteEt4@mathstodon.xyz avatar

with and the book "El real alcazar de sevilla con regla y compas "
Martinez Vela, Manuel
Editorial:
ALMIZATE EDITORIAL
Año de edición:
2023
ISBN:
978-84-120668-7-6

thisismyglasgow, to glasgow
@thisismyglasgow@mastodon.scot avatar

There's a teddy bear handing out maths problems in the West End of Glasgow!

#glasgow #teddybear #glasgowestend #math #maths

rzeta0, to random
@rzeta0@mastodon.social avatar

this simple exercise took me 2 weeks !

i was struggling with:

  • seeing n-tuples as functions
  • proving existence of the cartesian product of sets by first generalising (union of sets) and then selecting (axiom of specification)

doing scratch work (as recommended by prof Jay Cummings) with a simple example helped clarify thinking

https://analysis-solutions.blogspot.com/2024/03/tao-analysis-i-352.html

AmenZwa, to IT

Most have never heard of Curry-Howard isomorphism between type theory and proof theory (type (\equiv) proposition, programme (\equiv) proof), which in and have exploited for decades.

Knowing the techniques is well and good, but understanding the theories matters, at least as much.

dmm, to math
@dmm@mathstodon.xyz avatar

When I made the figure below I used LaTeX, powerpoint and then LaTeX again. Having learned some TikZ I now think I could draw it using TikZ, but apparently I'm too lazy...

A few of my notes on the subject of this figure (and other stuff) are here: https://davidmeyer.github.io/qc/dual_beam_experiment.pdf. As always, questions/comments/corrections/* greatly appreciated.

koantig, to windows

What's a good software for drawing and writing maths on a tablet?

I had to do it in a pinch today to explain something to a colleague, and ended up using PowerPoint as a canvas. Let's just say it was not ideal.

I'm thinking: easily delete the last doodle, draw straight lines, switch colours, infinite canvas, that kind of things.

It's for work, so I'm looking for a solution unfortunately.

loke, to random
@loke@functional.cafe avatar

While working on the function graph support in my language, I just randomly did a plot of cos(x) and sqrt(x) at the same time, and noted that they cross at about x=0.641.

My question to all the #maths people out there: Is there an analytic solution to this?

kravietz, to random Polish
@kravietz@agora.echelon.pl avatar

Taka obserwacja kulturowo-socjologiczna: na Fediverse od dawna jest trochę Rosjan “z Rosji” (w sensie, że nie emigrantów), głównie uciekinierów z mainstreamowych rosyjskich sieci społecznościowych typu VK po wprowadzeniu cenzury kilka lat temu. Poza grupą autentycznie szurniętych nacjonalistów (którzy też byli wtedy w Rosji ścigani, stąd ucieczka z VK) z większością z nich do wojny i przez pierwszy rok można było normalnie dyskutować. Mam tu na myśli dyskusję na poziomie jaki mogą prowadzić ludzie mający czasem odmienne poglądy ale potrafiący wysłuchać argumentów drugiej strony i z nimi polemizować lub je przyjąć. Ale w ciągu ostatniego roku dokonała się ciekawa zmiana kulturowa. Jeżeli mogę dokonać kilku uogólnień na podstawie niedawnej (i chyba ostatniej) dyskusji z nimi:

  • W złym tonie jest podawanie… źródeł informacji. W dobrym tonie jest pisanie “swoimi słowami”. To znaczy, jeżeli ktoś napisze “ja wiem, że rakiety S-300 nie mogą trafiać w cele naziemne” to ma to z ich punktu widzenia większą wartość poznawczą niż ”nawet ze źródeł rosyjskich wynika, że mogą - tutaj jest link do TopWar.ru” (popularny portal wojskowy w Rosji). Nie mam pojęcia z czego to wynika, podejrzewam jakiś podprogowy komunikat o tym, że wszystkie linki mogą prowadzić do exploitów i wirusów.
  • Całkowite pogrążenie w oficjalnej rosyjskiej narracji - oni nie wiedzą, że Charków był regularnie ostrzeliwany od lutego 2022 i autentycznie myślą, że rosyjskie ostrzały Charkowa zaczęły się dopiero w odwecie za ukraińskie ostrzały Biełgorodu czyli około grudnia 2023.
  • Całkowita brak zdolności do konfrontacji z informacją nie pasującą do tej oficjalnej narracji. W naszej kulturze, jeżeli ktoś poda informację sprzeczną z naszą wiedzą to zaczyna się kopanie w źródłach - albo ja mam błędne źródło, albo on/ona i na podstawie uznawanych przez obie strony można to ustalić. Rosyjskie “pokolenie wojenne” po prostu kończy dyskusję, nie było tematu.
  • Ciekawe zjawisko “podwójnej moralności” - wobec “swoich” przyznajemy nieco więcej (np. ludobójcze cele Kremla w zakresie “złamania Ukrainy”) niż wobec “obcych” (negowanie tych wypowiedzi i upieranie się, że to tylko “”emocje”). Ale to akurat Rosjanie mieli zawsze, to nie jest nowe zjawisko.
  • Odrzucanie dowolnych relacji świadków czy wręcz materiałów wideo z miejsc wydarzeń na tej podstawie, że “nie było cię tam na miejscu, nie wiesz jak było”. W konsekwencji tuzin bezpośrednich relacji wideo z danego miejsca jest odrzucany jako “niewiarygodny” ale obwieszczenia oficjalnych przedstawicieli władzy jest traktowane przynajmniej jako wyraz oficjalnej wersji.
  • Bezkrytyczne podejście do częstych w rosyjskiej oficjalnej narracji zmian stanowiska o 180°. Fakt, że dzisiaj władza mówi coś całkowicie odwrotnego niż wczoraj nie wywołuje absolutnie żadnych refleksji na temat tego, że władza może w danym przypadku kłamać oraz, że jutro powie coś inne niż dzisiaj. Jest prawda życia, i jest “prawda etapu”.

W większości są to zjawiska dość oczywiste dla każdego kto ma kontakt z Rosjanami “z Rosji”, nowością dla mnie była obsesyjna fiksacja na “swoimi słowami” oraz odrzucanie źródeł. Nie wiem w jaką stronę to idzie ale wygląda na to, że oni sami siebie zagnali w jakąś sekciarską informacyjną czarną dziurę. Długofalowe konsekwencje, przede wszystkim dla rosyjskiego społeczeństwa, będą dramatyczne.

doboprobodyne, (edited )
@doboprobodyne@mathstodon.xyz avatar

@kravietz

May I add some hashtags in order to solicit views of psychologists and others who deal with human (or animal) cognitive modelling of reality? I would be fascinated to read about the degree to which we're all vulnerable to bias, the highest-yield methods of protecting oneself from bias (especially in social media), and of helping reflect back to others their own views in a way that lets them critique them. I think the last point is especially hard, especially if the other person has no desire for critical thinking (and as humans, we are terrible at critical thinking!).

If there are any textbooks on the subject, ideally written by scientists &/or aimed at scientists, I'd be keen as mustard to know about them!

If anyone has opinions on the work of Han, Lee, Wang, & Baldwin (librai fact checking automation - https://github.com/Libr-AI/OpenFactVerification ) I'd be all ears too.

Please feel free to boost this if you think answers might interest you.

apodoxus, to mastodon
@apodoxus@mastodon.online avatar

Communities that mathematicians use. is big.

bewitchedmind, to random German
@bewitchedmind@mastodon.social avatar

Schönes Video von #Numberphile.

https://www.youtube.com/watch?v=0LkBwCSMsX4

Slightly related habe ich nun einen Knoten im Hirn:

  • Pi hat unendlich viele Nachkommastellen, in denen alle überhaupt möglichen Zahlenfolgen vorkommen.

  • Also müssen auch unendlich lange Folgen sich wiederholender Zahlen, ob 666... oder 123123123..., darin vorkommen.

  • Aber dann könnten dahinter nicht mehr alle noch fehlenden möglichen Zahlenfolgen kommen.

#Mathe-Bubble, helft mir mal, wo ist mein Denkfehler? 🤔

#maths

JeanBaptisteEt4, to random French
@JeanBaptisteEt4@mathstodon.xyz avatar
dmm, to math
@dmm@mathstodon.xyz avatar

"So here is the crux of my argument. If you believe in an external reality independent of humans, then you must also believe in what I call the mathematical universe hypothesis: that our physical reality is a mathematical structure. In other words, we all live in a gigantic mathematical object — one that is more elaborate than a dodecahedron, and probably also more complex than objects with intimidating names like Calabi-Yau manifolds, tensor bundles and Hilbert spaces, which appear in today’s most advanced theories. Everything in our world is purely mathematical — including you." -- Max Tegmark, "The Mathematical Universe", https://arxiv.org/abs/0704.0646.

Something to think about...

See also "The Unreasonable Effectiveness of Mathematics in the Natural Sciences", https://www.maths.ed.ac.uk/~v1ranick/papers/wigner.pdf.

JeanBaptisteEt4, to animation French
@JeanBaptisteEt4@mathstodon.xyz avatar

Promenade de polygones réguliers.

file : https://www.geogebra.org/m/nttmzyfb

avec un bouton pour exporter l'animation en gif.

video/mp4

albertcardona, to random
@albertcardona@mathstodon.xyz avatar

Joe Fields' book, "A gentle introduction to the art of mathematics" is doing the rounds again – and deservingly so, it's an excellent entry-level book. Plus exercises and their solutions, all free.
https://giam.southernct.edu/GIAM/

jovian, to random French
@jovian@piaille.fr avatar

Bon. Et si on écrivait des trucs qui ont du sens ? J'ai envie de vous parler d'un sujet qui m'a bloqué pendant quelques instants presque deux ans : les bases. C'est dans un rêve que j'ai eu le déclic, autant vous dire que c'était assez spécial.

screw_dog, to ArtificialIntelligence
@screw_dog@aus.social avatar

Child just challenged me with a maths q:

You have an n by m grid, where each square is either filled or empty. You also have a stamp in some shape that you can use to fill squares in the grid. You can only stamp squares if none stamped squares are already filled.

Is determining if a given grid with preset files squares can be completely filled with the stamp in P or NP?

(He dropped this on me just as he went in to see his OT "so you can think about it while waiting" lol)

brunus, to random French
@brunus@mamot.fr avatar

... sisi !

  • KiD on révise les maths !
  • Pfuuuwoké ! Bha y'a du calcul d'aire de...
  • Yes π ! La constante d'Archimedes ! Tu sais qu'il y a eu de super ordis Archimedes !?
  • DAD !
  • Ok donc π c'est combien ?
  • 3.14
    -Je connais une personne qui te sort par cœur les 500 1ere décimales (un autiste) ! Par contre faut pas lui demander les résultats du foot, ça il sait pas...mais Macron il sait...
  • DAD !
  • OK ! 3.1416...
  • DAD !
  • C'est des maths ou juste du Sudoku ton cours ?
paysmaths, to math French
@paysmaths@mathstodon.xyz avatar

1er avril 1776 : naissance de Sophie Germain (†27/6/1831), mathématicienne, physicienne et philosophe française dont les travaux portent notamment sur la théorie des nombres (résultats concernant le th. de Fermat-Wiles) et l'étude des surfaces.
https://buff.ly/4cF8UMK

dmm, to physics
@dmm@mathstodon.xyz avatar

The accomplishments of the Victorian physicists were (and are) amazing.

Among the great Victorian era scientists, I've been studying the work of James Clerk Maxwell, specifically Maxwell's equations [1] (along with the history of Victorian mathematics and physics [2]). In his short life, Maxwell made important contributions in many areas of physics. Unfortunately Maxwell died at age 48 from abdominal cancer in November of 1879 [3].

Among Maxwell's contributions are Maxwell's equations, which completed the unification of electricity and magnetism, thereby forming the concepts of electromagnetism and the electro-magnetic force. One of the really amazing aspects of Maxwell's equations is their generality. In particular, they apply to all charge and current densities, whether static or time-dependent and together they completely describe the dynamical behavior of the electromagnetic field.

Here's the best I could do with unicode to describe the differential form of Maxwell's equations (there are also integral forms of Maxwell's equations, see below):

(i). ∇·E = ρ/ε0 # Gauss's Law

(ii). ∇·B = 0 # Gauss's law for magnetism

(iii). ∇ × E = ∂B/∂t # Maxwell–Faraday equation (Faraday's law of induction)

(iv). ∇ × B = μ0 (J + ε0 ∂E/∂t)

Ampère's circuit law (with Maxwell's addition)

Maxwell's equations are important not only because they unified electricity and magnetism and completely characterized the electromagnetic field, but also because they paved the way for special relativity and quantum mechanics.

(1/2)

Propagation of electromagnetic waves...

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