I still have doubts about the subject. I need help.  Are there really open axioms?  I do not think so. What exists, in fact, I think, are seemingly open axioms, with some implicit quantifier.  For example, when it is stated that x = x is an equality axiom, it seems to me that the following statement is implicit: for every x, x = x.  Am I right?
I have a doubt. I need help.  Can the basic axioms of equality be presented as "open axioms"?  I) (reflexivity) $\qquad x = x$              II)  (Substitutivity) $\qquad (x = y) \to \big(F (x, x) \to F (x, y)\big)$
What can I do with .chk files in FOUND.000 folders? Just discovered I have gotten a FOUND.000 folder on my usb drive. I guess from running chkdsk once. It has three files in it:   FILE0000.CHK FILE0001.CHK FILE0002.CHK   What exactly can I do with these files? What are my options? Are they lost files? Are they garbage? Can I use them for anything at all? Or will I just have to delete them? formal proof from calulus Given $f:R \to R$, $f$ is differentiable on $R$ and $\lim_{x \to \infty}(f(x)-f(-x))=0$. I need to show that there is $x_0 \in R$ such that $f'(x_0)=0$  I am trying to prove it by contradiction .... so i assume there is no $x_0 \in R$ such that  $f'(x_0)=0$ this means this function is strictly monotonic because the derivative "respects" the mean value theorem so it cannot be negative and positive without passing a zero value ....  (from what i understand the derivative function of a continuous/differentiable functions isn't necessarily continuous but it still respect the mean value theorem i think it's called darboux's theorem )  now from $\lim_{x \to \infty}(f(x)-f(-x))=0$ ,we get $\lim_{x \to \infty}f(x)=\lim_{x \to \infty}f(-x)$  now the last step is the contradiction its very intuitive and even maybe obvious that we can't get $\lim_{x \to \infty}f(x)=\lim_{x \to \infty}f(-x)$ for strictly monotonic function but i cant think of a formal way to prove it . How to treat English questions which have code in a foreign language? How assign shortcut to custom function? proving that $f(x) = x^s$ is holder continuous with holder exponent s If I have multiple objects selected can I use scaling to make the objects closer together (without rescaling the objects)? Where is the operator panel in Blender 2.8? Collapsing a stream of multiple lines into one line I have a file containing a a large number of lines, each of which contains a bunch of numbers which are separated by spaces. I process this data in a pipe in some way, and then I want to collapse the multiple lines into a single line of all the numbers separated by spaces.  Is there a standard command-line utility I can use to do this? It seems like most line-by-line utilities won't mess with the newlines... How can I determine if a used game is pirated? Combining jquery functions - on() hover/mouseenter/mouseleave Do we use abstract algebra in real life? Do we use abstract algebra in real life?   Is there any application of abstract algebra in real life? How to set HttpResponse timeout for Android in Java I have created the following function for checking the connection status:  private void checkConnectionStatus() {     HttpClient httpClient = new DefaultHttpClient();      try {       String url = "http://xxx.xxx.xxx.xxx:8000/GaitLink/"                    + strSessionString + "/ConnectionStatus";       Log.d("phobos", "performing get " + url);       HttpGet method = new HttpGet(new URI(url));       HttpResponse response = httpClient.execute(method);        if (response != null) {         String result = getResponse(response.getEntity());         ...   When I shut down the server for testing the execution waits a long time at line  HttpResponse response = httpClient.execute(method);   Does anyone know how to set the timeout in order to avoid waiting too long?  Thanks! Can't execute a MySQL stored procedure from Java This community wiki explains the current restrictions by the United States of America on the entry of individuals who may pose a risk of transmission of the SARS-Cov2, the virus which causes the Covid-19 disease. How do I watch a file for changes? I have a log file being written by another process which I want to watch for changes. Each time a change occurs I'd like to read the new data in to do some processing on it.  What's the best way to do this? I was hoping there'd be some sort of hook from the PyWin32 library. I've found the win32file.FindNextChangeNotification function but have no idea how to ask it to watch a specific file.  If anyone's done anything like this I'd be really grateful to hear how...  [Edit] I should have mentioned that I was after a solution that doesn't require polling.  [Edit] Curses! It seems this doesn't work over a mapped network drive. I'm guessing windows doesn't 'hear' any updates to the file the way it does on a local disk. How to prove that any (integer)$^{1/n}$ that isn't an integer, is irrational? Is my proof beneath perfect and complete?  I wanted to prove that for any nth root of an integer, if it's not an integer, than it's irrational: $$\begin{cases} m,n\in \mathbb{N}\\\sqrt[n]{m}\notin \mathbb{N} \end{cases}\implies \sqrt[n]{m}\notin \mathbb{Q}.$$  I start by assuming that $m^{\frac 1n}$ is rational and non-integer. So there exist  co-prime integers $a,b$ so that $$\sqrt[n]{m}=\frac{a}{b}$$ $$\implies  m=\frac{a^n}{b^n}\in\mathbb{N}.$$ But since $a$ and $b$ have no common factor, $a^n$ and $b^n$ also have no common factor. So: $$\frac{a^n}{b^n}\notin\mathbb{N},$$ a contradiction. So when we view reputation, there is graph view. However, it seems to be off by a day. Here's what I mean:   I'm sure 70 + 20 + 15 is not 15. Its 105, which is what we see below:   And 40 + 10 is NOT 105, unless you did  :)     Anyways 40 + 10 is 50:   So yeah. Did you do what that post on codegolf says? Devs better fix that :) How can I check if share certificates I found have value? I have been clearing my parents flat and found share certificates from    P and O  European Ferries   Can I find out if they are still valid? If not, is there a market for them as collectibles or the like? How FluentWait is different from WebDriverWait? How is the FluentWait is different from WebDriverWait? I am using WebDriverWait having the polling interval set to : 500 miliseconds. Still, WebDriverWait returns after some delay (i.e. 2 - 3 seconds after the element load is completed)? Any opinion here? Say I have some historical data e.g., past stock prices, airline ticket price fluctuations, past financial data of the company...  Now someone (or some formula) comes along and says "let's take/use the log of the distribution" and here's where I go WHY?  Questions:   WHY should one take the log of the distribution in the first place? WHAT does the log of the distribution 'give/simplify' that the original distribution couldn't/didn't? Is the log transformation 'lossless'? I.e., when transforming to log-space and analyzing the data, do the same conclusions hold for the original distribution? How come? And lastly WHEN to take the log of the distribution? Under what conditions does one decide to do this?   I've really wanted to understand log-based distributions (for example lognormal) but I never understood the when/why aspects - i.e., the log of the distribution is a normal distribution, so what? What does that even tell and me and why bother? Hence the question!  UPDATE: As per @whuber's comment I looked at the posts and for some reason I do understand the use of log transforms and their application in linear regression, since you can draw a relation between the independent variable and the log of the dependent variable. However, my question is generic in the sense of analyzing the distribution itself - there is no relation per se that I can conclude to help understand the reason of taking logs to analyze a distribution. I hope I'm making sense :-/  In regression analysis you do have constraints on the type/fit/distribution of the data and you can transform it and define a relation between the independent and (not transformed) dependent variable. But when/why would one do that for a distribution in isolation where constraints of type/fit/distribution are not necessarily applicable in a framework (like regression). I hope the clarification makes things more clear than confusing :)  This question deserves a clear answer as to "WHY and WHEN"