6:01 AM
4
There has just recently ben created a double-factorial tag. I don't think we should have another tag just for this and that the tag factorial suits it well enough. I propose we change the tag wiki for factorial to include double factorials and remove the double-factorial tag.
Series, integrals, and formulas involving the double factorial. The double factorial is defined as $n!!=n(n-2)(n-4)\cdots(n-2\lfloor n/2\rfloor)$. It is usually applied to odd numbers since $(2n)!!$ can easily be written as $2^nn!$.
4 hours later…
10:14 AM
3 hours later…
2 hours later…
3:22 PM
4
The formal-proofs tag currently has no tag wiki. In my opinion this might invite people to use the tag for any question asking for a (more or less formal) proof. Very similar to the way the proof tag was used before it got removed and blacklisted. My personal assumption, however, was that formal-...
I created the tag (formal-proofs) with intent that it should be used when people are asking for a formal proof of something within a formal system, the most common occurrences of this are natural deduction and Hilbert system kind of proofs. It could perhaps be used sometimes in conjunction with (proof-theory) if people are trying to related a formal proof to its stance in the meta-theoretic context, but mainly it's independent of proof theory. All of the above is just what I intended for the tag. I don't think it is a bad tag and I most certainly feel that this or a similar one is required. — Git Gud 26 mins ago
« first day (848 days earlier) ← previous day next day → last day (3493 days later) »