Media Summary: PureMathGuy here. Just a short one on the basic idea of a Usually, we prove things directly, but there are other ways to prove things. Today, we look at a In this video I give another example of a

Non Constructive Proofs With An - Detailed Analysis & Overview

PureMathGuy here. Just a short one on the basic idea of a Usually, we prove things directly, but there are other ways to prove things. Today, we look at a In this video I give another example of a In this wonderful discussion with Dr. Andrej Bauer we discuss a whole host of topics centering around In this video, we are going to see two types of existence Mathematics is the process of manipulating axioms to derive more complex results. This process needs to abide by the rules of ...

Photo Gallery

Non-Constructive proofs (with an example)
What are Non-Constructive Proofs !?
Constructive vs non-constructive proofs
Existence Proofs
Proof of Existence (Constructive and Nonconstructive)
Constructive vs Existence Proofs
Example of a non-constructive proof, using induction
Non-constructive proof: historical example
Math Talk!  Dr. Andrej Bauer on proof assistants, constructive mathematics, philosophy, and more.
Existence Proof : Constructive & Non-Constructive | Explained with Examples
Non Constructive Proofs
A fascinating non-constructive proof
View Detailed Profile
Non-Constructive proofs (with an example)

Non-Constructive proofs (with an example)

PureMathGuy here. Just a short one on the basic idea of a

What are Non-Constructive Proofs !?

What are Non-Constructive Proofs !?

Usually, we prove things directly, but there are other ways to prove things. Today, we look at a

Constructive vs non-constructive proofs

Constructive vs non-constructive proofs

What do you think? Are these

Existence Proofs

Existence Proofs

Ben discusses constructive and

Proof of Existence (Constructive and Nonconstructive)

Proof of Existence (Constructive and Nonconstructive)

Non

Constructive vs Existence Proofs

Constructive vs Existence Proofs

An example showing a

Example of a non-constructive proof, using induction

Example of a non-constructive proof, using induction

In this video I give another example of a

Non-constructive proof: historical example

Non-constructive proof: historical example

a clever line of reasoning.

Math Talk!  Dr. Andrej Bauer on proof assistants, constructive mathematics, philosophy, and more.

Math Talk! Dr. Andrej Bauer on proof assistants, constructive mathematics, philosophy, and more.

In this wonderful discussion with Dr. Andrej Bauer we discuss a whole host of topics centering around

Existence Proof : Constructive & Non-Constructive | Explained with Examples

Existence Proof : Constructive & Non-Constructive | Explained with Examples

In this video, we are going to see two types of existence

Non Constructive Proofs

Non Constructive Proofs

Provided to YouTube by DistroKid

A fascinating non-constructive proof

A fascinating non-constructive proof

We explore a strange

The Two Types of Mathematics

The Two Types of Mathematics

Mathematics is the process of manipulating axioms to derive more complex results. This process needs to abide by the rules of ...