« first day (3386 days earlier)      last day (13 days later) » 

3:18 AM
5
Q: Situation with Artemov's paper?

Mikhail KatzArtemov's paper on Goedel's theorem has been on the arxiv since 2019. There was a (less than fully friendly) discussion of this on FoM. At stackexchange, I found only a brief mention at this MSE post. Artemov's paper has apparently not yet been published in a refereed venue (which could lead t...

 
 
8 hours later…
11:42 AM
3
Q: Independence number of configuration graph (consisting of all (2k-1)!! ways to partition {1,2,...,2k} into k pairs)

atenaoLet $k$ be a nonnegative integer. A configuration on $2k$ labeled points is simply a partition of the points into $k$ pairs, so for any set of $2k$ labeled points, there are $(2k-1)!!$ configurations. We construct the configuration graph $G_k$, by saying that two configurations $A$ and $B$ are ad...

 
 
3 hours later…
2:24 PM
4
Q: Does PA prove (Artemov-style) the consistency of a stronger system?

aboThere was a recent question on Artemov's paper here on MO Situation with Artemov's paper? Apparently the main mathematical claim of the paper is (where PA is 1st-order Peano Arithmetic): for each $n$, PA proves the statement “$n$ does not code a proof of $\bot$ in PA” (which we abbreviate as “$\...

 
 
1 hour later…
3:24 PM
6
Q: Unexpected Output from Bit Shifting using len on a string vs. string subslice

grzhanI have a Go program that performs bit shifting and division operations on the length of a string constant, but the output is not what I expect. Here's the code: package main import "fmt" const s = "123456789" // len(s) == 9 // len(s) is a constant expression, // whereas len(s[:]) is not. var a...

 
4:12 PM
0
Q: how to Retrieve Data from a Data Mining Model to display it via SSRS report?

user11665472I need to display prediction graphs using SSRS to make this accessible to some users who need it. To do this, here are the steps successfully completed using VS community 2019: 1- I created a multidimensional and SSAS analysis project 2- I added a data source, a data source view, a cube, a dimens...

 
 
1 hour later…
5:42 PM
0
Q: Why listen() (before accept() is called) is enough for an application to complete a 3 way handshake?

Average IdiotI am debugging a very basic tcp server in C at Linux. I stopped the execution right before the line where accept() is called. To my suprise, when the client sends a SYN, tcpdump shows that the server responds with a SYN-ACK (which is readily replied with a final ACK from the client). The ss comma...

 
6:27 PM
4
Q: Geometry in Complex Numbers involving incentre

Tanish AgarwalQ: Complex numbers $z_1$, $z_2$, $z_3$ are represented by the points of contact $D$, $E$, $F$ of the in-circle of a triangle $ABC$, with centre $O$ of the incircle taken as the origin. If $BO$ meets $DE$ at $G$, find the complex number represented by $G$? Options: I $\qquad\displaystyle\frac{(z_...

 
 
2 hours later…
8:12 PM
7
Q: Run function at end of pipe

lucianoThis code makes a sentence from two different columns in a data frame library(dplyr); library(tibble); library(magrittr) mtcars %>% rownames_to_column(var = "car") %>% sample_n(5) -> df paste0(df$car, " (", df$mpg, ")", collapse = ", ") # "Mazda RX4 Wag (21), Hornet Sportabout (18.7), ...

 
 
2 hours later…
10:42 PM
3
Q: Group Completion of a monoid (Braid groups)

MayLet $B_n$ be the braid group on $n$ strands, $B_{\infty}$ the direct limit of braid groups. For a discrete group $G$, we let $BG$ to be the classifying space of $G$. After reading this question, I was curious about the following : Why is the group completion of $\coprod_{k \geq 0} BB_{k}$ homotop...

 

« first day (3386 days earlier)      last day (13 days later) »