Tagged Questions

For questions about approaches and techniques for discovering a proof, as opposed to writing it down clearly (which involves (proof-writing)). Should not be used unless the focus is on the technique of the proof instead of the solution.

116 views

Intuition behind Erdős proof of the infinitude of prime numbers

Suppose by contradiction that there are finitely many primes, namely $p_1, p_2,...,p_k$, where $k$ is a natural number. Now consider another natural number $n$, and all natural numbers $m \leq n$. ...
75 views

159 views

Are these sets with orbits subgroups of $S_A$ = set of all permutations of A? - Fraleigh p. 86 8.41-8.43

In Exercises 40 through 43, let $A$ be a set, $B$ a subset of $A$, and let $b$ be one particular element of $B$. Determine whether the given set is sure to be a subgroup of $S_A$ under the induced ...
207 views

Questions on Answer to “The cardinality of the set of all finite subsets of an infinite set”

Would someone please enlarge on Arturo Magidin's original answer ? $1.$ Say the question didn't divulge $|S| = |X|$. Then how can $|S|$ be determined? Any intuition? I recast it below with more ...
141 views

Cauchy induction: are there examples of cases where choosing an integer other than $2$ is a better strategy?

Cauchy induction, sometimes called backwards induction, works as follows: show that $p(1)$ is true show that $p(n)$ implies $p(2n)$ (which inductively implies $p(2^n)$ is true) show that $p(n)$ ...
50 views

Are inequalities harder to prove than equalities?

Browsing through the inequalities tag, I see a lot of straightforward-looking arithmetic statements that I nevertheless have no idea how to prove (and apparently I'm not alone). With equalities it's ...
50 views

194 views

Which is the best transitional mathematics book for self-teaching among the ones listed?

What is Mathematics, An Elementary Approach to Ideas and Methods - Courant Robbins Stewart How to Solve It, A New Aspect of Mathematical Solving - Polya Introductory Mathematics, Algebra and Analysis ...
54 views

Verifying the Cofinite topology

I'm trying to provee that the cofinite topology is a valid topological space. I've defined it as $$C=\{\emptyset\}\cup\{S\subseteq X: X-S \quad\text{is finite }\}.$$ Now, clearly $\emptyset$ and ...
73 views

Finding a finite model

Hello I am having difficulty with this question, I am not even sure what strategy one would go about proving something like this: Suppose $L$ is a language which includes an infinite list ...
91 views

Proof for the form of characteristic polynomial

I'd like to proof: The caracteristic polynomial of $A \in M(n\times n, K)$ has the form: $P_A(\lambda) = (-1)^n \lambda^n + (-1)^{n-1} \operatorname{tr}(A)\lambda^{n-1} +\dots +\det(A)$ My proof ...
64 views

Intution, Figure. Negation of Continuity and Uniform Continuity (S.A. pp 117 T4.4.6)

Every time I need negation, I have to write out all the logical symbols to negate manually. I know how to determine these negations myself. But I want to compehend intuition or figure like ...
155 views

Substitute Proof by Contradiction/Negation with Direct Proof or Proof by Contrapositive

When do proof by contradiction, or by negation, or direct proof, or proof by contrapositive all work equally well? When can any one be chosen as the proof form? I'm interested in a pragmatic answer ...
50 views

Using an automatic tool for checking geometric conjectures

I do a lot of research about squares, and I thought of using some automatic tool for proving / disproving some geometric conjectures. As a simple example, consider the following Square coloring ...
95 views

Proofs involving Disjunctions [Velleman, Chapter 3.5]

$\Large{{1.}}$ Are proofs using strategies $P136, P143$ always easier than those using $P140$? In the former two, only one statement (either $P$ or $Q$) must be proven. In the latter, both $P$ and ...
71 views

Induction on Primitive Recursive Function

The set $F_{n}$ of primitive recursive function symbols of arity $n$ can be defined inductively as: \begin{align} & Z, \text{Succ} \in F_{1} & \\ &\pi_{j}^{n} \in F_{n} \quad \text{for ...
54 views

Verifying an integral identity related to asymptotic homogenization of an elliptic partial differential equation

Background I'm reading Hornung (1997)'s Homogenization and porous media, pg 3: We study a family of [1D] problems, indexed by the scale parameter $\epsilon=\frac{1}{n}$, namely, ...
62 views

How does Hildebrands proof of the prime number theorem via large sieve work?

How does the sieve inequality (I may not know the most general form) lead to the distribution of primes? To me, these concepts do not seem to be related. Can their connection be described in a ...
66 views

Is there a proof reading website where users can submit their problems and upload their proof documents to be reviewed?

I'm just looking for a proof reading website that would allow a user to post her/his problem to be proved and her/his scanned documents to their claimed proof to the problem. I was just about to post ...
86 views

has any cycle found in MD5?

We are not sure whether MD5 has fixed point or not. But since the sample space is finite, it must have cycles: $$A →(MD5)→ B →(MD5)→ C →(MD5)→ D →(MD5)→ A$$ Has any research been done on MD5 to ...
I'm stuck trying to prove the following identity: $$\displaystyle\sum_{i=j}^k\frac{(-1)^{i+j}{k+1 \choose i}{i \choose j}(4S-i-k-3)!(4S-2i-1)}{(4S-i-j-1)!}$$ =\frac{(-1)^{j+k}(4S-2k-3)!{k+1 ...