Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Users Search
Help Dashboard Sign In Sign Up
Q&A Meta
Q&A
Posts Tags Edits
Ask Question

General Q&A about all branches of theoretical and applied mathematics, including closely-adjacent sciences where the central question is about the math.

445 posts RSS
Activity Age Score Random
Filters (None)
66%
+2 −0
A program which could derive theorems given formation rules in any modal logic?

1 answer  ·  posted 2y ago by Julius H.‭  ·  edited 2y ago by Peter Taylor‭

computational-mathematics proof-assistants
75%
+4 −0
Concrete examples of set theorists thinking independence proofs only determine provability rather than that a statement is neither true nor false?

1 answer  ·  posted 2y ago by Julius H.‭  ·  last activity 2y ago by Peter Taylor‭

set-theory
57%
+2 −1
What are the “increasingly stable consequences of the large cardinal hierarchy”?

0 answers  ·  posted 2y ago by Julius H.‭

set-theory
37%
+1 −3
Are these introductory logic textbooks wrong to teach ‘unless’ = ‘or’? [duplicate]

0 answers  ·  posted 2y ago by 8500 Ward‭  ·  closed as duplicate 2y ago by Peter Taylor‭

logic
66%
+2 −0
For any real number $m$, $ \left|\sum_{n=1}^{\infty}\frac{m}{n^2+m^2}\right|<\frac{\pi}{2} $

1 answer  ·  posted 2y ago by Snoopy‭  ·  last activity 2y ago by Snoopy‭

calculus real-analysis
71%
+3 −0
If both $\lim_{x\to\infty}f(x)$ and $\lim_{x\to\infty}f'(x)$ exist, then $\lim_{x\to\infty}f'(x)=0$.

1 answer  ·  posted 2y ago by Snoopy‭  ·  last activity 2y ago by Snoopy‭

real-analysis
57%
+2 −1
Strange behavior in elections and pie charts

2 answers  ·  posted 3y ago by TheCodidacter, or rather ACodidacter‭  ·  last activity 2y ago by Hudjefa‭

probability
66%
+2 −0
$\sup(A\cdot B) = (\sup A)(\sup B)$ where $A$ and $B$ bounded sets of positive real numbers

3 answers  ·  posted 2y ago by Snoopy‭  ·  edited 2y ago by Snoopy‭

real-analysis supremum-infimum
60%
+1 −0
Why is $ \int_0^{\infty}\left|\frac{\sin x}{x}\right|\ dx=\infty$?

1 answer  ·  posted 2y ago by Snoopy‭  ·  last activity 2y ago by Snoopy‭

real-analysis improper-integral
71%
+3 −0
Is there a $(n_3)$ configuration which is not self-dual?

1 answer  ·  posted 2y ago by WheatWizard‭  ·  last activity 2y ago by Peter Taylor‭

combinatorics
25%
+0 −4
Picking 20 different numbers, in the same draw $;$ vs. $;$ picking 10 different numbers, in 2 different draws.

1 answer  ·  posted 2y ago by H7D‭  ·  last activity 2y ago by Olin Lathrop‭

lottery
80%
+6 −0
What is special about the 11-cell and 57-cell?

1 answer  ·  posted 3y ago by WheatWizard‭  ·  last activity 3y ago by ziggurism‭

polytopes
22%
+0 −5
How can school children intuit why over 100, D is larger? But under 100, D% is larger?

2 answers  ·  posted 3y ago by Chgg Clou‭  ·  last activity 3y ago by Hudjefa‭

high-school-mathematics
75%
+4 −0
Is there a statistical method to identify the type of outliers shown in the pictures attached to my question?

1 answer  ·  posted 3y ago by Ivan Nepomnyashchikh‭  ·  last activity 3y ago by Hudjefa‭

statistics
33%
+0 −2
$\left(\forall \varepsilon >0: |a-b| < \varepsilon\right) \iff a=b$ vs. $\left(\forall \varepsilon > 0: a \le b + \varepsilon \right) \iff a \le b$

1 answer  ·  posted 3y ago by deleted user  ·  edited 3y ago by Peter Taylor‭

