« first day (2379 days earlier)    last day (6 days later) » 

Martin Sleziak
Martin Sleziak
09:09
Just a reminder - to read MathJax/LaTeX in chat you can use the bookmarklet mentioned in this post on meta or go directly to robjohn's website: math.ucla.edu/~robjohn/math/mathjax.html
 
5 hours later…
user21820
user21820
13:42
6
A: How can know if a proof technique can actually prove something? Specifically, induction

user21820Your question can be made precise in a variety of different ways, but you first need to know logic and Peano Arithmetic (PA). (You can skip these links if you understand the rest of this post.) $\def\nn{\mathbb{N}}$ $\def\t#1{\text{#1}}$ $\def\place#1{\,\boxed{#1}\,}$ $\def\code#1{\underline{#1}}...

@MartinSleziak Thanks! I hope you and your family are doing well! =)

« first day (2379 days earlier)    last day (6 days later) »