Media Summary: Usually, we prove things directly, but there are other ways to prove things. Today, we look at a In this wonderful discussion with Dr. Andrej Bauer we discuss a whole host of topics centering around PureMathGuy here. Just a short one on the basic idea of a
What Are Non Constructive Proofs - Detailed Analysis & Overview
Usually, we prove things directly, but there are other ways to prove things. Today, we look at a In this wonderful discussion with Dr. Andrej Bauer we discuss a whole host of topics centering around PureMathGuy here. Just a short one on the basic idea of a In this video, we discuss the difference between constructive and Video Chapter: Introduction 0:00 Proof of Existence (by Constructive Proof) 0:08 Proof of Existence (by In this video, we are going to see two types of existence
... it exists so we don't need to give that example explicitly so this is an example of a
