#prime number theorem

[math1089]

Mathematical Beauties of the Number 142587

There are some mysteries that the human mind will never penetrate. To convince ourselves we have only to cast a glance at tables of primes and we should perceive that there reigns neither order nor rule.Leonhard Euler Welcome to the blog Math1089 – Mathematics for All. I’m glad you came by. I wanted to let you know I appreciate your spending time here on the blog very much. I do appreciate your…

[karcatgirl-vantas]

system of mathematical notation where concatenation always means multiplication and each prime number has a unique one digit symbol. so counting to ten looks like "2, 3, 22, 5, 23, 7, 222, 33, 25". the advantages of this system would be making multiplication and division trivial, as well as accurately representing the true form and identity of every positive integer according to the fundamental theorem of arithmetic. the disadvantages to this system would be everything

[dorothytheexplorothy]

you've been waiting a while for a new maths update - and it's finally here!

improvements include:

in gender selection screen, added "sumtraction" option

fixed bug where positive divergent sums evaluated to negative numbers

added new 2-dimensional version of off-by-1 errors - off-by-[1,1]

changed the discrete maths server to a PvP zone (note: computer science is still PvNP)

the category theory DLC is now (co)free!

to prevent confusion with function graphs, all voiced lines pronounce "graph theory" with a soft g

fixed "vacuously true" glitch

integrals can now disobey fundamental theorem of calculus when unhappy. they become happy again if fed logarithmic functions

hyperbolic geometry no longer exaggerates as a rhetorical device (note: spherical geometry left the same as before)

rebalanced primes so that 4k+1's and 4k+3's alternate in Thue-Morse pattern. added an uncomputable 4k+2 prime

hot combinatorial games now distribute their temperature according to the laws of thermodynamics; cold games are now superconductive

added demo of "finitist hardcore" gamemode. as of now only two levels are available

subtraction is now associative

recursion is now recursive

added a nontrivial linear, associative, commutative binary operation on the positive reals, over which addition is distributive

exponentiated liner logic, so that additive logic is multiplicative and multiplicative logic is exponential

fixed "negative probability" glitch

redesigned the Tits Building and the Cox-Zucker Machine

fixed trigonometry

increased hitboxes for infinitesimals

added lootboxes

[bubbloquacious]

What mathematical operators would you think make for the best fuck marry kill discussion

FMK: addition, multiplication, exponentiation

FMK: powers, roots, logarithms

FMK: group operation, inversion, unit element

FMK: polynomials, differential operators, continuous maps

FMK: greater than, less than, equal

FMK: one, two, three

FMK: numerator, denominator, quotient

FMK: rings, integral domains, fields

FMK: categories, functors, natural transformations

FMK: reflexivity, transitivity, antisymmetry

FMK: fundamental theorem of algebra, fundamental theorem of calculus, fundamental theorem of arithmetic

FMK: prime numbers, composite numbers, units

FMK: algebraic geometry, algebraic topology, algebraic number theory

FMK: compact Hausdorff spaces, abelian groups, algebraically complete fields

FMK: axiom of choice, well-ordering theorem, Zorn's lemma

[simplydnp]

who's hand is in this picture?

A Mathematically Rigorous Proof That I Spent Too Long Writing

welcome to university math: dnp hand edition

(no, don't leave, you'll be fine i promise)

to begin, we need a statement to prove. we have two options:

- the hand is dan's hand

- the hand is phil's hand

now, for most proofs in university math, you are told a true statement, and you must show why it is true using logic rules, definitions, and theorems. but, we do not know which of these statements are true, so we have to find out.

to prove that a statement is true, we must show that it is always true for the situation presented. to show a statement is false, we must present a single instance where the statement is false (also known as a counter example).

a quick not scary math example:

definition: a prime number is only divisible by 1 and itself.

statement: all prime numbers are odd

