# Tagged Questions

Proof theory is an area of logic that studies proof as formal mathematical objects. If you'd like advice on the presentation of a proof you have in draft, use proof-writing instead. If you'd like feedback on its validity, use proof-verification. If none of the above apply, you do not need a proof-* ...

78 views

### Are there any proofs that only exist by induction?

I've come to learn more about induction recently for proving things, and one thing stands out to me. It seems like you could just data-mine patterns and guess a relationship you think might be ...
62 views

### help in real analysis [on hold]

How can I use this definition to prove that $a^{\frac{1}{n}}$ converge to $1$? where a >0
79 views

50 views

### How can be proven that any number X is greater,lesser or equal to any other number Y?

I have looked for it on the internet, really, but all I have found are particular cases like 1 > 0, or such. Is there an algebraic proof for proving that x > y or, x = y, or x < y? I thought of ...
63 views

### Battle between Intuition and Rigor in Mathematics in the Context of Computers [closed]

I understand the reason behind the inclusion of rigor in mathematics: to ensure that all new theorems, axioms, and postulates are 100% correct. However, with the advent of computer simulations and so ...
28 views

### Isn't it problematic to cite the Gödel sentence as a proposition asserting 'This sentence is unprovable' since it isn't really on point?

In the proof of Gödel's incompleteness theorem the Diagonalization Lemma is applied to the negated provability predicate $¬Prov_F(x)$: this gives a sentence $G_F$ such that $F ⊢ G_F ↔ ¬Prov_F(⌈G_F⌉)$...
41 views

### Non model-theoretic, constructive proof that it is valid to introduce new unique constants in a first order theory with equality

I'm currently reading through Mendelson's `Introduction to Mathematical Logic', and one of the proofs has left me dissatisfied. In general, I am fine with seeing metamathematical results proven ...
59 views

### Elementary proof of Fermats Last Theorem [closed]

Considering the number of possible combinations of 5 pages of elementary algebra, isnt it exceedingly likely that there exists an elementary proof of FLT using only elementary algebra and a couple of ...
65 views

### Basic: Sequent definition, and-introduction, and iff

I am reading through "Mathematical Logic by Ian Chiswell & Wilfred Hodges"(amazon, and publisher) So far have it has covered $\land$-Introduction and $\land$-Elimination Sadly this text only has ...
48 views

3k views

### Is a proof also “evidence”?

Can I use the terms proof and evidence synonymously or is there a difference? You usually see mathematicians writing about "proof" while other sciences instead discuss "evidence" - is there a ...
85 views

### easy proof of the completeness theorem [closed]

The completeness theorem of first-order logic states: If $\Phi\models\phi$, then $\Phi\vdash\phi$. Assume that I have a calculus $\vdash$ in mind for which I want to prove this completeness theorem. ...
201 views

### Calculus of Natural Deduction That Works for Empty Structures

Currently, I am dealing with the calculus of natural deduction by Gentzen. This calculus gives us rules to manipulate so-called sequents. Definition. If $\Gamma$ is a set of formulas and $\phi$ a ...
111 views

### natural deduction: introduction of universal quantifier and elimination of existential quantifier explained

Currently, I am dealing with the calculus of natural deduction by Gentzen. This calculus gives us rules to manipulate so-called sequents. Definition. If $\phi_1,\dots, \phi_n,\phi$ are formulas, then ...
26 views

### Set-Theoretic Probability

Consider $\{B_i | i \in I\}$ be a collection of events where $I$ is an arbitrary index set. I would like to show that $$\left(\bigcup_{i \in I} B_i\right)^c = \bigcap_{i \in I} B_i^c.$$ My friend ...
58 views

### A question regarding contrapositive for implications

I am slightly confused about the negation for an implication after encountering two questions as follows: "Let P be the statement: If 3 is even, then 6 is even or divisible by 5. Write the negation ...
19 views

### Proof of the lack of existence of a Hamiltonian Cycle

Consider a graph of $|V| = 2k+1$ vertices with $k+1$ of those vertices having exactly degree $2$ such that none of those degree $2$ vertices are adjacent to each other. I want to go about proving that ...
82 views

### Changing Hilbert-style axioms

Consider the following system for Hilbert-style deduction: Axioms: $A \rightarrow (B \rightarrow A)$ $(A \rightarrow (B \rightarrow C)) \rightarrow ((A \rightarrow B) \rightarrow (A \rightarrow C))$ ...
45 views

### How to generalize the principle of mathematical induction for proving statements about more than one natural number?

Suppose that $P(n_1, n_2, \ldots, n_N)$ be a proposition function involving $N >1$ positive integral variables $n_1, n_2, \ldots, n_N$. Then how to generalise the familiar induction to prove this ...
50 views

### How is the entropy of the normal distribution derived?

Wikipedia says the entropy of the normal distribution is $\frac{1}2 \ln(2\pi e\sigma^2)$ I could not find any proof for that, though. I found some proofs that show that the maximum entropy resembles ...
55 views

### Using induction to prove for $n ≥ 1,$ $1 \times 5+2\times6+3\times7 +\cdots +n(n + 4) = \frac 16n(n+1)(2n+13).$

This is a very interesting problem that I came across in an old textbook of mine. So I know its got something to do with mathematical induction, which yields the shortest, simplest proofs, but other ...