« first day (2211 days earlier)      last day (1177 days later) » 

1:55 AM
3
Q: Are generic filters that produce the same forcing extension related by a ground-model automorphism?

Hannes JakobSuppose $M$ is a countable transitive model of some fragment of $\mathbf{ZFC}$, $\mathbb{P}\in M$ is a forcing notion and $G, H$ are $\mathbb{P}$-generic such that $M[G]=M[H]$. Does it then follow that there is some automorphism $\pi:\mathbb{P}\longrightarrow\mathbb{P}$ such that $\pi\in M$ and $...

 
2:43 AM
2
Q: How can a computer deal with real numbers

RobertComputers are an exceptionally powerful tool for various computations, but they don't excelate at storing decimal numbers. However, people managed to overcome these issues: not storing the number in a decimal format, which is limited to very few decimal places, but as an integer instead, while ke...

 
 
1 hour later…
3:43 AM
4
Q: How can we prove that Gaussian integers are algebraic integers?

Ahmed OmariI heard in a lecture that every gaussian integer is in fact a root of a monic 2nd degree polynomial, it has been a day now and I can't figure this out.

 
 
2 hours later…
5:13 AM
23
Q: How to write a good MathSciNet review?

Jakub KoniecznyWhen reviewing for MathSciNet, I routinely find myself just paraphrasing and abbreviating the introduction provided by the author, and occasionally adding a few words about the quality of the research or the cleverness of the argument (which the authors themselves would not be able to write for o...

 
 
3 hours later…
8:25 AM
6
Q: Java final fields: is "taint" behavior possible with the current JLS

jyoxbffzI'm currently trying to understand this JLS section on final fields. To understand the text in the JLS better I'm also reading The Java Memory Model by Jeremy Manson (one of creators of the JMM). The paper contains the example that got me interested: if an object o with final fields is made visib...

 
 
4 hours later…
12:25 PM
2
Q: Inverse function of RSA and safe prime requirement of DH Key exchange

Adeel MalikOk so the inverse function of RSA encryption (that is decryption) is $ m \gets c^{d}\bmod N$ where $d$ is the secret exponent As I understand the hardness of RSA depends on two things: the Integer factorization problem and the discrete logarithm problem. While studying DH Key Exchange, it is a re...

 
 
3 hours later…
3:43 PM
3
Q: How to find the 2021st integer co-prime to 15

AnushI recently saw a puzzle where you were to find the 2021st positive integer co-prime to 15 (it was phrased in terms of a game but this is the mathematical core). I wrote code to find the answer but can’t see how you would have done it by hand. What is the trick?

 
 
2 hours later…
6:01 PM
9
Q: Get the length of a Sumac Sequence

RazetimeHeavily based on this closed challenge. Codidact post, Sandbox Description A Sumac sequence starts with two non-zero integers \$t_1\$ and \$t_2.\$ The next term, \$t_3 = t_1 - t_2\$ More generally, \$t_n = t_{n-2} - t_{n-1}\$ The sequence ends when \$t_n ≤ 0\$. All values in the sequence must be...

 

« first day (2211 days earlier)      last day (1177 days later) »