(this is false, because 2 is a prime number and it is even. you don't even need to check if there's any others, all you need is one single case where it isn't true to disprove it)

so now that we have a little background on proofs and how to prove and disprove them, we go back to our two statements.

the thing with this situation is, one of them must be true (unless you're gung-ho on someone else holding dan's face while phil takes a picture on his phone of dan in his glasses, in which case, i applaud your commitment, but in actuality this proof will cover that option too)

the full statement we have is: dan is touching his face or phil is touching dan's face

now, because this is Real Life and we have a picture where a hand is touching dan's face, we know already that one of these options is true (as mentioned above) but! using symbolic logic you could also come to this conclusion.

this type of statement is an 'or' statement, and if you're curious, you can look into 'truth-tables' and see why, but at least one of the options must be true.

back to the proof at hand (bah-duhm-tss)

okay. now, proofs also must be 'general' in order to mean anything, really. these are statements of truth of the universe, not just for individuals. so, we will prove this generally.

we have 2 people involved, so individual 1 (dan, the owner of the face and potential face toucher) will be labelled as 'D' , and individual 2 (phil, the possible face toucher who does not own the face) will be labelled as 'P'. thus, this can be true for any such D and any such P.

so with our 'or' statement, in order to prove it, we pick one of the options and say that it is not true, and we have to show then that the other is true.

step 1: let's assume this is not P's hand. (assumption)

step 2: thus, it must be D's hand. (what we take from our assumption)

step 3: now, if it is D's hand, we look at what a hand on one's own face is capable of appearing like. (a definition or true fact about step 2)

the position in the given photo shows the hand with a thumb on the cheek, and a finger on the forehead. so, we find an example of a person with their fingers in the same position (or close to) and see if this supports our claim.

consider:

now, with this image, you can clearly see how the subject's right hand has the thumb on the temple and index finger on the top of their head, however, it is a close enough position for our case.

from the view of the camera, the closest finger to the camera is the edge of the pinkie. in fact, it will always be the closest finger to the camera in this position, assuming the subject has all fingers and no additional appendages.

step 4: we now compare this to our photo (we verify if this holds to our claim or contradicts it)

in our photo, the closest appendage to the camera is the edge of the thumb.

step 5: thus, it cannot be the case that D is touching their own face. (what the evidence says)

step 6: as we assumed it was not P's hand and have shown it cannot be D's hand, and as this is an 'or' statement both of these claims cannot be false, we can therefore conclude it must be P's hand. (our conclusion: re-stating the statement and assumptions and conclusion)

step 7: we verify that P is true (optional step but in beginner proofs you generally show why your case works)

to do this, i will show a picture of a person touching another's face, and compare it to our image.

consider:

now, this image is not exactly the same, similar to above. however, P's left thumb is on the cheek, with their index on D's temple. the closest appendage to the camera (if it were in a similar perspective as our original) would be the edge of the thumb.

comparing it to our original:

our comparison holds.

thus, we can conclude that the true claim in this statement is that P must be touching D's face, which, in particular means that:

phil is touching dan's face in the image

thank you for partaking in phannie mathematics. we now know. i am not sorry.

bonus:

phil has a hitchhikers thumb and dan doesn't so why was this necessary at all 🤡

[positivelyprime]

Merry christmas to all who celebrate!

Among the people celebrating christmas some 400 years ago was Pierre de Fermat, who proved his *christmas theorem* this day!

Fermat's christmas theorem, better known as the two squares theorem, says that a prime number p can be expressed as a sum of two squares, i.e. p = a² + b², if and only if p is 1 mod 4.

Look at this jolly fellow

[rbrooksdesign]

"tDMT-#4," digital, Sept. 2024, Reginald Brooks

The original DMT (Divisor Matrix Table) reveals ALL natural numbers and their divisors.

The truncated DMT -- tDMT -- is based on the original DMT, only filtered to reveal just those ODDs in Column 1 that are the Running Sums (∑) of the Row 1, i.e. 1-3-7-15-31-...

Why? The tDMT reveals ONLY those Rows that are "container" Rows -- i.e. based on the ∑s of the Exponential Power of 2 (seen as the Butterfly Fractal 1 sequence in Row 1 -- and these contain ALL possible Mersenne Prime-Perfect Number (Mp-PN) candidates.

Yes, that's a lot to swallow up front. One is simply taking the DMT and redacting out every Row except those beginning with 1-3-7-15-31-...

Why, again? The tDMT gives a simpler view of the key numbers informing the Mp-PNs!

The Mp-PNs are the rarest gems of the Primes!

Notice the numerical entanglement of the basic Butterfly Fractal 1:

1. The TOP Row -- the BF1 -- increases as the Exponential Power of 2;

2. The PNs only fall under the 2, 4, 8, 16, 64 and 4096 Column headers marked in BOLD;

3. These Column Headers of the BF1 Row equal the "x" value in the PN=xz simplification of the Euclid-Euler Theorem -- PN=2ᵖ⁻¹ (2ᵖ -1), where p=prime, x=2ᵖ⁻¹ , and z=Mp=2ᵖ -1;

4. Column 1 -- ODDs -- follows the same pattern spacing as the BF1 header Row, only it is in the form of the Running Sums (∑) of that BF1;

5. The PNs fall at the intersection of these two Row and Column patterns (BOLD).

Interactive DMT and tDMT for TES (Teachers, Educators and Students) ---here.

[janmisali]

while we're yelling about primes. i have never stopped being mad about 1 not being a prime. i don't understand it and no one has explained it in a way that makes any sense.

oh I know this one!

so, historically, one was considered to be a prime number, though not universally. if wikipedia is to be believed, publications as recent as 1956 included one in lists of primes.

the problem was that there's a lot of really important theorems about primes that are only true if you ignore one. the biggest is a theorem so important that it's literally called "The Fundamental Theorem of Arithmetic", that every integer greater than one has a unique prime factorization. if one is counted as a prime number, this is no longer true (you can multiply any number by one arbitrarily many times and get the same number), so older definitions of the Fundamental Theorem of Arithmetic would refer to "prime numbers greater than one".

and this context of primes as the components of a number's prime factorization is like, The context in which mathematicians care about prime numbers. it is the reason studying prime numbers is even a thing anyone does. so, if one were considered a prime number (as it once was), the word "prime" would basically only ever be used in A) lists of prime numbers and B) the phrase "prime number greater than one".

so, in a sense, you're right, it would make more sense if one were classified as a prime number. but the purpose of the words and symbols used in math is to describe the properties that mathematical objects have, and just in terms of practicality, "an integer which isn't evenly divisible by anything other than one or itself" just isn't as useful of a definition as "an integer which is only divisible by two factors, one and itself".

[prime-factorizer]

what is a prime factor

i like your funny numbers but i dont know what they mean :(

I'm rereading this and I realised I kinda went off the rails but I'm keeping it anyways cause it's kinda related and I find it interesting

First of all, every time I say number, I mean "positive whole number". So, no fractions, negative numbers, complex numbers, etc. So when I say stuff like "you can't divide 8 by 5", I mean without using fractions or decimals

With that out of the way prime number is a number that you can't divide by any other number (besides 1 and itself). 24 isn't prime because you can write it as 6×4. 23 is prime because the only numbers you can multiply to get 23 is 1 and 23. If you want to, try finding a few prime numbers. It can be a fun exercise if you haven't tried it before. I'll list a bunch under the cut at the end if you wanna double check. Not all of them though, since there's an infinite number of them

A prime factor is just a prime number that divides another number. You can divide 24 by 3, and 3 is prime, so 3 is a prime factor of 24

The thing that makes this blog work though is what's known as the fundamental theorem of arithmetic:

Like I said, you can write 24 as 6×4, but you might notice that neither 6 nor 4 are prime, so you can rewrite 6 as 2×3 and 4 as 2×2. If you do that, you can then write 24 as 2×3×2×2. Now all of the numbers are prime!

But you'll notice you can also write 24 as 8×3, then write 8 as 2×4 to get 2×4×3, then write 4 as 2×2 to get 2×2×2×3. Now that all of the numbers are prime, you'll notice that they're the exact same as when we started with 6×4

What the fundamental theorem of arithmetic says is, no matter how you do this process, you'll always end with the same prime numbers at the end (in this case, three 2s and one 3)

The only thing I do differently from this process is use exponents to make it shorter. In this case, you can rewrite 2×2×2 as 2³. So, when I say 24 is 2³×3, I've "factorized" 24, and 2 and 3 are its prime factors. Of course, I don't do this by hand; I just give the number to a computer and it does it for me (it can be fun to do by hand/in your head though)

Prime numbers and the ftoa play a pretty big role in math, and there's a ton of unsolved problems related to them, which is people make a big deal out of them

List of prime numbers and other notes under the cut:

0 and 1 aren't considered prime or composite both because they ruin the ftoa. 0 is divisble by every number, so it's not prime but you can't factorize it. 1 isn't prime because if it was then you could add as many ×1s as you wanted to a factorized number, ruining the uniqueness of its factorization. Because it isn't prime, you can't factorize it, so it isn't composite

Also, this really only applies to whole, positive numbers. There's sometimes ways to make it work in other systems, but if I explained those then I'd have to explain the systems and that seems like too much for one post. Also, I only really know, like, one, maybe 2, examples lol

Some prime numbers: 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 97, 101

[talonabraxas]

Monas Hieroglyphica (The Hieroglyphic Monad)

Written by John Dee and published in Antwerp in 1564, the Monas Hieroglyphica (‘Hieroglyphic Monad’) was conceived in 12 days, a period, so claimed the author, of Divine Revelation. It presents Dee’s unified glyph, the Monad, by way of 24 theorems, each demonstrating a variety of mathematical, geometric, cabalistic, and cosmological principles gleaned from the ancient world. Highly influential, the titular glyph was later adopted into Rosecrutianism by way of the works of Paracelcian alchemist Heinrich Khunrath, with whom Dee was acquainted.

Chiefly a work of alchemy, it is perhaps best understood as a preeminent form of ‘diagrammatic alchemy’. The inception of the Diagram, a visual representation of information to accompany text, goes back to antiquity, but saw great use thanks to the printing technology of the 15th century. Dee took this a step further, with elaborate frontispieces brimming with cryptic symbolism. In theorem 18 he states, "it is not Aesop but Oedipus who prompts me," hinting at the presence of riddles within the text (just as Oedipus was challenged by the Sphinx).

Though still a devout Christian, Dee’s thinking was heavily informed by Pythagorean, Hermetic, and Neo-Platonic traditions which each posited that the universe was comprised of linguistic and numerical laws. Thus the symbols and images of Dee’s Monas were not mere representations of processes, but the manifestation of Truth itself. As such, meditative study of this truth would work the necessary alchemical transformation upon its student.

Given closer inspection, we see the Monad is a composite of other symbols. Indeed, it was designed such that all associated symbols, be they cosmological, alchemical, metallurgical, and chiefly, numerological, could be formulated, along with their governing principles. Together they form the ‘Unit’, or Monad; a key scientific concept of the many-in-one.

At the base we have the double crescent of Aries, the celestial fire of transformation; next the Solar Cross, the four elements, the cardinal directions, the Crucifixion, and the Hermetic mystery of the ‘quaternary in the ternary’, the ‘4 in the 3’. Dee believed in the Holy Trinity, but also that all creation was embodied in the number 4, the Trinity plus One (the One being manifest reality). Though seemingly mystical and arbitrary, the 4 in the 3 was a mathematical principle describing a Platonic solid called the Cuboctahedron, a shape made up of 8 triangles and 4 squares. This structure provides great supporting strength at little cost to weight, and was popularized in the 20th century by American architect Buckminster Fuller in the development of high-rise construction cranes as well as Geodesic Domes such as the one at Epcot, Florida.

Moving up, we have the point and the circle, two basic principles of geometry from which all others follow. Together they become the Sun with the Earth at its centre (a pre-Copernican worldview), over which we have the horned Moon. These horns combine with the circle to present the Earth sign of Taurus, as well as symbolising the alchemical wedding of the Active (Sun) and Passive (Moon). Joined with the circle and cross we find the symbol for Mercury, that the ancient Greeks called Stilbon (the God of the Wandering Star), which they considered the prime planet and metal. All seven classical planets, and the metals of the ancient world, are also revealed.

Considered as a whole, we can view the Monad as the alchemical process, with the transformative, Promethean fire of Aries at the base, and silver (the Moon) and gold (the Sun) at the top, forming the Cornucopian horns of wisdom. It also has an anthropomorphic aspect of a contemplative, kneeling figure. This finds a natural comparison in the spiritual concept of the Kundalini, the upward progression of energy points through the body, from the root through to the Divine light of revelatory experience; as well as in the Buddhist practice of meditation, in which fiery Desire fades with the awakening to our true, wise nature.

Despite Dee’s somewhat tarnished reputation as a magician and necromancer, even his critic, the pious Andrestius Babius, capitulated to recognising the Monad’s importance as a standardising tool that transcended language; a true, universal, scientific notation. That it so keenly marries Science with Spiritual wisdom presents an opportunity of revelatory understanding for those who would still take the time to study it.

[aedesluminis]

26 for the ask game （╹◡╹）

26. Forgotten hero everyone should know about

This could have been a perfect occasion to talk about Claude-Antoine Prieur again, but given that I plan to devote him many future posts on my blog, I thought it would have been more appropriate to use this ask to share my knowledge about an important and unfortunately still rather unknown STEM personality, who truly inspired me when I was a young student. I'm referring to Sophie Germain.

Born in Paris in 1776, Sophie was one of the rare mathematiciennes of the 18th-19th century. She had her first approach with mathematics during the days of the storming of the Bastille, when it was too dangerous for a young 13 years old girl to go outside. To pass the time, she turned to her father's library and a book named "Histoire des mathématiques" by Jean-Étienne Montucla captured her interest. The story of Archimedes narrated in the book fascinated her deeply, eventually leading her to start studying mathematics on her own through the works by famous mathematicians like Euler, Newton, Cousin. Her interest and dedication to the discipline was so strong, that during winter, when her parents denied her warm clothes and a fire in her bedroom to prevent her from studying she kept doing it anyway despite the cold; at the time maths wasn't considered appropriate as a studying discipline for a woman.

When the Polytechnic school opened in 1794, women couldn't attend, but the policy of the school allowed to everyone, who asked for them, notes of the lectures. She requested them under the pseudonym of Antoine-Auguste Le Blanc, a former student who had dropped out. Given that, as a student of the Polytechnic school, one was expected to send written observations about the lectures - a sort of homework - Germain wrote and sent hers to Joseph-Louis Lagrange, one of the teachers and renowned mathematician. The latter was so positively impressed by her essays that requested a meeting with the brilliant student LeBlanc, who unexpectedly had improved so much. She was then forced to reveal her identity. Lagrange was pleasantly surprised to realize Monsieur Le Blanc was in reality a young and talented woman and decided to support her, becoming her mentor.

One of her most noteworthy contribution to mathematics was in number theory, where she proved a special case of the so-called Last Fermat's Theorem (1), which has remained one of the hardest mathematical theorems to prove for more than three centuries and whose final proof was actually found only in 1994 by Andrew Wiles. Other important works of hers include treatises on elastic surfaces, one of which, Recherches sur la théorie des surfaces élastiques, awarded her a prize from the Paris Academy of Science in 1816.

Although she often faced prejudice for being a woman, Germain was praised and also supported by various well-known mathematicians of the time. Some of them include the aforementioned Lagrange, Legendre, who thanks to her work on the Fermat's theorem, was able to prove it for another special case; Cousin himself, Fourier, who managed to grant her the permission to follow the sittings held at the Paris Academy of science and last, but obviously not least, the great Gauss, who after Germain's death advocated for giving her an honorary degree in mathematics.

Notes

(1) In short, the Last Fermat's Theorem asserts that for n > 2 there are no integer solutions to the following equation:

with a, b, c being positive integers. Sophie Germain proved the theorem for all numbers n equal to a prime p, so that 2p + 1 is also prime. The whole thing is much more complex that how I explained it, my aim was to write down a simple intoduction. If you want to read more about that I recommend you this link.

[worlds-smallest-epsilon]

oh youre a math phd? Name 5 equations

1. The functional equation for the completed L-function associated with a modular form.

2. The Analytic Class Number Formula

3. 196883 + 1 = 196884

4. Chinese Remainder Theorem (gives an “equality” of rings)

5. Prime Number Theorem (gives an asymptotic equality of two functions)

(Can you tell what kind of mathematician I am from this? I feel like it’s pretty obvious lmao)

[a-lesson-you-never-asked-for]

Prime Numbers

A prime number is a number such that it has no factors except 1 and itself. These are often regarded as the building blocks of numbers, and are incredibly important from both:

a theoretical point of view, where problems such as the Riemann Hypothesis and Twin Prime conjecture revolve around the structure of primes

the application standpoint in music theory (Queen's famous song We Will Rock You has a beat that relies on prime numbers), and more relevantly, cryptography.

How do we get prime numbers

To say that a number x is a factor of another number y means that you can split y into equal groups, each group containing x things. So for example, if you wanted to divide 91 watermelons amongst your 13 friends, you can give them each 7 watermelons and everyone gets happy.

Another way of writing this is that 10 is a multiple of 2, or that 10 is divisible by 2.

With primes, you can't do this except by dividing them into groups of 1. For example, 2 is prime because you can only divide it into 2 equally sized groups. You can only divide 11 into 11 equally sized groups.

As a result, prime numbers have some very interesting properties, some of which are unknown. One very easy way to calculate them is by using the Sieve of Eratosthenes. The idea is that you start at 2 and remove every multiple of 2 except itself. So block out 4, 6, 8, 10, 12, and so on. Then you move onto the next unblocked number, which is 3. You go ahead and do the same, remove 6, 9, 12, 15, and so on. Notice that in the next step, 4 is blocked, so we go to 5, and block out 10, 15, 20, and so on. This process is very slow but it's certain. It tells you what the primes are with absolute certainty. Here's a picture to illustrate the idea. This excludes all the even numbers.

The atoms of natural numbers

Primes are regarded as the building blocks of numbers. This is due to the following theorem.

--------------

Fundamental Theorem of Arithmetic

Any integer n can be decomposed uniquely in products of powers of primes.

Examples

--------------

10 = 2 × 5

15 = 3 × 5

24 = 2³ × 3

There are many important theorems that come about due to primes, and almost all of them have to do with a topic called modular arithmetic.

Where to from here...

This is probably the extent to which you need to know about primes. Most of the ideas used will be introduced, as mentioned before, on an ad hoc basis. We will focus more on the code building aspects in our next parts, talking about binary and ISBN codes, before moving onto some more complicated examples of encrypting information.

[max1461]

So... ok, it's been a long time since I've thought about this, so forgive me if I get any details wrong. The natural numbers under addition are the free commutative monoid on one generator. And the fundamental theorem of arithmetic says that every natural can be represented uniquely as a product of primes. In other words: let M be the monoid of infinite sequences of naturals with finite support, under componentwise addition; then there is an isomorphism of monoids from M to (N, ×) given by (a_i)_{i \in N} ⟼ ∏_{i \in N}p(i)^{a_i}, where p(i) is the ith prime. Uh. Basically just take your sequence of naturals and interpret them as powers in a prime factorization. Anyway this is an isomorphism so M ≃ (N, ×). Well guess what: M is another way of describing the free commutative monoid on countably infinitely many generators. So the fundemental theorem of arithmetic is basically saying "ok, if you take the free commutative monoid on one generator and define a new operation on the same set that is comparable with it in this specific way, you get the free monoid on infinite generators".

This is kind of slick, I think. I mean free objects are sort of... right at the edge between combinatorics and algebra, right? And so are the natural numbers. It's like algebra is an emergent property of combinatorics, or is a the generalized form of one. And these things all sit right on the boundary. So it's unsurprising they'd be closely related. But it also says something about the naturals, you know... the axioms of a commutative monoid are sort of "all there is to know" about N. If you're like "make me a monoid!" it's canonically gotta be free, right? And then how many generators will you pick? Well two really natural answers are "1" and "countably infinite"—and those are both alternate ways of specifying N.

I don't know.

[lipshits-continuous]

Prime numbers of the ask game let's go!

This is gonna be a long old post haha /pos

2. What math classes did you do best in?:

It's joint between Analysis in Many Variables (literally just Multivariable calculus, I don't know why they gave it a fancy name) and Complex Analysis. Both of which I got 90% in :))

3. What math classes did you like the most?

Out of the ones I've completely finished: complex analysis

Including the ones I'm taking at the moment:

Topology

5. Are there areas of math that you enjoy? What are they?

Yes! They are Topology and Analysis. Analysis was my favourite for a while but topology is even better! (I still like analysis just as much though, topology is just more). I also really like group theory and linear algebra

7. What do you like about math?

The abstractness is really nice. Like I adore how abstract things can be (which is why I really like topology, especially now we're moving onto the algebraic topology stuff). What's better is when the abstract stuff behaves in a satisfying way. Like the definition of homotopy just behaves so nicely with everything (so far) for example.

11. Tell me a funny math story.

A short one but I am not the best at arithmetic at times. During secondary school we had to do these tests every so often that tested out arithmetic and other common maths skills and during one I confidently wrote 8·3=18. I guess it's not all that funny but ¯⁠\⁠_⁠(⁠ツ⁠)⁠_⁠/⁠¯

13. Do you have any stories of Mathematical failure you’d like to share?

I guess the competition I recently took part in counts as a failure? It's supposed to be a similar difficulty to the Putnam and I'm not great at competition maths anyway. I got 1/60 so pretty bad. But it was still interesting to do and I think I'll try it again next year so not wholly a failure I think

17. Are there any great female Mathematicians (living or dead) you would give a shout-out to?

Emmy Noether is an obvious one but I don't you could understate how cool she is. I won't name my lecturers cause I don't want to be doxxed but I have a few who are really cool! One of them gave a cool talk about spectral geometry the other week!

19. How did you solve it?

A bit vague? Usually I try messing around with things that might work until one of them does work

23. Will P=NP? Why or why not?

Honestly I'm not really that well versed in this problem but from what I understand I sure hope not.

29. You’re at the club and Grigori Perlman brushes his gorgeous locks of hair to the side and then proves your girl’s conjecture. WYD?

✨polyamory✨

31. Can you share a math pickup line?

Are you a subset of a vector space of the form x+V? Because you're affine plane

37. Have you ever used math in a novel or entertaining way?

Hmm not that I can think of /lh

41. Which is better named? The Chicken McNugget theorem? Or the Hairy Ball theorem?

Hairy Ball Theorem

43. Did you ever fail a math class?

Not so far

47. Just how big is a big number?

At least 3 I'd say

53. Do you collect anything that is math-related?

Textbooks! I probably have between 20 and 30 at the moment! 5 of which are about topology :3

59. Can you reccomend any online resources for math?

The bright side of mathematics is a great YouTube channel! There is a lot of variety in material and the videos aren't too long so are a great way to get exposed to new topics

61. Does 6 really *deserve* to be called a perfect number? What the h*ck did it ever do?

I think it needs to apologise to 7 for mistakingly accusing it of eating 9

67. Do you have any math tatoos?

I don't have any tattoos at all /lh

71. 👀

A monad is a monoid in the category of endofunctors

73. Can you program? What languages do you know?

I used to be decent at using Java but I've not done for years so I'm very rusty. I also know very basic python

Thanks for the ask!!

[positivelyprime]

My favourite fucked up math fact™ is the Sharkovskii theorem:

For any continuous function f: [a,b] -> [a,b], if there exists a periodic point of order 3 (i.e. f(f(f(x))) = x for some x in [a,b] and not f(x) = x or f²(x) = x), then there exists a periodic point of ANY order n.¹

Yes you read that right. If you can find a point of order 3 then you can be sure that there is a point of order 4, 5, or even 142857 in your interval. The assumption is so innocent but I cannot understate how ridiculous the result is.²

For a (relatively) self-contained proof, see this document (this downloads a pdf).

(footnotes under read more)

¹ The interval does not have to be closed, but it should be connected. (a,b), (a,b] and [a,b) all work.

² Technically the result is even stronger! The natural numbers admit a certain ordering called the Sharkovskii ordering which starts with the odd primes numbers 3 > 5 > 7 > ... , then doubles of primes odds, then quadruples of primes odds and so forth until you get no more primes odds, left, ending the ordering in 2³ > 2² > 2. Sharkovskii's theorem actually says that if you have a periodic point of order k, then you have periodic points of any order less than k in the Sharkovskii ordering.

Edit: corrected footnote 2