proof by contradiction and more -- Proof Writing 11

preview_player
Показать описание
⭐Support the channel⭐

⭐my other channels⭐

⭐My Links⭐
Рекомендации по теме
Комментарии
Автор

These are my favorite types of proofs! Can't wait to get around to this one.

mikelevels
Автор

Bit pedantic, but think you forgot to specify b is nonzero in your sqrt(2) proof, which should be stated generally when setting up irrationality proof by contradiction.

mathgod_au
Автор

23:40 “iff” isn’t considered final draft language?

synaestheziac
Автор

I guess it's an effect of my particular background that I assume that the qualitative difference between the first draft of a proof and the final draft is that the final draft is typeset. And also that the way you get the double arrow symbol for a biconditional is "\iff", so the difference between informal and formal is mainly whether you've actually run LaTeX yet.

iabervon
join shbcf.ru