Mathematics

71%

+3 −0

Is there a $\Delta$-complex structure on the sphere with less than three $0$-simplices?

1 answer · posted 10d ago by The Amplitwist‭ · last activity 6d ago by Derek Elkins‭

algebraic-topology delta-complex

60%

+1 −0

How do I unambiguously define the facial circuits in a $2$-cell embedding of a graph into a surface?

0 answers · posted 7d ago by The Amplitwist‭ · edited 4d ago by The Amplitwist‭

topology graph-theory

50%

+0 −0

The effect of measurement accuracy and rounding on hypothesis testing

0 answers · posted 1d ago by tommi‭ · edited 1d ago by tommi‭

statistics hypothesis-testing rounding

42%

+1 −2

What is the significance of the K-axiom in modal logic S5?

1 answer · posted 2mo ago by Julius H.‭ · edited 16d ago by xamidi‭

modal-logic proof-theory hilbert-systems axioms

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 3mo ago by Snoopy‭ · last activity 3mo ago by Snoopy‭

calculus real-analysis

37%

+1 −3

Are these introductory logic textbooks wrong to teach ‘unless’ = ‘or’? [duplicate]

0 answers · posted 3mo ago by 8500 Ward‭ · closed as duplicate 3mo ago by Peter Taylor‭

logic

60%

+1 −0

Obtaining the semantics of simple type theory as a particular case of the set-theoretic semantics of dependent type theory

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

constructive-logic type-theory logic

66%

+2 −0

Fourier transform of an $L^1$ function is uniformly continuous

1 answer · posted 3mo ago by Snoopy‭ · edited 3mo ago by Snoopy‭

real-analysis fourier-analysis

28%

+0 −3

What is a dual object? [closed]

0 answers · posted 2mo ago by Julius H.‭ · closed 2mo ago by Peter Taylor‭

category-theory

66%

+2 −0

Using convexity in the proof of Hölder’s inequality

1 answer · posted 3mo ago by Snoopy‭ · last activity 20d ago by Snoopy‭

real-analysis

25%

+0 −4

What are the Peano axioms?

1 answer · posted 2mo ago by Julius H.‭ · last activity 2mo ago by rmf‭

logic

60%

+1 −0

Why is $ \int_0^{\infty}\left|\frac{\sin x}{x}\right|\ dx=\infty$?

1 answer · posted 4mo ago by Snoopy‭ · last activity 4mo ago by Snoopy‭

real-analysis improper-integral

66%

+4 −1

is arithmetic finitely consistent?

0 answers · posted 2mo ago by Jason‭

proof logic peano-arithmetic incompletness consistency

60%

+1 −0

What does it mean by saying that $C([0,1])$ is a subset of $L^\infty([0,1])$?

1 answer · posted 4mo ago by Snoopy‭ · last activity 4mo ago by Snoopy‭

real-analysis

25%

+0 −4

Picking 20 different numbers, in the same draw $\;$ vs. $\;$ picking 10 different numbers, in 2 different draws.

1 answer · posted 4mo ago by H7D‭ · last activity 4mo ago by Olin Lathrop‭

lottery

66%

+2 −0

$\sup(A\cdot B) = (\sup A)(\sup B)$ where $A$ and $B$ bounded sets of positive real numbers

3 answers · posted 4mo ago by Snoopy‭ · edited 4mo ago by Snoopy‭

real-analysis supremum-infimum

57%

+2 −1

Strange behavior in elections and pie charts

2 answers · posted 7mo ago by TheCodidacter, or rather ACodidacter‭ · last activity 3mo ago by Agent Smith‭

probability

71%

+3 −0

What is an example of a pathological imbedding of a(n allowed) graph into an oriented surface?

0 answers · posted 1mo ago by The Amplitwist‭ · edited 1mo ago by The Amplitwist‭

topology graph-theory

62%

+3 −1

Minimal non-standard number in non-standard models of PA

1 answer · posted 2mo ago by Aditya‭ · edited 2mo ago by The Amplitwist‭

logic model peano-arithmetic nonstandard-models

33%

+1 −4

Without trial and error, how can I effortlessly deduce all $n, k_i ∈ ℕ ∋ \binom n {k_1, k_2, ..., k_n} =$ given c?

1 answer · posted 8mo ago by Chgg Clou‭ · edited 8mo ago by Chgg Clou‭

combinatorics

66%

+2 −0

matrix inverse of $I + A$ where $A$ is skew-symmetric

1 answer · posted 2mo ago by Trevor‭ · last activity 2mo ago by Trevor‭

linear-algebra

40%

+0 −1

What is a one-variable fragment of first-order logic?

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

logic

44%

+2 −3

Cyclical or “loop” fractals?