inequality
40%
+0 −1
Calculation of limit

0 answers  ·  posted 3y ago by Klein Moretti‭

calculus analysis limits applied-mathematics
25%
+0 −4
How can I improve contrast of red and green, to prove Reverse Triangle Inequality?

1 answer  ·  posted 3y ago by deleted user  ·  last activity 3y ago by Peter Taylor‭

visualization
37%
+1 −3
Solely by eye, how can 16 year olds visually distinguish $\color{red}{\vec{b} - \vec{r}}$ from $\color{limegreen}{|\vec{b}| - |\vec{r}|}$ ?

2 answers  ·  posted 3y ago by deleted user  ·  last activity 3y ago by Olin Lathrop‭

visualization
40%
+0 −1
While pictorializing $|x - y| < |x + y|$, how can 1 picture simultaneously prove (Reverse) △ Inequalities, $|x-y| ≤ |x|+|y|, |x|-|y| ≤ |x-y|$? [duplicate]

0 answers  ·  posted 3y ago by deleted user  ·  closed as duplicate 3y ago by Peter Taylor‭

visualization
75%
+4 −0
Is it possible to show that a normalised random variable has zero mean and unit variance?

0 answers  ·  posted 3y ago by mr Tsjolder‭  ·  edited 3y ago by mr Tsjolder‭

statistics expectation
33%
+1 −4
25% probability that there was a chance of avoiding injury $\quad$ vs. $\quad$ 25% chance of avoiding injury

2 answers  ·  posted 3y ago by DNB‭  ·  last activity 3y ago by Hudjefa‭

probability
83%
+8 −0
How can I choose a point from a uniform distribution within a regular polygon?

2 answers  ·  posted 3y ago by Karl Knechtel‭  ·  last activity 3y ago by trichoplax‭

plane-geometry applied-mathematics sampling
77%
+5 −0
Notation for one-sided hypothesis testing

1 answer  ·  posted 4y ago by tommi‭  ·  last activity 3y ago by Glen_b‭

statistics notation hypothesis-testing
42%
+1 −2
Picture proof for expansion of $x^n−y^n$

2 answers  ·  posted 3y ago by Este‭  ·  last activity 3y ago by Peter Taylor‭

visualization
42%
+1 −2
1 picture proof for the triangle inequality and the reverse triangle inequality

0 answers  ·  posted 3y ago by Este‭  ·  edited 3y ago by trichoplax‭

visualization
71%
+3 −0
Classification for involutory real infinite series

1 answer  ·  posted 3y ago by nsajko‭  ·  last activity 3y ago by Peter Taylor‭

classification real-analysis inverse polynomials series
71%
+3 −0
Is there a quadratic version of exponential smoothing?

0 answers  ·  posted 3y ago by peterbalch‭

statistics signal-processing
55%
+3 −2
Intuitively, why doesn't picking unpopular integers ($> 31$) lower your probability of winning lotteries?

1 answer  ·  posted 3y ago by Ethen‭  ·  last activity 3y ago by Derek Elkins‭

lottery
33%
+1 −4
How to decide whether to buy a lottery with a too negative EV, but passable $\Pr($you win jackpot at least once│n plays)? [closed]

0 answers  ·  posted 3y ago by Chgg Clou‭  ·  edited 3y ago by Chgg Clou‭

lottery
60%
+1 −0
Proving that this relation implies another relation on the Coxeter group [4,3,3,4].

0 answers  ·  posted 3y ago by WheatWizard‭  ·  edited 3y ago by WheatWizard‭

group-theory coxeter-groups
37%
+1 −3
Why do the Expected Values differ, for different wagers of the same lottery?

1 answer  ·  posted 3y ago by Chgg Clou‭  ·  last activity 3y ago by Peter Taylor‭

lottery
80%
+6 −0
Criteria for solvable Minesweeper game?

0 answers  ·  posted 3y ago by Olin Lathrop‭  ·  edited 3y ago by Olin Lathrop‭

algorithm
71%
+3 −0
Properties of distances between adjacent vector elements and related functions

