Existence Proofs: Understanding the Role of Examples in Mathematical Proofs, Exercises of Computer System Design and Architecture

The concept of existence proofs, focusing on the use of examples to demonstrate the existence of objects with given properties. Various topics such as splitting figures, tensegrities, and splitting weights, providing detailed explanations and examples. It also discusses the importance of protecting sources and the challenges of finding splittings for certain sets of weights.

Typology: Exercises

2018/2019

Uploaded on 03/31/2019

rizwan-mohammed
rizwan-mohammed 🇮🇳

2 documents

1 / 87

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Existence Proofs
Alexander Shen
LIRMM / CNRS, University of Montpellier, France
pf3
pf4
pf5
pf8
pf9
pfa
pfd
pfe
pff
pf12
pf13
pf14
pf15
pf16
pf17
pf18
pf19
pf1a
pf1b
pf1c
pf1d
pf1e
pf1f
pf20
pf21
pf22
pf23
pf24
pf25
pf26
pf27
pf28
pf29
pf2a
pf2b
pf2c
pf2d
pf2e
pf2f
pf30
pf31
pf32
pf33
pf34
pf35
pf36
pf37
pf38
pf39
pf3a
pf3b
pf3c
pf3d
pf3e
pf3f
pf40
pf41
pf42
pf43
pf44
pf45
pf46
pf47
pf48
pf49
pf4a
pf4b
pf4c
pf4d
pf4e
pf4f
pf50
pf51
pf52
pf53
pf54
pf55
pf56
pf57

Partial preview of the text

Download Existence Proofs: Understanding the Role of Examples in Mathematical Proofs and more Exercises Computer System Design and Architecture in PDF only on Docsity!

Existence Proofs

Alexander Shen

LIRMM / CNRS, University of Montpellier, France

Outline

When One Example is Enough

Splitting an Octagon

Making Fun in Real Life

Know Your Rights

Nobody Can Win All The Times

Proofs For Existential Statements

Proofs For Existential Statements

  • what does the proof look like?

Proofs For Existential Statements

  • what does the proof look like?
  • it depends
  • claim: object with given properties exists

Proofs For Existential Statements

  • what does the proof look like?
  • it depends
  • claim: object with given properties exists
  • proof: an example

Cutting Figures

Cutting Figures

congruent pieces: of the same shape and size

Cutting Figures

congruent pieces: of the same shape and size

Prove that this figure can be cut into 2 congruent pieces

Cutting Figures

congruent pieces: of the same shape and size

Prove that this figure can be cut into 2 congruent pieces

Spoiler

Spoiler

The Octagon

The Octagon