The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
116 views

Reduce a Combinatorial problem

It is given n sets with k vectors. (k is element-wise positive or zero) Choose one vector of each set so that the biggest element of the sum of the chosen vectors is minimal. What i also know but is ...
1
vote
0answers
26 views

Heuristic for choosing n-vectors from n-sets

my given problem is: choose n-vectors from n-sets (one vector from each set) so that the biggest element in the sum of the chosen vectors is minimal. Unfortunately the problem is NP-hard. So I'm ...
18
votes
15answers
2k views

Non-rigorous reasoning in rigorous mathematics

I was wondering what role non-rigorous, heuristic type arguments play in rigorous math. Are there examples of rigorous, formal proofs in which a non-rigorous reasoning still plays a central part? ...
4
votes
2answers
234 views

Formula in common: How to search for same/similar equations in other knowledge domains?

Hi people In a recent presentation by Sedgewick, he recounts in 1977 Flajolet noticed that they had a formula in common, both in different domains (see slide 4 in ...
11
votes
0answers
343 views

What is the intuition for $\mathbb{Q}^{ab}$ having cohomological dimension $1$?

I frequently talk to people who think of finite fields as arithmetic analogs of punctured discs. This makes some sense: the absolute Galois group of a finite field is the profinite completion of ...
9
votes
2answers
1k views

Defining the slowest divergent series

This question might seem too fuzzy, and if so, I will be happy to withdraw it. Until then, here it is: I know that a method of slowing a divergent series of positive reals is to replace the $n$-th ...
7
votes
0answers
509 views

Two different ways to count Mersenne Primes

Hi there, the motivation for this question is to better understand the heuristics of Mersenne primes, and I was motivated by the recent questions (Mersenne quasi-primes) and (Primes in generalized ...
19
votes
0answers
1k views

more on “Transalgebraic Theories” (a 19th century yoga)?

Among the talks at occasion of the Galois Bicentennial, one is about "Transalgebraic Theories". Unfortunately I found only this article describing that fascinating idea as " an extremely powerful ...
2
votes
1answer
371 views

class groups of unramified cyclic p-extensions of imaginary quadratic fields

Let $K$ be an imaginary quadratic number field with $p$-Sylow-class group $A(K)$ and $L/K$ be an unramified cyclic extension of $K$ of degree $p$ ($p$ prime). Then I am looking for heuristics on ...
9
votes
3answers
949 views

Groupoids vs Pseudogroups

(Warning: I'm not an expert in the topic) Let's work in a "geometric" category, for example the category $\mathfrak{Diff}$ of "manifolds" (without the requirements of connectedness and second ...
2
votes
1answer
187 views

Possible semantics for categorical co-constness

In category theory a morphism is constant IIF it is absorbing (for left composition). That is a morphism $k$ from $k:A\rightarrow B$ is constant if an only if for any two parrallel (same domain and ...
10
votes
6answers
35k views

Fourier vs Laplace transforms

In solving a linear system, when would I use a Fourier transform versus a Laplace transform? I am not a mathematician, so the little intuition I have tells me that it could be related to the boundary ...