Tumgik
model-theory · 3 days
Text
Tumblr media
My latest cartoon for New Scientist
7K notes · View notes
model-theory · 7 days
Text
"I was told that generators in the braid group were their own inverse," I said, double-crossed.
395 notes · View notes
model-theory · 9 days
Text
Interestingly the basic assumption of "if I take option A then I will amass $10,000,000 in 10,000 days ≈ 27 years" doesn't quite work.
Assuming a constant rate of inflation of 2% pa, to match today's 10 million dollars in 27 years you would need to have acquired 17 million dollars, whereas accounting for inflation you will have made only around 13 million dollars.
Following through on the calculations you will only catch up with the one-time payment of 10 million dollars in 39 years.
(These calculations are making a lot of assumptions, such as investing cash at a rate pegged to inflation, inflation being a constant 2%, etc. In reality this is an exercise in fun with numbers.)
Explain your reasoning plzzz
27K notes · View notes
model-theory · 14 days
Text
A lecturer at my university taught a class on metric spaces and the only example that he gave throughout the entire course was ⟨∅,∅⟩
The empty function is smooth. The empty function is meromorphic...
105 notes · View notes
model-theory · 18 days
Text
The double | notation...
Tumblr media
9K notes · View notes
model-theory · 21 days
Text
Tumblr media
694 notes · View notes
model-theory · 26 days
Text
Tumblr media
54K notes · View notes
model-theory · 27 days
Text
Tumblr media
There he is. There’s my boy!!!
152 notes · View notes
model-theory · 1 month
Text
Tumblr media
Guide For The Geological Time Periods In Order
9K notes · View notes
model-theory · 1 month
Text
Tumblr media
30K notes · View notes
model-theory · 1 month
Text
Three households, all without utilities
Upon a torus where we lay our scene
245 notes · View notes
model-theory · 1 month
Text
you can't spell QED without RAT DEMON
Tumblr media
1K notes · View notes
model-theory · 1 month
Text
Happy pi day to the greatest video of all time
8K notes · View notes
model-theory · 1 month
Text
I was far too sleepy to look for it yesterday but I have done so now: This is known as Craig's Theorem.
Tumblr media
A type of mathematical reasoning that is obviously deductively valid, but which for reasons inscrutable to me I never quite trust, is when you want to prove something about the members of a set X, so you construct a superset Y of X and then prove that the proposition holds for members of Y. This is the most unobjectionable thing in the world but at some level it feels like bullshit to me. It just feels like bullshit. Note that it feels totally fine if you had Y to start with and merely passed down to a subset X.
But like. Sometimes you prove some shit about the integer solutions to a polynomial by passing to the rational numbers or the complex numbers or whatever, and clearly this works but I hate it. It's like, at some level I feel that the complex numbers "don't exist" in the integers-worlds, and so they shouldn't be able to say anything about them. Structural set theory ass intuition.
229 notes · View notes
model-theory · 1 month
Text
This is a technique that I like to call 'proof by cheating'. My favourite example is the proof that any reursively enumerable theory has an equivalent recursive theory.
A type of mathematical reasoning that is obviously deductively valid, but which for reasons inscrutable to me I never quite trust, is when you want to prove something about the members of a set X, so you construct a superset Y of X and then prove that the proposition holds for members of Y. This is the most unobjectionable thing in the world but at some level it feels like bullshit to me. It just feels like bullshit. Note that it feels totally fine if you had Y to start with and merely passed down to a subset X.
But like. Sometimes you prove some shit about the integer solutions to a polynomial by passing to the rational numbers or the complex numbers or whatever, and clearly this works but I hate it. It's like, at some level I feel that the complex numbers "don't exist" in the integers-worlds, and so they shouldn't be able to say anything about them. Structural set theory ass intuition.
229 notes · View notes
model-theory · 1 month
Text
Tumblr media
Highly specific LaTeX posting
836 notes · View notes
model-theory · 2 months
Note
Some neural nets trained to try and help with the classification of rank of an elliptic curve problem. Called murmurations because it looks like bird flight patterns.
Tumblr media
Were you involved in the murmurations stuff at all? I heard a talk about it today and, coincidentally, some of your posts have just shown up on my dash.
Murmurations as in large bird flock flight patterns? Or is that someone's handle, or?
This is the first I'm hearing of it so I don't think so.
7 notes · View notes