Menyebutkan ciri-ciri orang yang pasti di luar mereka

Ada sebuah algoritma yang pasti akan bisa menentukan bahwa orang yang memiliki ciri-ciri tertentu tidak mungkin salah satu dari mereka.

Pertama: Tuliskan diagonalnya. Tabel tersebut memiliki diagonal: Coklat, coklat, rendang.

Es krim Minuman Biskuit
Andi Coklat Coklat Vanila
Budi Rendang Coklat Rendang
Cacing Vanila Rendang Rendang
Diagonal Coklat Coklat Rendang

Diagonal dari tabel tersebut dibaca sebagai menyukai es krim coklat, minuman coklat, dan biskuit rendang.

Sekarang kita akan membentuk daftar ciri-ciri yang sama sekali tidak sesuai dengan diagonalnya. Misalnya vanilla, rendang, dan coklat, yang akan kita sebut sebagai diagonal (diagonal aksen).

Es krim Minuman Biskuit
Andi Coklat Coklat Vanila
Budi Rendang Coklat Rendang
Cacing Vanila Rendang Rendang
Diagonal Coklat Coklat Rendang
Diagonal' Vanila Rendang Coklat

Daftar diagonal’ tidak akan cocok dengan Andi, Budi, maupun Cacing, sehingga diagonal’, entah siapapun dia, pasti bukan salah satu dari mereka.

Jadi algoritma ini dapat menjamin bahwa orang dengan ciri-ciri yang disebutkan bukanlah salah satu dari mereka. Langkah-langkahnya dapat diringkaskan sebagai:

  1. Daftarkan ciri-ciri diagonalnya (D).
  2. Bentuk diagonal’ (D') yang ciri-cirinya berbeda seluruhnya dengan diagonal D.
  3. D' pasti tidak terdapat dalam daftar semula.

Algoritma ini akan kita gunakan untuk menunjukkan apakah banyaknya bilangan real pada interval (0,1) juga sama dengan banyaknya bilangan asli.

Berikutnya: Pemikiran dalam matematika yang membentuk dunia

Ditulis oleh
Pak Ari
Ditulis pada
Terakhir diupdate
Dipublikasikan
Frase kunci
sejarah pemikiran tokoh