« first day (3226 days earlier)      last day (67 days later) » 

5:38 PM
0
Q: Why is the possibility relation $\mathcal K_i$ an equivalence relation on $S$?

epsilon-emperorI have just begun reading about Epistemic Logic from Reasoning About Knowledge, Fagin et. al. $\mathcal K_i$ is defined as the possibility relation between two worlds, and the author says that for the most part - one would want $\mathcal K_i$ to be an equivalence relation. I do not understand the...

0
Q: Inductive proof for the Muddy Children Puzzle

epsilon-emperor Imagine $n$ children playing together. The mother of these children has told them that if they get dirty there will be severe consequences. So, of course, each child wants to keep clean, but each would love to see the others get dirty. Now it happens during their play that some of the children, ...

0
Q: Can an agent know false information in Epistemic Logic?

epsilon-emperorI've been reading Epistemic Logic from Fagin et. Al's Reasoning about Knowledge, and I came across the following discussion: $\varphi \implies K_i\varphi$ is not valid. $\varphi \implies K_i\varphi$ says that if $\varphi$ is true then agent $i$ knows $\varphi$. An agent does not necessarily know...

Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics. While philosophers since Aristotle have discussed modal logic, and Medieval philosophers such as Avicenna, Ockham, and Duns Scotus developed many of their observations, it was C. I. Lewis who created the first symbolic an...
 
 
1 hour later…
6:47 PM
In mathematics, Catalan's constant G, which appears in combinatorics, is defined by G = β ( 2 ) = ∑ n = 0 ∞ ( − 1 ) n ( 2 n + 1...
0
Q: Sum of infinite series - Catalan constant

T. BöhmWhy is this identity true? $$\sum_{k=1}^{\infty} \frac{\sin(k\pi/2)}{k^2} = G$$ where $G$ is Catalan's constant.

7
Q: Beautiful monster: Catalan's constant and the Digamma function

vitamin dThe problem I have been trying for a while now to show that this monster $$\begin{align} &\int_0^{\pi/4}\tan(x)\sum_{n=1}^{\infty}(-1)^{n-1}\left(\psi\left(\frac{n}{2}\right)-\psi\left(\frac{n+1}{2}\right)+\frac{1}{n}\right)\sin(2nx)\,\mathrm{d}x \\ +&\int_0^{\pi/4}\cot(x)\sum_{n=1}^{\infty}\left...

10
Q: Prove $ \int_{5\pi/36}^{7\pi/36} \ln (\cot t )dt +\int_{\pi/36}^{3\pi/36} \ln (\cot t )dt = \frac49G $

QuantoI have the conjecture for the integral $$ \int_{\frac{5\pi}{36}}^{\frac{7\pi}{36}} \ln (\cot t )\>dt +\int_{\frac{\pi}{36}}^{\frac{3\pi}{36}} \ln (\cot t )\>dt = \frac49G $$ where $G$ is the Catalan constant, following some heuristic effort. But, I am unable to derive it formally despite having t...

7
Q: Why is Catalan's constant $G$ important?

HobbyistI am aware that Catalan's constant appears in the evaluation of many definite integrals, as well as in the evaluation of certain infinite series, and is a special value of a function closely related to the Riemann zeta function, and so on. But is there a way in which we might think of this const...

4
Q: Formulae for Catalan's constant.

FDPSome years ago, someone had shown me the formula (1). I have searched for its origin and for a proof. I wasn't able to get true origin of this formula but I was able to find out an elementary proof for it. Since then, I'm interested in different approaches to find more formulae as (1). What oth...

 

« first day (3226 days earlier)      last day (67 days later) »