How Do Heyting Algebras Relate To Logic?
My question is, broadly speaking, how are Heyting algebras related to logic ? It would be great if someone could answer this question without being too te...
20 Apr 2026 1 READS
Archive: News
![What is the size of the exterior angle of a regular octagon? [closed]](https://edu.smbbmcl.edu.pk/uploads/what-is-the-size-of-the-exterior-angle-of-a-regular-octagon-closed_720.jpg)
What is the size of the exterior angle of a regular octagon? [closed]
Can't really remember the rules for exterior and interior angles and don't really know what a "regular octagon" is. Any help is appreciated thanks!
20 Apr 2026 1 READS
Find the next two terms in this sequence.
The first five numbers of the sequence are the following ones: 1, 2, 6, 15, 31, ..., ... Target: What I would like to know is the general formula of the s...
20 Apr 2026 1 READS
Tchebysheff's theorem
Let k≥1. Show that, for any set of n measurements, the fraction included in the interval $\bar{y} − ks$ to $\bar{y} + ks$ is at least $(1−1/k^2)$. This re...
20 Apr 2026 1 READS
If $f:\mathbb{R}\to\mathbb{R}$ is a left continuous function can the set of discontinuous points of $f$ have positive Lebesgue measure?
If $f:\mathbb{R}\to\mathbb{R}$ is a left continuous function can the set of discontinuous points of $f$ have positive Lebesgue measure? I wondered this to...
20 Apr 2026 1 READS
A conditionally convergent complex series can be rearranged to be divergent
I need to prove the following property in general but just don't know how to do it: Let $\sum_{n=0}^\infty x_n$ be a series which converges condition...
20 Apr 2026 1 READS
![Convergence of Sequence with factorial [duplicate]](https://edu.smbbmcl.edu.pk/uploads/convergence-of-sequence-with-factorial-duplicate_720.jpg)
Convergence of Sequence with factorial [duplicate]
I want to show that $$ a_n = \frac{3^n}{n!} $$ converges to zero. I tried Stirlings formulae, by it the fraction becomes $$ \frac{3^n}{\sqrt{2\pi n} (n^n/...
20 Apr 2026 1 READS
find g(x) given f(x) and the composition (g o f)(x)
I've been stuck on this final math problem for ages I'm given $$f(x) = x^2 + 1$$ and the final composition is $$(g \circ f)(x) = \frac{1}{x^2 + ...
20 Apr 2026 1 READS
Extended stars-and-bars problem(where the upper limit of the variable is bounded)
The problem of counting the solutions $(a_1,a_2,\ldots,a_n)$ with integer $a_i\geq0$ for $i\in\{1,2,\ldots,n\}$ such that $$a_1+a_2+a_3+\ldots+a_n=N$$ can...
20 Apr 2026 1 READS
Partial Derivatives of Vector Valued Functions
Let us say we have some differentiable vector field $F:\mathbb{R}^3 \to \mathbb{R}^3$. I have often seen the notation: $$ \frac{\partial F}{\partial x} $$...
19 Apr 2026 0 READS