1 answer · posted 2mo ago by Julius H.‭ · last activity 2mo ago by r~~‭

real-analysis fractal

60%

+1 −0

Why does the method of separating variables work?

0 answers · posted 30d ago by The Amplitwist‭

partial-differential-equations separation-of-variables

80%

+6 −0

Criteria for solvable Minesweeper game?

0 answers · posted 10mo ago by Olin Lathrop‭ · edited 10mo ago by Olin Lathrop‭

algorithm

66%

+2 −0

The Fourier transform of $1/p^3$

1 answer · posted 2mo ago by C-T‭ · last activity 2mo ago by LL 3.14‭

complex-analysis calculus multivariable-calculus integration fourier-analysis

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 9mo ago by Chgg Clou‭ · edited 9mo ago by Chgg Clou‭

lottery

66%

+2 −0

Find length $MP$ in trapezoid

0 answers · posted 1mo ago by TheCodidacter, or rather ACodidacter‭ · edited 1mo ago by TheCodidacter, or rather ACodidacter‭

geometry

71%

+3 −0

Is it possible to show that a normalised random variable has zero mean and unit variance?

0 answers · posted 7mo ago by mr Tsjolder‭ · edited 7mo ago by mr Tsjolder‭

statistics expectation

66%

+2 −0

A program which could derive theorems given formation rules in any modal logic?

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

computational-mathematics proof-assistants

66%

+2 −0

Does {7,4|3} have a realization on the Klein quartic?

0 answers · posted 1mo ago by WheatWizard‭

polytopes algebraic-geometry

71%

+3 −0

how to mathematically express a relationship in which a vector can be any 3D unit vector

2 answers · posted 11mo ago by Trevor‭ · last activity 10mo ago by trichoplax‭

notation vector

50%

+1 −1

Explain derived categories to someone without a strong background in homological algebra [closed]

0 answers · posted 2mo ago by Julius H.‭ · closed 2mo ago by Peter Taylor‭

category-theory

50%

+1 −1

Prove that $\forall x\in\Bbb R:\lfloor x^2\rfloor-\lfloor rx\rfloor\ge-1\iff|r|\le2$.

1 answer · posted 19d ago by TheCodidacter, or rather ACodidacter‭ · last activity 18d ago by Derek Elkins‭

inequality solution-verification

37%

+1 −3

Why do the Expected Values differ, for different wagers of the same lottery?

1 answer · posted 9mo ago by Chgg Clou‭ · last activity 9mo ago by Peter Taylor‭

lottery

71%

+3 −0

Is there a $(n_3)$ configuration which is not self-dual?

1 answer · posted 4mo ago by WheatWizard‭ · last activity 4mo ago by Peter Taylor‭

combinatorics

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 12mo ago by DNB‭ · last activity 12mo ago by r~~‭

statistics

71%

+3 −0

Classification for involutory real infinite series

1 answer · posted 9mo ago by nsajko‭ · last activity 8mo ago by Peter Taylor‭

classification real-analysis inverse polynomials series

60%

+1 −0

Defining the two universes from Calculus of Constructions in LF

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

type-theory logic

71%

+3 −0

Besov or Triebel-Lizorkin spaces versus Lorentz spaces

0 answers · posted 2mo ago by LL 3.14‭ · edited 2mo ago by LL 3.14‭

interpolation Besov-space functional-analysis

22%

+0 −5

At what jackpot minimum is playing Lottario rational?

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

lottery

66%

+2 −0

Is it known whether most numbers are normal or not

0 answers · posted 5mo ago by Grove‭

number-theory

60%

+1 −0

The meaning of $\pm$

2 answers · posted 1y ago by tommi‭ · last activity 1y ago by Derek Elkins‭

notation

28%

+0 −3

What is a “first-order substructural logic that has a cut-free sequent calculus”?

1 answer · posted 2mo ago by Julius H.‭ · last activity 2mo ago by Dan Doel‭

logic

71%

+3 −0

Is there a quadratic version of exponential smoothing?

0 answers · posted 9mo ago by peterbalch‭

statistics signal-processing

71%

+3 −0

Criterion in terms of the bases for determining whether one topology is finer than another

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

topology

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 11mo ago by Chgg Clou‭ · last activity 11mo ago by tommi‭

lottery

66%

+2 −0

The derivatives of a function at a boundary point

1 answer · posted 3mo ago by tommi‭ · last activity 3mo ago by Snoopy‭

derivatives real-analysis

66%

+2 −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 2mo ago by Julius H.‭ · last activity 2mo ago by Peter Taylor‭

set-theory

50%

+3 −3

Defining Bayes’s theorem from scratch in ZFC

1 answer · posted 3mo ago by Julius H.‭ · last activity 18d ago by xamidi‭

set-theory zfc bayes-theorem

Communities