« first day (2626 days earlier)      last day (23 days later) » 

3:11 PM
A new tag was created - although I am not sure who created it. (The only question with this tag is by a user with low reputation.
-4
Q: Proof of Wilson's theorem.

Divya Prakash SinhaHow can I prove Wilson's theorem using induction? I know other proofs of this theorem. But I am curious to know inductive proof.

A new tag was created by lemontree.
1
Q: The law of the excluded-middle in modal logic

DoubtAs a simple exercise in modal logic, I'd like to show that $\not\vdash\Diamond(p\lor\neg p)$. However, when using the tableaux method, I can't get very far. After replacing $\neg\Diamond$ with $\Box\neg$, there are no previously introduced worlds in which to apply $\Box$. If I try to introduce "a...

 
 
6 hours later…
9:32 PM
The tag-creator created als the tag-excerpt for .
 

« first day (2626 days earlier)      last day (23 days later) »