Berpikir matematis
Daftar Isi Topik Mengenai Login

Contoh-contoh mesin Turing

  • contoh
  • pemikiran
  • mesin turing

Berikutnya: Mesin penambah ekor 0

  • Mesin penambah ekor 0

  • Contoh-contoh lainnya

Ditulis oleh
Ari Prasetyo
Ditulis pada
Monday, 22 Mar 2021 11:46:37
Terakhir diupdate
Monday, 22 Mar 2021 11:47:20
Dipublikasikan
Monday, 22 Mar 2021 11:48:03
Frase kunci
contoh pemikiran mesin turing
Berpikir matematis
Pemikiran-pemikiran dalam sejarah matematika yang membentuk dunia
  1. Sejumlah pengaruh
    1. Teknologi
    2. Ilmu pengetahuan
    3. Filsafat
    4. Seni
    5. Politik & Sosial
  2. Gambar besar bab ini
    1. Mengapa mempelajari hal ini penting?
  3. Euclid
    1. Postulat-postulat
      1. Postulat 5: Garis sejajar
    2. Proposisi-proposisi
      1. Pembuktian Proposisi 32B
    3. Pengaruh Euclid dalam dunia non-matematika
      1. Thomas Jefferson
      2. Benedict de Spinoza
      3. Seni lukis
      4. Origami
    4. Kecurigaan terhadap postulat 5
    5. Geometri Eliptik
      1. Ada bangun segidua
      2. Sudut segitiga lebih dari 180°
    6. Geometri Hiperbolik
      1. Sudut segitiga kurang dari 180°
      2. Cakram Poincaré
    7. Perbandingan ketiga Geometri
    8. Jadi, yang mana yang benar?
    9. Pengaruh Geometri Non-Euclidean dalam Seni
    10. Relativitas Einstein
      1. Lubang hitam
    11. Pertanyaan refleksi
  4. Georg Cantor (1845-1918)
    1. Himpunan tak berhingga
    2. Bilangan asli dan bilangan genap
      1. Intuisi vs. Logika
    3. Bilangan asli dan bilangan bulat
    4. Prinsip penomoran
    5. Bilangan asli dan bilangan rasional
    6. Dua ruas garis
    7. Ruas garis dan garis
    8. Interval (0, 1) dengan bilangan real
    9. Interval (0, 1) dengan (0, 1]
    10. Interval (0, 1) dengan bilangan asli
      1. Pembuktian diagonal
      2. Pembuktian diagonal untuk (0,1)
    11. Kardinalitas, Aleph, dan fraktur c
    12. Hipotesis kekontinuan
    13. 1 dimensi dengan 2 dimensi
      1. Percobaan pertama
      2. Percobaan kedua
      3. Percobaan ketiga
      4. Sekali lagi: Intuisi vs. Logika
  5. David Hilbert (1862-1943)
  6. Bertrand Russell (1872-1970)
    1. Paradoks Russell
    2. Teori tipe
    3. Principia Mathematica
  7. Kurt Gödel (1906-1978)
    1. Kebenaran dan Bukti
    2. Self reference
      1. Kalimat berbahaya
      2. Kalimat yang pasti benar
      3. Apakah matematika mengandung kalimat yang self-referential?
      4. Ternyata ada
    3. First order logic
      1. Bilangan
      2. Variabel
      3. Kalimat dalam first order logic
      4. Pembuktian
      5. Bilangan Gödel
    4. Self reference lagi
  8. Alan Turing (1912-1954)
    1. Mesin Turing
    2. Contoh-contoh mesin Turing
      1. Mesin penambah ekor 0
      2. Contoh-contoh lainnya
    3. Mesin Turing Universal
    4. Kecerdasan Buatan
    5. Program
    6. Halting Problem
      1. Percobaan 1
      2. Percobaan 2: Modifikasi NCEK
      3. Percobaan 3
    7. Apakah permasalahan ini hanya untuk komputer?
  9. Batas logika manusia
  10. Sejumlah pernyataan matematika dan pembuktiannya
    1. Apakah akar 2 bilangan irasional?
    2. Ada berapa banyak bilangan prima?
  11. Glosarium
  12. Referensi
  • Outline
  • Beranda
  • Ke judul
  • Alan Turing (1912-1954)
  • Mesin Turing
  • Mesin penambah ekor 0