Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @downwardsLST
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @downwardsLST
-
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
And no, "that's because 7 is the first integer that's greater or equal to 1 plus two times the ceiling of its square root" is not a proof of the statement, it's only the reason why the number is not arbitrary and it shows up in the proof.
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Ok take a look at this nice s e v e n over here But seriously, that's because 7 is the first integer that's greater or equal to 1 plus two times the ceiling of its square root.pic.twitter.com/G7enD3TBiN
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A classic example of something that is provable in ZF but not in PA is the strengthened finite Ramsey theorem, a combinatorial principle. The fact above is the Paris-Harrington theorem and, of course, here goes its page on Wikipedia: https://en.wikipedia.org/wiki/Paris–Harrington_theorem …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
First order PA (Peano axioms) is the same thing as ZFfin (ZF but instead of the axiom of infinity, we have its negation). This is the sense that there are invertible functions mapping formulas from one language to another that "preserve truth".
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
elementary submodel proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
I wanted to make a tweet like "one of these is not a forcing" but the only neat name I recall for that is "amoeba forcing". Please reply if you know any funny forcing names, specially if they give something cool.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
elementary submodel proslijedio/la je Tweet
ANNOUNCEMENT: I have founded the Journal of Mathematical Superiority. The editorial board is all Fields-medalists. Since we all know that a low acceptance rate is a sign that a journal is GOOD, JMS will be REJECTING ALL SUBMISSIONS, making it the best journal of all.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
elementary submodel proslijedio/la je Tweet
Is there a subset of the plane that is connected, but upon the removal of a (specific) point it becomes totally disconnected (any two points can be separated by a disjoint opens)? Of course, it should contain more than a single point. What does your intuition say?
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
elementary submodel proslijedio/la je Tweet
Since this thread is going to make for depressing reading, I would like to counter it with the opposite experience. Namely, mine. 1/https://twitter.com/CA_AstroComm/status/1217889918116081665 …
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
elementary submodel proslijedio/la je Tweet
If you take any real number and repeatedly applying the cosine to it, the result always converges to the same constant (0.73908...). This problem shows that the convergence is fast enough that the differences add up to some differentiable function.
#calculus#Mathpic.twitter.com/8scsuWldTV
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Never have I been to a Mathematics event where the people were half as well dressed as these guys. Is being casual in conferences a brazilian thing?https://twitter.com/Am2an7da9/status/1218340537968754688 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
I have just hit 200 followers and I said there would be a reveal. As I've also sheaved my beard, it might as well be a face reveal Oops, shaved*
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
A little health tip for your battery: - Do not keep your phone plugged in when it reaches 100%, so avoid charging overnight. - Actually, letting the battery reach 0% and fully charging it is not good. - Reduce your phone usage when it's charging. Source: https://bit.ly/2sUbw8D
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
The ultraproduct satisfies a sentence if a big amount of models satisfy it (if the set of models that satisfies it belongs to the ultrafilter) The construction, well, I may write about it some other time. (10/10)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
But we do! We call them ultraproducts: we start with a set of models K and an ultrafilter over it. Then, we build the ultraproduct of the models from K over the ultrafilter. Satisfaction in the ultraproduct will be as follows: (9/10)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
So now we have an ultrafilter over T. For each sentence of T, there's an element of the ultrafilter that contains it. If we had a way to build a model such that its satisfaction is defined by "a big number of subsets of T has this formula in it", we would prove compactness!(8/10)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Any family with the finite intersection property may be extended to an ultrafilter: Given a set X, an ultrafilter over X is a collection of "big" subsets from X. Every subset that is not big is small, and the complement of a small subset is big (and vice-versa) (7/10)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
That's because the intersection between PHI and PSI (phi and psi are sentences from T) is actually the set "PHI AND PSI", because a model for "phi and psi" satisfies both "phi" and "psi". This is called the "finite intersection property" (6/10)
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.