1 answer  ·  posted 3y ago by stofred‭  ·  last activity 3y ago by Artisian‭

analysis vector recreational-mathematics integer-sequences
71%
+3 −0
how to mathematically express a relationship in which a vector can be any 3D unit vector

2 answers  ·  posted 3y ago by Trevor‭  ·  last activity 3y ago by trichoplax‭

notation vector
83%
+8 −0
Prove that 49 is the only prime square to be followed by twice a prime square and then a semiprime

1 answer  ·  posted 3y ago by Peter Taylor‭  ·  last activity 3y ago by Servaes‭

number-theory integer-sequences
60%
+1 −0
Considering the "type" $\Pi x:A.\Pi y:B(x).Type$

1 answer  ·  posted 3y ago by user205‭  ·  last activity 3y ago by Dan Doel‭

type-theory logic
71%
+3 −0
Average distance from circle's center to a point

1 answer  ·  posted 3y ago by TheCodidacter, or rather ACodidacter‭  ·  last activity 3y ago by TheCodidacter, or rather ACodidacter‭

geometry calculus
44%
+2 −3
How to compare lotteries, when one has highest probability of winning the jackpot, but another the highest Expected Value?

1 answer  ·  posted 3y ago by Chgg Clou‭  ·  last activity 3y ago by tommi‭

lottery
71%
+3 −0
Closed-form expression for sum of Modulo Arithmetic Progression

1 answer  ·  posted 3y ago by theabbie‭  ·  edited 3y ago by trichoplax‭

formula summation sequence modular-arithmetic
77%
+5 −0
Finding a single row of Matrix after exponentiation

1 answer  ·  posted 3y ago by theabbie‭  ·  edited 3y ago by trichoplax‭

exponent algorithm matrices
28%
+0 −3
Which other Real Analysis textbooks unusually recommend ending delta-epsilon proofs with a cluttered, bedecked $\epsilon$? [closed]

0 answers  ·  posted 3y ago by TextKit‭  ·  closed 3y ago by Mithical‭

real-analysis
33%
+0 −2
2 construals "of 100 patients presenting with a lump like the claimant’s in Gregg v Scott, 42 will be ‘cured’ if they are treated immediately."

2 answers  ·  posted 3y ago by DNB‭  ·  last activity 3y ago by r~~‭

statistics
22%
+0 −5
How to intuit that if you destroy someone else's lottery ticket, you didn't deprive her of a chance of winning the lottery?

0 answers  ·  posted 3y ago by DNB‭  ·  edited 3y ago by DNB‭

lottery
60%
+1 −0
Universal property of quotient spaces

2 answers  ·  posted 3y ago by Snoopy‭  ·  last activity 3y ago by ronno‭

topology
42%
+1 −2
How to intuit P(win the same lottery twice) $= p^{2}$ vs. P(win the same lottery twice | you won the lottery once) $= p$?

2 answers  ·  posted 3y ago by Chgg Clou‭  ·  edited 3y ago by Chgg Clou‭

lottery
33%
+1 −4
What's mathematically fallacious with Edvin Hiltner's Lotterycodex patterns, to maximize your chance of winning lotteries? [closed]

0 answers  ·  posted 3y ago by Chgg Clou‭  ·  closed 3y ago by Mithical‭

lottery
60%
+1 −0
Defining the two universes from Calculus of Constructions in LF

0 answers  ·  posted 3y ago by user205‭  ·  edited 3y ago by user205‭

type-theory logic
66%
+2 −0
On Tarski-style universes in type theory

1 answer  ·  posted 3y ago by user205‭  ·  last activity 3y ago by Derek Elkins‭

type-theory logic
66%
+2 −0
The purpose of logical frameworks in specifying type theories

1 answer  ·  posted 3y ago by user205‭  ·  last activity 3y ago by Derek Elkins‭

type-theory logic
28%
+0 −3
How do I compare lotteries' chances of winning jackpot, when they differ in the maximum number of plays?

1 answer  ·  posted 3y ago by Chgg Clou‭  ·  edited 3y ago by Chgg Clou‭

lottery
RSS