Paradoks di jantung matematika: Teorema Ketidaklengkapan Gödel - Marcus du Sautoy: catatan belajar bahasa Inggris

TED-Ed

Tingkat kesulitan belajar
687 kata 141 kata/mnt

Ikhtisar video: Paradoks yang merujuk pada dirinya sendiri mengantar Kurt Gödel pada kajian tentang batas pembuktian matematika. Dengan mengodekan pernyataan sebagai angka, ia menunjukkan bahwa setiap sistem aksiomatis memuat kebenaran yang tidak dapat dibuktikan dari dalam sistem itu, menggugurkan harapan akan sistem yang sepenuhnya lengkap sekaligus membuka arah baru bagi matematika dan komputasi. Poin utama pembelajaran bahasa Inggris: 1. Consider the following sentence: — Wacana, penceritaan, dan retorika. Pelajari penanda akademis ringkas ini untuk mengarahkan perhatian audiens secara jelas kepada kalimat, contoh, atau persoalan yang akan dianalisis berikutnya, sehingga peralihan menuju penjelasan terasa terencana. 2. Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, — Tata bahasa dan pola kalimat. Kenali bagaimana Even if menyatakan konsesi, sedangkan by adding dan as merinci langkah perbaikan yang diusulkan: kesimpulan tetap berlaku walaupun sistem diperluas. Gunakan pola ini untuk menguji apakah suatu solusi benar-benar mengubah hasil yang tak terhindarkan. 3. Still, Gödel's theorem opened as many doors as it closed. — Idiom dan ungkapan kiasan. Pahami metafora pintu yang seimbang sebagai gambaran bahwa suatu perkembangan menciptakan peluang sekaligus batas yang sebanding. Gunakan pola as many ... as ... untuk merangkum dampak campuran tanpa menyederhanakannya sebagai sepenuhnya baik atau buruk.

Dalam pelajaran ini

Consider the following sentence: "This statement is false." Catatan

0:06

Perhatikan kalimat berikut: "Pernyataan ini salah."

Alur pesan

“Consider the following sentence:” sebagai ungkapan pembuka

“Consider the following sentence:” adalah instruksi yang mengarahkan perhatian ke kalimat setelah tanda titik dua. Di sini, consider berarti “mengamati dengan saksama dan memikirkan”, bukan “memutuskan apakah akan menerima”. Ungkapan ini menata informasi dengan memberi tahu jenis hal yang akan muncul berikutnya. Kata bendanya dapat diganti menjadi example, question, atau case, sedangkan pola “Consider the following ...” tetap sama.

Latihan

Lengkapi ungkapan sasaran yang digunakan untuk memperkenalkan kalimat yang akan dianalisis: ____: "Water freezes at zero degrees Celsius."

Lihat jawaban

Consider the following sentence

Budaya

“This statement is false.”: rujukan pada diri sendiri dan paradoks pembohong

Dalam teka-teki ini, “this statement” dipahami sebagai rujukan pada kalimat yang memuatnya. Karena itu, kalimat tersebut merujuk pada dirinya sendiri: kalimat itu membuat klaim tentang nilai kebenarannya sendiri. Jika kalimat itu benar, isi ucapannya membuatnya salah. Jika kalimat itu salah, klaim bahwa dirinya salah tampak benar. Peralihan antara benar dan salah ini adalah bentuk dasar paradoks pembohong.

Latihan

Mengapa “This statement is false.” menciptakan paradoks dalam teka-teki ini?

  1. Kalimat tersebut tidak memiliki subjek.
  2. Kata “false” hanya dapat digunakan dalam matematika.
  3. “This statement” merujuk pada kalimat itu sendiri.
Lihat jawaban

“This statement” merujuk pada kalimat itu sendiri.

Is that true?

0:11

Apakah itu benar?

If so, that would make this statement false. Catatan

0:12

Jika ya, itu berarti pernyataan ini salah.

Alur pesan

If so: merujuk kembali pada kondisi sebelumnya

If so berarti “jika itu benar” atau “jika keadaannya demikian”. Di sini, so menggantikan seluruh gagasan yang baru saja disebutkan. Ungkapan ini menjadikan gagasan sebelumnya sebagai syarat untuk pernyataan berikutnya. Dengan begitu, alur penalaran tetap jelas tanpa mengulang seluruh gagasan.

Latihan

Lengkapi kalimat dengan ungkapan dua kata dari pelajaran ini yang berarti “jika itu benar”: The library may still be open. ____, we can return the books tonight.

Lihat jawaban

If so

Tata bahasa

would make + objek + kata sifat untuk hasil hipotesis

Pola would make + objek + kata sifat menjelaskan hasil dari suatu kondisi hipotesis. Dalam kalimat tersebut, this statement adalah objek, sedangkan false adalah kata sifat yang menjelaskan keadaan objek itu. Di sini, make bersifat kausatif: artinya “menyebabkan menjadi atau berada dalam suatu keadaan”, bukan “menciptakan”. Would menunjukkan bahwa hasil tersebut bergantung pada asumsi sebelumnya dan bukan fakta yang pasti.

Latihan

Gunakan would make + objek + kata sifat untuk melengkapi hasil hipotesis berikut: Removing the warning label ____ the box unsafe.

Lihat jawaban

would make

But if it's false, then the statement is true. Tata bahasa

0:14

Namun jika salah, maka pernyataan itu benar.

Tata bahasa

if ... then ...: menandai kondisi dan kesimpulannya

Klausa if menyatakan kondisi: “pernyataan itu salah”. Klausa then menyatakan kesimpulan yang berlaku dalam kondisi tersebut: “pernyataan itu benar”. Dalam pola ini, then berarti “dalam keadaan itu”, bukan “kemudian” dalam urutan waktu. Struktur ini membuat langkah penalaran mudah diikuti: pertama nyatakan asumsi, lalu sebutkan kesimpulan yang muncul darinya. Di sini, hubungan yang jelas antara kondisi dan kesimpulan membantu memperlihatkan paradoksnya.

Latihan

Lengkapi pernyataan logis dengan if ... then ...: ____ a number ends in zero, ____ it is divisible by ten.

Lihat jawaban

If · then

By referring to itself directly, this statement creates an unresolvable paradox. Catatan

0:17

Dengan merujuk pada dirinya sendiri secara langsung, pernyataan ini menciptakan paradoks yang tak terpecahkan.

Tata bahasa

By referring to itself directly: by + gerund untuk menunjukkan metode

Frasa pembuka menggunakan by + gerund, yaitu by + referring. Struktur ini menyebutkan proses yang menghasilkan akibat utama. Referring to itself berarti pernyataan tersebut berbicara langsung tentang pernyataan itu sendiri. Menempatkan frasa ini di awal menyajikan metode atau mekanisme sebelum hasilnya. Subjek klausa utama, this statement, juga merupakan hal yang melakukan tindakan referring, sehingga kedua bagian terhubung dengan jelas.

Latihan

Gunakan by + bentuk -ing dari read untuk melengkapi kalimat: ____ the instructions carefully, Mia finished the project correctly.

Lihat jawaban

By reading

Pilihan kata

unresolvable paradox: pertentangan tanpa penyelesaian yang stabil

unresolvable paradox adalah pertentangan yang tidak dapat diberi penyelesaian stabil dalam aturan atau kerangka yang sedang digunakan. Di sini, menyebut pernyataan itu true maupun false akan membawa kita kembali pada pertentangan. Unresolvable berarti “tidak dapat diselesaikan”, bukan sekadar “belum diselesaikan”. Paradox menamai situasi konflik logis tersebut, sehingga frasa ini lebih tepat daripada problem.

Latihan

Situasi mana yang paling tepat disebut an unresolvable paradox?

  1. Sebuah pertanyaan belum dijawab karena belum ada yang memeriksanya.
  2. Sebuah aturan membuat pernyataan yang sama menjadi benar sekaligus salah dan tidak menyediakan jalan keluar.
  3. Sebuah soal matematika sulit, tetapi memiliki jawaban yang sudah diketahui.
Lihat jawaban

Sebuah aturan membuat pernyataan yang sama menjadi benar sekaligus salah dan tidak menyediakan jalan keluar.

So if it's not true and it's not false, Alur pesan

0:22

Jadi jika itu tidak benar dan tidak salah,

what is it?

0:25

apakah itu?

Alur pesan

Jika bukan benar dan bukan salah, lalu apa? sebagai pertanyaan retoris

Klausa if mengumpulkan dua klasifikasi yang gagal, yaitu true dan false, menjadi satu syarat. Pertanyaan terakhir kemudian menempatkan kategori yang hilang pada posisi yang paling menonjol. Dalam konteks ini, what is it? bukan terutama pertanyaan tentang nama suatu benda. Ini adalah pertanyaan retoris yang menunjukkan bahwa pilihan biasa antara true dan false telah gagal dan membawa pendengar ke bagian penjelasan berikutnya. It merujuk pada pernyataan yang mengacu kepada dirinya sendiri.

Latihan

Apa fungsi wacana utama dari pertanyaan yang disorot dalam konteks ini?

  1. Pertanyaan itu menyatakan bahwa pernyataan tersebut pasti salah.
  2. Pertanyaan itu menanyakan lokasi fisik pernyataan tersebut.
  3. Pertanyaan itu menunjukkan bahwa klasifikasi benar-atau-salah yang biasa telah gagal dan mengantar ke gagasan berikutnya.
Lihat jawaban

Pertanyaan itu menunjukkan bahwa klasifikasi benar-atau-salah yang biasa telah gagal dan mengantar ke gagasan berikutnya.

This question might seem like a silly thought experiment. Catatan

0:26

Pertanyaan ini mungkin tampak seperti eksperimen pemikiran yang konyol.

Maksud

might seem like: memperhalus kesan pertama

Dalam kalimat ini, might seem like menunjukkan bahwa sesuatu mungkin memberikan kesan pertama tertentu. seem like menyatakan penampilan atau kesan, sedangkan might membuat pernyataannya semakin tidak langsung. Pembicara mengakui sejenak bagaimana pertanyaan itu mungkin terlihat bagi pendengar tanpa menyatakan bahwa pertanyaan tersebut benar-benar konyol. Ungkapan ini sering mempersiapkan kontras: sesuatu mungkin tampak seperti itu, tetapi bagian selanjutnya menunjukkan bahwa kesan pertama tersebut belum lengkap.

Latihan

Lengkapi kalimat dengan ungkapan target tiga kata yang menyampaikan kesan pertama secara lebih halus: This shortcut ____ a good idea, but it creates more work.

Lihat jawaban

might seem like

Pilihan kata

silly thought experiment: pengujian gagasan melalui situasi khayalan

Thought experiment adalah situasi khayalan yang digunakan untuk menguji suatu gagasan, prinsip, atau konsekuensi logis. Hal itu mungkin tidak melibatkan peralatan, pengukuran, atau prosedur di dunia nyata; penalarannya dilakukan dengan menanyakan apa yang akan terjadi jika kondisi yang dibayangkan benar. Di sini, silly menggambarkan kesan pertama yang diciptakan oleh seluruh frasa might seem like a silly thought experiment. Pembicara tidak akhirnya menolak pertanyaan itu sebagai sesuatu yang tidak berguna; susunan katanya memberi ruang untuk menunjukkan bahwa pertanyaan yang tampaknya konyol tersebut sebenarnya penting.

Latihan

Pilihan mana yang merupakan eksperimen pikiran, bukan eksperimen di dunia nyata?

  1. Plant two seeds and record which one grows faster.
  2. Imagine that nobody needed sleep and reason through how schools and jobs would change.
  3. Measure how long three batteries power the same flashlight.
Lihat jawaban

Imagine that nobody needed sleep and reason through how schools and jobs would change.

But in the early 20th century, it led Austrian logician Kurt Gödel to a discovery that would change mathematics forever. Catatan

0:29

Namun pada awal abad ke-20, hal ini menuntun ahli logika Austria Kurt Gödel pada sebuah penemuan yang akan mengubah matematika selamanya.

Frasa

led Austrian logician Kurt Gödel to a discovery: membawa seseorang pada suatu hasil

Strukturnya adalah lead + orang + to + hasil. Di sini, led adalah bentuk lampau dari lead. Orang yang terkena pengaruhnya adalah seluruh frasa nomina Austrian logician Kurt Gödel, sedangkan to a discovery menyatakan hasilnya. Dalam kalimat ini, it merujuk pada masalah paradoks yang disebutkan sebelumnya. Ungkapan ini menggambarkan masalah tersebut sebagai penyebab atau jalan yang membawa Gödel pada penemuan itu, bukan sebagai perjalanan secara harfiah. Pola ini dapat menjelaskan bagaimana bukti, pertanyaan, atau pengalaman menghasilkan suatu hasil.

Latihan

Lengkapi kalimat dengan bentuk lampau lead dan preposisi yang diperlukan: A strange clue ____ the detective ____ an important discovery.

Lihat jawaban

led · to

Alur pesan

that would change mathematics forever: masa depan dilihat dari masa lalu

Klausa relatif that would change mathematics forever menerangkan a discovery dan menjelaskan mengapa penemuan itu penting. Klausa tersebut menempatkan informasi baru setelah nomina, sehingga kalimat terlebih dahulu memperkenalkan penemuan itu lalu mengungkapkan dampaknya di kemudian hari. Karena sudut pandang narasi berada pada awal abad ke-20, would change berarti perubahan itu masih berada di masa depan jika dilihat dari titik waktu lampau tersebut. Narator sudah mengetahui hasil setelahnya, tetapi menyajikannya sebagai masa depan dari momen yang lebih awal. Ini adalah masa depan dalam sudut pandang masa lalu, bukan permintaan sopan. Forever memberi penekanan dramatis pada pentingnya dampak yang bertahan lama.

Latihan

Dalam kalimat She found an idea that would change her life, apa yang ditunjukkan oleh would change?

  1. Permintaan sopan agar gagasan itu mengubah hidupnya.
  2. Prediksi dari masa kini tentang perubahan yang belum terjadi.
  3. Perubahan yang terjadi kemudian, dilihat dari titik yang lebih awal dalam cerita.
Lihat jawaban

Perubahan yang terjadi kemudian, dilihat dari titik yang lebih awal dalam cerita.

Gödel's discovery had to do with the limitations of mathematical proofs. Catatan

0:37

Penemuan Gödel berkaitan dengan keterbatasan pembuktian matematis.

Frasa

had to do with: berkaitan dengan

Had to do with adalah bentuk lampau dari have to do with. Sebagai satu ungkapan utuh, artinya “berkaitan dengan” atau “berhubungan dengan”. Di sini, ungkapan itu menghubungkan penemuan Gödel dengan keterbatasan pembuktian matematis. Jangan pisahkan had to lalu menafsirkannya sebagai “harus melakukan”. Dalam pola ini, had membuat seluruh ungkapan hubungan menjadi bentuk lampau, sedangkan with memperkenalkan topik yang terkait.

Latihan

Lengkapi kalimat dengan bentuk lampau dari have to do with: The delay ____ a damaged cable.

Lihat jawaban

had to do with

Pilihan kata

limitations of mathematical proofs: batas, bukan kesalahan

Dalam kalimat ini, limitations of mathematical proofs berarti batas mengenai hal-hal yang dapat ditetapkan oleh sistem pembuktian matematis. Limitation adalah batas yang tidak dapat dilampaui oleh metode atau sistem, bukan selalu kesalahan dalam suatu pembuktian tertentu. Frasa dengan of menyebutkan hal yang kemampuannya memiliki batas, yaitu mathematical proofs. Pola formal the limitations of X berguna untuk membahas apa yang dapat dan tidak dapat dilakukan oleh suatu metode, alat, atau sistem.

Latihan

Frasa mana yang berarti batas mengenai hal-hal yang dapat ditetapkan oleh sistem pembuktian, bukan kesalahan dalam pembuktian tertentu?

  1. limitations of mathematical proofs
  2. mistakes in mathematical proofs
  3. steps in mathematical proofs
Lihat jawaban

limitations of mathematical proofs

A proof is a logical argument that demonstrates why a statement about numbers is true. Catatan

0:42

Bukti adalah argumen logis yang mendemonstrasikan mengapa sebuah pernyataan tentang angka adalah benar.

Alur pesan

A proof is a logical argument that demonstrates ...: definisi dua bagian

Pola A proof is a logical argument that demonstrates ... mendefinisikan proof dalam dua langkah. A proof is a logical argument menempatkan proof dalam kategori umum logical argument, lalu that demonstrates ... menambahkan fungsi yang menjadi ciri jenis argumen ini. Di sini, argument berarti rangkaian alasan yang saling berkaitan, bukan pertengkaran. Kamu dapat menggunakan X is a Y that ... untuk mendefinisikan sesuatu dengan menyebutkan kategorinya terlebih dahulu, lalu tujuan atau ciri utamanya.

Latihan

Kalimat mana yang mengikuti pola informasi yang sama: istilah + is + kategori + klausa that yang menjelaskan fungsinya?

  1. An algorithm can solve a specific problem very quickly.
  2. Can an algorithm solve this specific problem?
  3. An algorithm is a set of steps that solves a specific problem.
Lihat jawaban

An algorithm is a set of steps that solves a specific problem.

Tata bahasa

why a statement about numbers is true: urutan kata dalam klausa why tersemat

Dalam demonstrates why a statement about numbers is true, klausa why menyatakan isi dari hal yang ditunjukkan oleh pembuktian. Klausa ini merupakan pertanyaan tidak langsung yang menjadi bagian dari kalimat, bukan pertanyaan langsung kepada pendengar. Pertanyaan dengan why yang menjadi bagian dari kalimat menggunakan urutan pernyataan: why + subjek + verba. Karena itu, bentuknya adalah why a statement ... is true, bukan why is a statement ... true.

Latihan

Kalimat mana yang menggunakan urutan kata yang benar dalam klausa why yang menjadi bagian dari kalimat?

  1. The teacher explained why was the answer correct.
  2. Why was the answer correct?
  3. The teacher explained why the answer was correct.
Lihat jawaban

The teacher explained why the answer was correct.

The building blocks of these arguments are called axioms, Catatan

0:48

Blok penyusun argumen ini disebut aksioma,

undeniable statements about the numbers involved. Pilihan kata

0:52

pernyataan yang tak terbantahkan tentang angka-angka yang terlibat.

Idiom

building blocks: bagian dasar dari sistem yang lebih besar

Building blocks secara harfiah berarti bagian-bagian yang digunakan untuk membangun sesuatu. Di sini, ungkapan tersebut merupakan metafora untuk bagian-bagian dasar yang membentuk sistem atau gagasan yang lebih besar. Dalam kalimat ini, axioms disajikan sebagai bagian dasar dari argumen matematika. Pola the building blocks of + kata benda dapat digunakan untuk menunjukkan komponen inti dari banyak hal abstrak.

Latihan

Lengkapi kalimat dengan ungkapan dua kata dari pelajaran yang berarti “bagian-bagian dasar”: Trust and communication are the ____ of a strong team.

Lihat jawaban

building blocks

Tata bahasa

are called axioms: pola be called + nama

Dalam are called axioms, are called adalah bentuk pasif: subjek menerima nama axioms. Subjeknya adalah frasa jamak The building blocks of these arguments, sehingga bentuk be yang benar adalah are. Pola yang dapat digunakan kembali adalah subject + be called + name. Pola ini memperkenalkan sebuah istilah tanpa berfokus pada siapa yang memilih namanya. Koma setelah axioms mengantar pada penjelasan singkat tentang apa itu aksioma.

Latihan

Lengkapi kalimat dengan pola penamaan pasif be called: Closed shapes with three sides ____ triangles.

Lihat jawaban

are called

Pilihan kata

undeniable statements ... the numbers involved: pernyataan tak terbantahkan dan angka yang terkait

Di sini, undeniable statements berarti pernyataan yang disajikan sebagai sesuatu yang secara wajar tidak dapat dibantah. Frasa ini menggambarkan aksioma sebagai pernyataan dasar yang dapat mendukung penalaran matematika selanjutnya. Dalam the numbers involved, involved muncul setelah numbers dan berarti angka-angka tersebut relevan dengan atau termasuk dalam sistem yang sedang dibahas. Kata ini tidak berarti bahwa angkanya rumit.

Latihan

Dalam frasa the numbers involved, apa arti involved?

  1. angka-angka yang relevan dengan persoalan tersebut
  2. angka-angka yang sudah dibuktikan
  3. angka-angka yang sulit dihitung
Lihat jawaban

angka-angka yang relevan dengan persoalan tersebut

Every system built on mathematics, Frasa

0:55

Setiap sistem yang dibangun di atas matematika,

from the most complex proof to basic arithmetic, Alur pesan

0:57

dari bukti yang paling kompleks hingga aritmatika dasar,

Alur pesan

from the most complex proof to basic arithmetic: menandai suatu rentang

Dalam frasa ini, from A to B menyebutkan dua ujung suatu rentang. Di sini, kedua ujungnya adalah pembuktian yang paling rumit dan aritmetika dasar, sehingga frasa tersebut berarti bahwa materi di seluruh rentang itu tercakup; frasa ini tidak menggambarkan perpindahan. Ketika diletakkan di samping frasa nomina yang lebih luas seperti every system, rentang ini menambahkan informasi tentang cakupan. Hal ini menunjukkan bahwa suatu pernyataan berlaku pada tingkat yang sangat berbeda, dari satu ujung ke ujung lainnya.

Latihan

Lengkapi kalimat dengan from ... to ... untuk menunjukkan seluruh rentang: The workshop welcomes participants ____ complete beginners ____ experienced designers.

Lihat jawaban

from · to

is constructed from axioms.

1:00

dikonstruksi dari aksioma.

Frasa

built on ... constructed from axioms: landasan dan unsur pembentuk

Kedua frasa memakai pembangunan sebagai metafora untuk sistem abstrak. Built on mathematics menunjukkan landasan yang menjadi tumpuan sistem; constructed from axioms menunjukkan unsur-unsur dasar yang digunakan untuk membentuknya. Dalam kalimat tersebut, built on mathematics adalah bentuk singkat dari that is built on mathematics dan menerangkan every system. Predikat utamanya adalah is constructed from axioms.

Latihan

Gunakan built dan constructed untuk melengkapi kalimat: The platform is ____ open-source technology and ____ reusable modules.

Lihat jawaban

built on · constructed from

And if a statement about numbers is true, Tata bahasa

1:03

Dan jika sebuah pernyataan tentang angka adalah benar,

mathematicians should be able to confirm it with an axiomatic proof.

1:05

matematikawan seharusnya bisa mengonfirmasinya dengan bukti aksiomatik.

Tata bahasa

if ... should be able to ...: menyatakan kemampuan yang diharapkan

Klausa if menetapkan sebuah kondisi: suatu pernyataan tentang bilangan itu benar. Klausa utama kemudian mengatakan bahwa para matematikawan seharusnya dapat mengonfirmasinya dengan pembuktian aksiomatik. Di sini, should tidak memberi perintah kepada para matematikawan. Kata ini menandai apa yang menurut teori patut kita harapkan: jika kondisinya terpenuhi, konfirmasi seharusnya dapat dilakukan. Be able to memusatkan harapan tersebut pada kemampuan.

Latihan

Kalimat mana yang menyatakan harapan wajar tentang kemampuan berdasarkan suatu kondisi, bukan pernyataan langsung tentang kemampuan atau suatu kewajiban?

  1. If the code is correct, the user can sign in.
  2. If the code is correct, the user should be able to sign in.
  3. If the code is correct, the user must sign in.
Lihat jawaban

If the code is correct, the user should be able to sign in.

Since ancient Greece,

1:10

Sejak Yunani kuno,

mathematicians used this system to prove or disprove mathematical claims with total certainty. Frasa

1:11

matematikawan menggunakan sistem ini untuk membuktikan atau menyangkal klaim matematis dengan kepastian total.

Frasa

prove or disprove: membuktikan bahwa suatu klaim benar atau salah

To prove or disprove a claim berarti menyelesaikan pemeriksaan klaim dalam salah satu dari dua arah: prove menunjukkan bahwa klaim itu benar, sedangkan disprove menunjukkan bahwa klaim itu salah. Disprove lebih kuat daripada sekadar tidak setuju. Kata ini melibatkan bukti atau penalaran yang menggugurkan klaim tersebut. Objek setelah pasangan ini adalah pernyataan yang diuji; dalam kalimat asli, objeknya adalah mathematical claims.

Latihan

Lengkapi kalimat dengan pasangan ungkapan dari pelajaran ini yang berarti “membuktikan sebagai benar atau membuktikan sebagai salah”: A second measurement could ____ the scientist's claim.

Lihat jawaban

prove or disprove

Frasa

with total certainty: tanpa keraguan sedikit pun

With total certainty adalah frasa preposisional yang menunjukkan seberapa yakin sesuatu diketahui atau ditetapkan. Dalam kalimat ini, frasa tersebut menerangkan prove or disprove dan menyatakan bahwa hasilnya tidak menyisakan keraguan. Di sini, certainty adalah gagasan abstrak dan tak terhitung tentang keadaan merasa yakin, bukan suatu “hal tertentu”. Total menaikkan tingkat kepastian ke tingkat yang paling kuat.

Latihan

Lengkapi kalimat dengan frasa dari pelajaran ini yang berarti “tanpa keraguan sedikit pun”: After checking the original file, Maya could identify the author ____.

Lihat jawaban

with total certainty

But when Gödel entered the field, Pilihan kata

1:18

Namun ketika Gödel memasuki bidang ini,

Pilihan kata

entered the field: mulai bekerja dalam bidang profesional

Di sini, field berarti bidang studi atau pekerjaan profesional, khususnya matematika dan logika, bukan sebidang tanah. Gödel entered the field berarti Gödel mulai terlibat dalam pekerjaan dan penelitian di bidang tersebut. Penggunaan ini lazim untuk menggambarkan seseorang yang memulai karier atau mulai aktif dalam suatu disiplin ilmu. Jika bidangnya belum disebutkan, tambahkan of + nama bidang, seperti dalam the field of robotics.

Latihan

Lengkapi kalimat dengan ungkapan tiga kata dari pelajaran ini yang berarti “mulai bekerja dalam bidang profesional tersebut”: After finishing her cybersecurity training, Ava ____.

Lihat jawaban

entered the field

some newly uncovered logical paradoxes were threatening that certainty. Idiom

1:20

beberapa paradoks logis yang baru terungkap mengancam kepastian tersebut.

Idiom

were threatening that certainty: membahayakan suatu gagasan abstrak

Paradoks-paradoks yang baru ditemukan ditampilkan sebagai bahaya aktif terhadap kepastian tersebut. Threaten bukan berarti paradoks itu berbicara atau memberi peringatan, melainkan bahwa keberadaannya dapat melemahkan atau menghancurkan perasaan akan kepastian mutlak sebelumnya. Bentuk lampau progresif were threatening menunjukkan bahwa bahaya itu sedang berkembang pada titik tersebut dalam cerita. Secara umum, penyebab abstrak dapat threaten hasil abstrak, seperti kepercayaan, kestabilan, atau kepastian, ketika hal itu menempatkan hasil tersebut dalam risiko serius.

Latihan

Kalimat mana yang menggunakan threaten dengan cara abstrak yang sama seperti contoh?

  1. The speaker threatened the audience with punishment.
  2. Several errors threatened confidence in the report.
  3. The child whispered a warning to her friend.
Lihat jawaban

Several errors threatened confidence in the report.

Prominent mathematicians were eager to prove that mathematics had no contradictions. Catatan

1:26

Matematikawan terkemuka sangat ingin membuktikan bahwa matematika tidak memiliki kontradiksi.

Frasa

were eager to prove: pola be eager to + verba

Dalam were eager to prove, were menandai waktu lampau dan eager menyatakan keinginan yang kuat dan aktif. Polanya adalah be eager to + bentuk dasar verba, sehingga prove tetap dalam bentuk dasar setelah to. Di sini, ungkapan tersebut menggambarkan para matematikawan terkemuka sebagai orang yang sangat terdorong untuk membuktikan suatu hasil. Maknanya lebih kuat daripada sekadar mengatakan they wanted to prove it.

Latihan

Lengkapi kalimat dengan bentuk lampau be eager to: The researchers ____ confirm the result.

Lihat jawaban

were eager to

Pilihan kata

mathematics had no contradictions: konsistensi logis

Dalam mathematics had no contradictions, contradiction digunakan dalam makna logika formal. Sebuah sistem mengandung kontradiksi jika aturannya memungkinkan suatu pernyataan dan penyangkalannya sama-sama dibuktikan; mengatakan bahwa sistem itu had no contradictions berarti menggambarkan konsistensinya. Had menyajikan konsistensi ini dari sudut pandang masa lalu, sebagai klaim yang ingin dibuktikan oleh para matematikawan saat itu. Frasa ini menilai sistem itu sendiri, bukan menyatakan bahwa semua soal matematika mudah.

Latihan

Dalam kalimat mathematics had no contradictions, penafsiran mana yang benar?

  1. Sistem tidak dapat membuktikan kesimpulan yang saling bertentangan.
  2. Para matematikawan sepakat dalam setiap persoalan.
  3. Soal matematika tidak pernah sulit.
Lihat jawaban

Sistem tidak dapat membuktikan kesimpulan yang saling bertentangan.

Gödel himself wasn't so sure, Maksud

1:31

Gödel sendiri tidak begitu yakin,

Maksud

himself wasn't so sure: penekanan pribadi dan keraguan yang terkendali

Di sini, himself adalah kata ganti refleksif yang berfungsi memberi penekanan. Kata ini memusatkan perhatian pada Gödel secara pribadi dan mempertentangkan pandangannya dengan pandangan para matematikawan terkemuka yang disebut sebelumnya. Wasn't so sure menunjukkan bahwa ia memiliki keraguan atau keberatan. Ini merupakan cara yang terkendali untuk menyatakan ketidakpastian, bukan pernyataan bahwa ia sama sekali tidak tahu atau pasti menolak dengan tegas.

Latihan

Penafsiran mana yang paling sesuai dengan Gödel himself wasn't so sure?

  1. Gödel sendiri memiliki beberapa keraguan, tidak seperti kelompok yang lebih yakin.
  2. Gödel dengan tegas menolak semua pendekatan matematika.
  3. Gödel sama sekali tidak mengetahui masalah itu.
Lihat jawaban

Gödel sendiri memiliki beberapa keraguan, tidak seperti kelompok yang lebih yakin.

and he was even less confident that mathematics was the right tool to investigate this problem. Catatan

1:33

dan dia bahkan kurang yakin bahwa matematika adalah alat yang tepat untuk menyelidiki masalah ini.

Frasa

even less confident: even memperkuat tingkat keyakinan yang lebih rendah

Less confident adalah konstruksi perbandingan yang menempatkan tingkat keyakinannya pada posisi lebih rendah. Even memperkuat perbandingan itu, sehingga even less confident berarti keraguannya meningkat satu langkah dari keraguan yang telah disebutkan. Klausa berikutnya dengan that menyatakan hal yang kurang ia yakini: bahwa matematika adalah alat yang tepat untuk penyelidikan tersebut. Pola yang dapat digunakan kembali ialah even + bentuk komparatif, seperti even less certain atau even harder.

Latihan

Gunakan even + bentuk komparatif dari confident untuk menunjukkan penurunan keyakinan lebih lanjut: After two more errors, the reviewers were ____ that the figures were accurate.

Lihat jawaban

even less confident

Pilihan kata

the right tool to investigate this problem: memilih metode yang sesuai

Di sini, tool adalah metafora untuk metode, bidang, atau teknik yang digunakan untuk memecahkan atau mempelajari sesuatu. Matematika dinilai sebagai cara untuk menyelidiki masalah tersebut, bukan digambarkan sebagai benda fisik. Pola the right tool to + kata kerja berarti metode yang sesuai untuk tugas tertentu. Right menilai apakah sesuatu cocok dengan tujuannya; bukan sekadar berarti alat itu benar.

Latihan

Lengkapi kalimat dengan frasa target yang berarti metode yang sesuai untuk tugas ini: A survey may be ____ understand why customers leave.

Lihat jawaban

the right tool to

While it's relatively easy to create a self-referential paradox with words, Catatan

1:40

Walaupun relatif mudah untuk menciptakan paradoks yang merujuk pada diri sendiri dengan kata-kata,

Tata bahasa

While it's relatively easy to ...: membuka pernyataan konsesif

Di sini, While berarti walaupun, bukan selama waktu ketika. Klausa tersebut mengakui bahwa membuat paradoks yang merujuk pada dirinya sendiri dengan kata-kata relatif mudah, lalu mempersiapkan pendengar untuk gagasan utama yang berlawanan tentang kasus lain. Pola yang dapat digunakan kembali adalah While + klausa, klausa utama. Pola ini mengatur informasi dengan menempatkan hal latar belakang yang diterima terlebih dahulu, lalu menyampaikan kontras yang lebih penting dalam klausa utama. Relatively easy berarti lebih mudah jika dibandingkan, bukan tanpa usaha.

Latihan

Kalimat mana yang menggunakan while dengan makna konsesif yang sama seperti contoh?

  1. Please wait here while I check the schedule.
  2. While I was washing the dishes, the doorbell rang.
  3. While the instructions look simple, the machine is difficult to operate.
Lihat jawaban

While the instructions look simple, the machine is difficult to operate.

Pilihan kata

a self-referential paradox: paradoks yang merujuk pada dirinya sendiri

Self-referential berarti “merujuk pada dirinya sendiri”: self- berarti “diri sendiri”, sedangkan referential berkaitan dengan menunjuk atau merujuk. A self-referential paradox adalah paradoks yang muncul ketika suatu pernyataan, aturan, atau sistem merujuk kembali pada dirinya sendiri sehingga menciptakan pertentangan atau lingkaran yang mustahil. Di sini, frasa tersebut menyatakan bahwa kata-kata dapat dengan mudah disusun untuk menciptakan rujukan pada diri sendiri seperti ini. Tidak semua pernyataan yang merujuk pada dirinya sendiri merupakan paradoks; rujukan itu juga harus menimbulkan masalah logika.

Latihan

Deskripsi mana yang paling sesuai dengan a self-referential paradox?

  1. Sebuah pernyataan menciptakan pertentangan dengan merujuk pada dirinya sendiri.
  2. Sebuah kalimat merujuk pada fakta di buku lain.
  3. Seseorang menolak berbagi dengan orang lain.
Lihat jawaban

Sebuah pernyataan menciptakan pertentangan dengan merujuk pada dirinya sendiri.

numbers don't typically talk about themselves. Idiom

1:45

angka biasanya tidak membicarakan dirinya sendiri.

Idiom

numbers don't typically talk about themselves: rujukan pada diri sendiri melalui personifikasi

Kalimat ini mempersonifikasikan angka dengan memberinya tindakan manusia, yaitu talk about. Di sini, talk about themselves bukan berarti berbicara dengan suara keras, melainkan merujuk pada diri sendiri atau memuat deskripsi tentang diri sendiri. Typically berarti “dalam kebanyakan keadaan biasa”, bukan “selalu”. Pembicara membuat perbandingan umum: kata-kata dapat dengan mudah mendeskripsikan dirinya sendiri, sedangkan angka biasanya tidak melakukan itu dengan sendirinya.

Latihan

Apa arti “numbers don't typically talk about themselves” di sini?

  1. Angka pada umumnya tidak merujuk atau mendeskripsikan dirinya sendiri.
  2. Angka biasanya diam ketika orang membacanya dengan suara keras.
  3. Angka lebih suka membicarakan angka lain.
Lihat jawaban

Angka pada umumnya tidak merujuk atau mendeskripsikan dirinya sendiri.

A mathematical statement is simply true or false, Alur pesan

1:48

Sebuah pernyataan matematis hanya bisa benar atau salah,

but Gödel had an idea. Alur pesan

1:52

tetapi Gödel punya ide.

Alur pesan

A mathematical statement is simply true or false: membentuk kerangka dua kategori

Bagian yang disorot menempatkan pernyataan matematika ke dalam salah satu dari dua kategori: benar atau salah. Di sini, simply berarti “hanya” atau “dalam penggolongan dasar”; bukan berarti matematika itu mudah. Karena ditempatkan sebelum but, kerangka dua pilihan ini memberi pembaca aturan awal yang sudah dikenal. Kalimat kemudian dapat beralih ke gagasan Gödel sebagai sesuatu yang akan membuat gambaran sederhana itu menjadi lebih rumit.

Latihan

Apa fungsi bagian yang disorot dalam kalimat ini?

  1. Menetapkan kerangka benar atau salah yang sudah dikenal sebelum kalimat beralih arah.
  2. Menyatakan bahwa semua bagian matematika itu mudah.
  3. Menjelaskan rincian gagasan Gödel.
Lihat jawaban

Menetapkan kerangka benar atau salah yang sudah dikenal sebelum kalimat beralih arah.

Alur pesan

but Gödel had an idea: peralihan dalam narasi

But menandakan bahwa penjelasan sedang beralih arah. Bagian sebelumnya memberikan gambaran sederhana tentang benar atau salah; but Gödel had an idea memindahkan perhatian dari latar belakang itu kepada tokoh dan perkembangan penting berikutnya. Had an idea memperkenalkan kemungkinan jalan ke depan tanpa langsung menjelaskannya. Ungkapan ini menciptakan gerak dan rasa ingin tahu, tetapi tidak berarti gagasan itu sudah terbukti atau berhasil.

Latihan

Apa fungsi but Gödel had an idea dalam narasi?

  1. Membuktikan bahwa gagasan Gödel sudah benar.
  2. Mengulang aturan benar atau salah tanpa beralih arah.
  3. Beralih dari aturan latar belakang menuju gagasan baru yang akan dijelaskan berikutnya.
Lihat jawaban

Beralih dari aturan latar belakang menuju gagasan baru yang akan dijelaskan berikutnya.

First, he translated mathematical statements and equations into code numbers, Frasa

1:54

Pertama, ia menerjemahkan pernyataan matematis dan persamaan ke dalam nomor kode,

Frasa

translate A into B: mengubah satu bentuk menjadi bentuk lain

Translate A into B berarti mengubah A dari satu bentuk atau sistem menjadi B. Di sini, pernyataan dan persamaan matematika diubah menjadi kode angka; tidak terjadi penerjemahan antarbahasa alami. Hasil setelah into menunjukkan jenis perubahan yang terjadi. Pola ini dapat menggambarkan penerjemahan bahasa, pengodean, konversi format, atau penyajian gagasan dalam bentuk lain.

Latihan

Lengkapi pola translate A into B: The scanner translates printed pages ____ searchable text.

Lihat jawaban

into

so that a complex mathematical idea could be expressed in a single number. Tata bahasa

1:59

sehingga sebuah ide matematis yang kompleks dapat diungkapkan dalam satu angka.

Tata bahasa

so that ... could be expressed: tujuan dan kemungkinan yang tercipta

So that menghubungkan tindakan sebelumnya dengan tujuan atau hasil yang dimungkinkan oleh tindakan itu: pengodean membuat satu bilangan dapat mewakili sebuah gagasan matematika yang rumit. Di sini, maknanya dekat dengan in order that, bukan sekadar therefore. Could be expressed menggabungkan could dengan bentuk pasif be + past participle. Could menunjukkan kemungkinan yang tercipta, sedangkan bentuk pasif memusatkan perhatian pada gagasan dan cara gagasan itu dapat dinyatakan, bukan pada orang yang menyatakannya.

Latihan

Lengkapi kalimat dengan so that dan bentuk pasif understand yang tepat: The safety message was rewritten ____ it could ____ by children.

Lihat jawaban

so that · be understood

This meant that mathematical statements written with those numbers Alur pesan

2:03

Ini berarti bahwa pernyataan matematis yang ditulis dengan angka-angka tersebut

were also expressing something about the encoded statements of mathematics. Pilihan kata

2:07

juga mengekspresikan sesuatu tentang pernyataan matematis yang dikodekan.

Alur pesan

This meant that: menghubungkan fakta dengan akibatnya

Dalam kalimat ini, This merujuk pada langkah sebelumnya, yaitu mengodekan pernyataan matematika sebagai angka. meant that memperkenalkan hal yang dihasilkan oleh langkah tersebut: Pernyataan yang ditulis dengan angka-angka itu juga dapat mengatakan sesuatu tentang pernyataan matematika yang diwakilinya. Pola This meant that + klausa mengatur rantai penalaran. Pola ini menjadikan fakta sebelumnya sebagai titik awal suatu akibat atau implikasi. Di sini, meant berarti “mengakibatkan bahwa”, bukan “memberikan definisi sebuah kata”.

Latihan

Apa fungsi This meant that dalam contoh tersebut?

  1. Ungkapan ini menghubungkan langkah pengodean sebelumnya dengan akibat yang dihasilkannya.
  2. Ungkapan ini memperkenalkan fakta yang tidak berhubungan dengan langkah sebelumnya.
  3. Ungkapan ini memberikan definisi kamus untuk kata mathematics.
Lihat jawaban

Ungkapan ini menghubungkan langkah pengodean sebelumnya dengan akibat yang dihasilkannya.

Pilihan kata

encoded statements of mathematics: encoded sebagai kata sifat

Frasa encoded statements of mathematics merujuk pada pernyataan matematika yang sudah diubah menjadi kode, dalam konteks ini representasi angka. encoded adalah bentuk past participle dari encode yang digunakan sebagai kata sifat sebelum statements; of mathematics menunjukkan bidang tempat pernyataan tersebut berada. Pengodean mengubah cara informasi direpresentasikan agar dapat disimpan atau diproses oleh suatu sistem. Pengodean saja tidak menyatakan bahwa informasi disembunyikan demi kerahasiaan.

Latihan

Dalam encoded statements of mathematics, apa yang dijelaskan oleh encoded?

  1. Pernyataan tersebut telah diubah menjadi bentuk berkode.
  2. Pernyataan tersebut telah dikeluarkan dari kode dan dikembalikan ke bentuk aslinya.
  3. Pernyataan tersebut pasti disembunyikan agar tetap rahasia.
Lihat jawaban

Pernyataan tersebut telah diubah menjadi bentuk berkode.

In this way,

2:12

Dengan cara ini,

the coding allowed mathematics to talk about itself. Idiom

2:13

pengkodean memungkinkan matematika untuk berbicara tentang dirinya sendiri.

Idiom

allowed mathematics to talk about itself: personifikasi dan pola allow A to do B

Pola allow A to do B berarti “membuat A dapat melakukan B”. Di sini, pengodean memberi matematika kemampuan baru: matematika dapat merepresentasikan pernyataan tentang matematika itu sendiri. talk about itself adalah personifikasi. Matematika tidak benar-benar berbicara; ungkapan ini membuat gagasan abstrak tentang rujukan diri lebih mudah dibayangkan.

Latihan

Apa arti allowed mathematics to talk about itself dalam kalimat ini?

  1. Pengodean membuat matematika benar-benar berbicara dengan suara keras.
  2. Pengodean memberi para matematikawan izin untuk membahas pengodean.
  3. Pengodean membuat matematika dapat menyatakan hal-hal tentang dirinya sendiri.
Lihat jawaban

Pengodean membuat matematika dapat menyatakan hal-hal tentang dirinya sendiri.

Through this method,

2:16

Melalui metode ini,

he was able to write: "This statement cannot be proved" as an equation, Catatan

2:17

ia mampu menulis: "Pernyataan ini tidak dapat dibuktikan" sebagai sebuah persamaan,

Budaya

“This statement cannot be proved”: rujukan diri dan bentuk pasif

Kutipan tersebut adalah versi bahasa Inggris sederhana dari pernyataan matematika yang merujuk pada dirinya sendiri dan dapat ditulis sebagai persamaan melalui pengodean Gödel. This statement merujuk kembali pada seluruh pernyataan di dalam tanda kutip, jadi pernyataan itu membuat klaim tentang dirinya sendiri. cannot be proved berbentuk pasif: artinya, tidak ada pembuktian yang dapat membuktikan pernyataan yang sama di dalam sistem matematika yang sedang dibahas. Ini bukan berarti pernyataan tersebut tidak mampu membuktikan hal lain.

Latihan

Apa yang diklaim oleh pernyataan di dalam tanda kutip?

  1. Pernyataan itu mengatakan bahwa dirinya tidak dapat membuktikan persamaan lain.
  2. Pernyataan itu mengatakan bahwa dirinya sendiri tidak dapat dibuktikan di dalam sistem tersebut.
  3. Pernyataan itu mengatakan bahwa tidak seorang pun diizinkan menulis pembuktian.
Lihat jawaban

Pernyataan itu mengatakan bahwa dirinya sendiri tidak dapat dibuktikan di dalam sistem tersebut.

creating the first self-referential mathematical statement.

2:22

menciptakan pernyataan matematis pertama yang merujuk pada dirinya sendiri.

Tata bahasa

write ... as an equation, creating ...: bentuk dan hasil

Dalam write X as Y, as memperkenalkan bentuk yang dipakai untuk X. Di sini, pernyataan itu dinyatakan dalam bentuk persamaan. Frasa -ing creating ... setelah koma menambahkan hasil dari tindakan sebelumnya: menulis pernyataan itu sebagai persamaan menghasilkan pernyataan matematika pertama yang merujuk pada dirinya sendiri. Creating bukan verba utama lain yang berdiri sendiri.

Latihan

Lengkapi pola sasaran dengan as dan bentuk -ing dari make: She rewrote the results ____ a chart, ____ the pattern easier to see.

Lihat jawaban

as · making

However, unlike the ambiguous sentence that inspired him, Alur pesan

2:27

Namun, tidak seperti kalimat ambigu yang menginspirasinya,

Alur pesan

However, unlike ...: menata perbandingan yang kontras

However menandai peralihan dari hal yang baru saja dikatakan ke suatu perbedaan penting. Setelah itu, unlike menyebutkan hal yang menjadi pembanding: the ambiguous sentence that inspired him. Pola However, unlike + frasa nomina, ... mengarahkan pendengar dari contoh yang sudah dikenal ke kasus yang berlawanan. Di sini, unlike diikuti frasa nomina, bukan klausa lengkap dengan subjek dan verba; pernyataan utama muncul setelah frasa pembuka ini.

Latihan

Lengkapi pola sasaran However, unlike + frasa nomina: ____, ____ the old model, this one uses less energy.

Lihat jawaban

However · unlike

mathematical statements must be true or false. Tata bahasa

2:31

pernyataan matematis haruslah benar atau salah.

Tata bahasa

must be true or false: keharusan logis

Di sini, must menyatakan keharusan yang berasal dari suatu kerangka logika, bukan perintah dari seseorang. Maksudnya, suatu pernyataan matematika harus masuk ke salah satu dari dua kategori nilai kebenaran: benar atau salah. Pahami must dengan arti ini ketika aturan, definisi, atau bukti membuat suatu kesimpulan menjadi niscaya. Perhatikan apakah kalimat tersebut menjelaskan hasil yang mengikuti secara logis atau menyuruh seseorang melakukan sesuatu.

Latihan

Dalam mathematical statements must be true or false, apa yang dinyatakan oleh must?

  1. Pernyataan-pernyataan itu berjanji untuk berkata jujur.
  2. Kerangka logika mengharuskan setiap pernyataan memiliki salah satu dari dua nilai.
  3. Seseorang memerintahkan pernyataan-pernyataan itu untuk memilih cara bertindak.
Lihat jawaban

Kerangka logika mengharuskan setiap pernyataan memiliki salah satu dari dua nilai.

So, which is it? Alur pesan

2:34

Jadi, yang mana?

Alur pesan

So, which is it?: pertanyaan untuk memusatkan kembali pilihan

So menghubungkan pertanyaan ini dengan penalaran yang baru saja diselesaikan. which is it? meminta pendengar memilih dari alternatif yang sudah disebutkan; di sini, it merujuk pada pernyataan matematika, sedangkan alternatifnya adalah true dan false. Sebagai cara mengatur alur pembicaraan, pertanyaan singkat ini merangkum penalaran sebelumnya menjadi satu titik keputusan. Pertanyaan ini menghentikan penjelasan sejenak, mengembalikan perhatian pada pilihan utama, dan membuka langkah berikutnya dalam argumen.

Latihan

Apa fungsi So, which is it? setelah dua kemungkinan disebutkan?

  1. Pertanyaan itu memperkenalkan topik baru yang tidak berkaitan dengan penalaran sebelumnya.
  2. Pertanyaan itu mengembalikan pembahasan pada pilihan di antara kemungkinan tersebut.
  3. Pertanyaan itu mengatakan bahwa kedua kemungkinan pasti benar.
Lihat jawaban

Pertanyaan itu mengembalikan pembahasan pada pilihan di antara kemungkinan tersebut.

If it's false, Alur pesan

2:36

Jika itu salah,

that means the statement does have a proof. Tata bahasa

2:37

itu berarti pernyataan tersebut memiliki bukti.

Alur pesan

If it's false, that means ...: menghubungkan asumsi dengan kesimpulan

“If it's false” menyatakan sebuah kondisi atau asumsi sementara. “that means” memperkenalkan kesimpulan yang mengikuti ketika kondisi itu diterima: the statement does have a proof. Pola ini menyusun penalaran sebagai “jika A, maka A mengarah ke B”. Di sini, “that means” tidak menerjemahkan atau sekadar mengulangi “false”; frasa itu membawa penjelasan menuju konsekuensi logis.

Latihan

Baca kalimat ini: “If the screen is blank, that means the computer is not receiving a signal.” Apa fungsi “that means”?

  1. Memperkenalkan kesimpulan yang ditarik dari kondisi tersebut.
  2. Memulai topik baru yang tidak berkaitan.
  3. Menerjemahkan kata “blank”.
Lihat jawaban

Memperkenalkan kesimpulan yang ditarik dari kondisi tersebut.

Tata bahasa

does have a proof: does penegas dalam kalimat afirmatif

Dalam klausa afirmatif “the statement does have a proof”, does adalah do penegas. Kata ini menambahkan makna “benar-benar” atau “memang”: pembicara menekankan bahwa bukti itu ada. Does membawa penanda kala kini dan kesesuaian dengan subjek tunggal “the statement”, sehingga have tetap dalam bentuk dasar. Tanpa does, “the statement has a proof” menyampaikan fakta dasar yang sama, tetapi daya koreksi atau kontrasnya lebih lemah.

Latihan

Gunakan does penegas + kata kerja dasar have untuk melengkapi koreksi berikut: “You said the plan has no benefit, but it ____ one important advantage.”

Lihat jawaban

does have

But if a mathematical statement has a proof, Tata bahasa

2:40

Tapi jika sebuah pernyataan matematis memiliki bukti,

then it must be true.

2:42

maka itu pasti benar.

Tata bahasa

if ..., then it must ...: kondisi dan kesimpulan yang pasti

Klausa if memberikan kondisi: a mathematical statement has a proof. Klausa utama memberikan kesimpulan, sedangkan then membuat hubungan antara kondisi dan hasil mudah diikuti. Dalam bahasa Inggris sehari-hari, then terkadang dapat dihilangkan, tetapi di sini kata itu menata penalaran dengan jelas. Dalam must be true, must berarti bahwa sesuatu pasti demikian berdasarkan logika. Kata itu tidak menyatakan kewajiban atau perintah.

Latihan

Lengkapi kalimat dengan pola yang tepat, yaitu if ..., then it must ...: ____ an integer ends in 0, ____ it ____ divisible by 10.

Lihat jawaban

If · then · must be

This contradiction means that Gödel's statement can't be false, Catatan

2:44

Kontradiksi ini berarti bahwa pernyataan Gödel tidak mungkin salah,

Alur pesan

This contradiction means ...: melanjutkan argumen

This contradiction merujuk kembali pada pertentangan yang sudah ditunjukkan dalam argumen: menganggap pernyataan itu salah justru mengarah pada kesimpulan bahwa pernyataan tersebut benar. Means memperkenalkan hal yang secara logis mengikuti pertentangan itu; kata tersebut tidak memberikan definisi kamus. Frasa ini berfungsi sebagai penunjuk yang merangkum masalah dan membawa argumen menuju kesimpulan berikutnya.

Latihan

Dalam argumen ini, apa fungsi This contradiction means ...?

  1. Frasa ini mengalihkan topik ke contoh yang tidak berkaitan.
  2. Frasa ini merangkum ketidakkonsistenan dan memperkenalkan kesimpulan yang ditarik darinya.
  3. Frasa ini memberikan definisi kamus untuk kata contradiction.
Lihat jawaban

Frasa ini merangkum ketidakkonsistenan dan memperkenalkan kesimpulan yang ditarik darinya.

Tata bahasa

Gödel's statement can't be false: kemustahilan logis

Dalam Gödel's statement can't be false, can't berarti “secara logis tidak mungkin”, bukan “tidak memiliki kemampuan”. Kontradiksi tersebut menyingkirkan kemungkinan bahwa pernyataan itu salah. Penggunaan can't ini menyatakan kesimpulan kuat berdasarkan penalaran atau bukti: jika suatu asumsi menghasilkan sesuatu yang mustahil, asumsi itu tidak mungkin benar.

Latihan

Apa arti can't dalam “The answer can't be false because it follows from the rule”?

  1. Secara logis, jawaban itu tidak mungkin salah.
  2. Pembicara tidak mampu membuat jawaban itu salah.
  3. Jawaban itu tidak diizinkan untuk salah.
Lihat jawaban

Secara logis, jawaban itu tidak mungkin salah.

and therefore, Alur pesan

2:48

dan oleh karena itu,

it must be true that this statement cannot be proved.

2:49

pasti benar bahwa pernyataan ini tidak dapat dibuktikan.

Alur pesan

and therefore, it must be true that ...: menandai kesimpulan

and therefore memberi tahu pendengar bahwa bagian berikutnya adalah kesimpulan yang ditarik dari penalaran sebelumnya. Frasa ini menghubungkan kontradiksi sebelumnya dengan pernyataan baru, bukan sekadar menambahkan fakta lain. it must be true that membingkai seluruh klausa that sebagai kesimpulan yang harus benar. Proposisi yang disimpulkan di sini adalah this statement cannot be proved.

Latihan

Lengkapi pola kesimpulan formal: The machine accepts only valid tickets. This ticket was accepted, ____ this ticket is valid.

Lihat jawaban

and therefore it must be true that

Yet this result is even more surprising because it means we now have a true equation of mathematics Catatan

2:54

Namun hasil ini bahkan lebih mengejutkan karena itu berarti kita sekarang memiliki persamaan matematika yang benar

that asserts it cannot be proved. Pilihan kata

3:01

yang menegaskan bahwa ia tidak dapat dibuktikan.

Alur pesan

Yet ... even more surprising because ...: kontras, penekanan, dan alasan

Di awal kalimat, Yet berarti “namun”, bukan makna waktu seperti dalam not yet. Kata ini menandai kontras dengan hal yang baru saja ditetapkan dan memberi isyarat bahwa argumen bergerak menuju implikasi lanjutan yang tidak terduga. Pola this result is even more surprising because ... memperkuat penilaian, lalu memperkenalkan alasannya. Secara keseluruhan, bagian yang disorot menata informasi sebagai kesimpulan sebelumnya, kontras yang lebih tajam, dan alasan mengapa poin baru itu lebih mengejutkan.

Latihan

Apa fungsi pembuka yang disorot dalam kalimat tersebut?

  1. Bagian itu mengontraskan poin sebelumnya, memperkuat penilaian, dan memperkenalkan alasan.
  2. Bagian itu mengatakan bahwa hasil tersebut belum terjadi.
  3. Bagian itu memperkenalkan alasan, tetapi tidak membuat kontras dengan poin sebelumnya.
Lihat jawaban

Bagian itu mengontraskan poin sebelumnya, memperkuat penilaian, dan memperkenalkan alasan.

Pilihan kata

a true equation: persamaan yang pernyataan matematisnya benar

Dalam a true equation, true menilai isi matematisnya: kesetaraan atau pernyataan yang diungkapkan oleh persamaan itu benar. Dalam bahasa Inggris, statement atau claim matematis juga dapat disebut true atau false. Di sini, true bukan sekadar berarti “nyata”, “asli”, atau “benar-benar ada”. Hal yang mengejutkan bergantung pada kenyataan bahwa persamaan itu benar secara matematis meskipun, menurut apa yang dinyatakannya, persamaan tersebut tidak dapat dibuktikan.

Latihan

Dalam pembahasan matematika, apa arti a true equation di sini?

  1. Persamaan yang hanya menggunakan bilangan real.
  2. Persamaan yang benar-benar ada, terlepas dari benar atau tidaknya pernyataan matematisnya.
  3. Persamaan yang pernyataan matematisnya benar.
Lihat jawaban

Persamaan yang pernyataan matematisnya benar.

Pilihan kata

asserts it cannot be proved: menyampaikan klaim formal

Dalam kalimat ini, asserts berarti “menyatakan atau menegaskan secara formal”. Persamaan tersebut menyampaikan klaim yang dapat dinilai benar atau salah; kata kerja ini tidak berarti berbicara dengan suara keras. Kata-kata it cannot be proved menyatakan isi klaim tersebut. Di sini, it merujuk kembali pada persamaan itu sendiri. Setelah assert, kata penghubung that sering digunakan, tetapi dapat dihilangkan: asserts (that) it cannot be proved.

Latihan

Dalam kalimat ini, apa yang ditunjukkan asserts tentang persamaan tersebut?

  1. Persamaan itu membuktikan klaim tersebut dengan alasan pendukung.
  2. Persamaan itu berbicara dengan suara yang sangat keras.
  3. Persamaan itu secara formal menyampaikan klaim yang dapat dinilai benar atau salah.
Lihat jawaban

Persamaan itu secara formal menyampaikan klaim yang dapat dinilai benar atau salah.

This revelation is at the heart of Gödel's incompleteness theorem, Catatan

3:04

Pengungkapan ini adalah inti dari teorema ketidaklengkapan Gödel,

Idiom

is at the heart of ...: menunjukkan gagasan utama

Be at the heart of adalah ungkapan idiomatis yang berarti “menjadi bagian utama atau sangat penting dari sesuatu”. Heart digunakan secara kiasan di sini; ungkapan ini membicarakan tingkat kepentingan, bukan jantung fisik atau lokasi. Dalam kalimat ini, pengungkapan tersebut disajikan sebagai gagasan utama yang mendasari teorema ketidaklengkapan Gödel. Polanya adalah be + at the heart of + topik, masalah, teori, atau keseluruhan lain yang lebih besar.

Latihan

Gunakan ungkapan dari pelajaran untuk melengkapi kalimat ini: Trust is ____ a healthy friendship.

Lihat jawaban

at the heart of

Budaya

Gödel's incompleteness theorem: teorema ketidaklengkapan Gödel

Di sini, Gödel's incompleteness theorem adalah nama khusus untuk sebuah hasil dalam logika matematika. Theorem adalah pernyataan yang ditetapkan melalui pembuktian, sedangkan incompleteness menamai batas suatu sistem formal, bukan pembuktian yang tidak selesai ditulis seseorang. Untuk memahami kalimat ini, cukup ketahui bahwa sistem formal yang cukup kuat dapat memuat pernyataan matematika yang benar tetapi tidak dapat dibuktikan di dalam sistem yang sama. Temuan yang disebutkan sebelumnya merupakan inti teorema tersebut.

Latihan

Dalam nama Gödel's incompleteness theorem, apa yang dimaksud dengan incompleteness?

  1. Batas pada beberapa sistem formal: pernyataan benar tertentu tidak dapat dibuktikan di dalam sistem tersebut.
  2. Klaim bahwa matematika tidak memiliki pembuktian yang sah.
  3. Pembuktian yang belum selesai dan membutuhkan lebih banyak halaman.
Lihat jawaban

Batas pada beberapa sistem formal: pernyataan benar tertentu tidak dapat dibuktikan di dalam sistem tersebut.

which introduces an entirely new class of mathematical statement. Tata bahasa

3:08

yang memperkenalkan kelas pernyataan matematis yang sama sekali baru.

Tata bahasa

which introduces ...: menambahkan keterangan nonrestriktif

Klausa which introduces an entirely new class of mathematical statement menambahkan informasi tentang Gödel's incompleteness theorem dalam klausa sebelumnya. Which merujuk kembali pada theorem tersebut, sedangkan introduces menjelaskan apa yang dilakukan teorema itu. Tanda koma menunjukkan klausa relatif nonrestriktif: klausa ini menambahkan keterangan tentang hal yang sudah jelas, bukan memilih satu teorema dari beberapa teorema. Klausa ini melanjutkan kalimat yang sama, bukan memulai gagasan terpisah.

Latihan

Lengkapi kalimat dengan kata relatif yang menambahkan keterangan nonrestriktif: The update adds a search tool, ____ makes old files easier to find.

Lihat jawaban

which

In Gödel's paradigm, Pilihan kata

3:13

Dalam paradigma Gödel,

statements still are either true or false, Tata bahasa

3:14

pernyataan tetaplah benar atau salah,

but true statements can either be provable or unprovable within a given set of axioms. Pilihan kata

3:17

tetapi pernyataan yang benar dapat dibuktikan atau tidak dapat dibuktikan dalam sekumpulan aksioma tertentu.

Pilihan kata

In Gödel's paradigm: paradigm sebagai kerangka penataan

Di sini, paradigm berarti kerangka luas untuk memahami dan menata gagasan, bukan satu contoh atau rumus. In Gödel's paradigm berarti di dalam kerangka yang diperkenalkan oleh Gödel. Kerangka tersebut memisahkan dua pertanyaan: apakah suatu pernyataan benar dan apakah pernyataan itu dapat dibuktikan dari suatu himpunan aksioma tertentu. Penggunaan paradigm menunjukkan cara informasi berikutnya ditata.

Latihan

Dalam kalimat tersebut, apa arti paradigm?

  1. satu contoh ilustratif
  2. kerangka luas untuk memahami dan menata gagasan
  3. satu rumus matematika
Lihat jawaban

kerangka luas untuk memahami dan menata gagasan

Tata bahasa

either true or ... / can either be provable or unprovable: alternatif berpasangan

Either ... or ... menghubungkan dua alternatif. Kalimat ini memakai pola tersebut dua kali: pertama true dan false, lalu provable dan unprovable. Dalam konteks ini, setiap pasangan membentuk klasifikasi dua arah. Alternatifnya tetap sejajar secara tata bahasa. True dan false adalah kata sifat dalam pasangan pertama; provable dan unprovable merupakan deskripsi sejajar dalam pasangan kedua. Kata yang digunakan bersama, seperti can dan be, tidak perlu diulang. Di sini, either adalah bagian dari pasangan dan bukan berarti juga.

Latihan

Lengkapi struktur pasangan dengan either ... or: A binary answer is ____ yes ____ no.

Lihat jawaban

either · or

Pilihan kata

within a given set of axioms: menetapkan batas logis

Di sini, within menandai batas abstrak, bukan tempat fisik. A given set of axioms berarti kumpulan aturan awal tertentu yang dipilih untuk sistem logika tersebut. Frasa ini membatasi provable or unprovable: dapat atau tidaknya suatu pernyataan dibuktikan dinilai dengan memakai kumpulan aksioma itu. Frasa ini tidak menyatakan bahwa hasil pembuktiannya sama dalam setiap kumpulan aksioma yang mungkin.

Latihan

Apa yang ditunjukkan oleh frasa yang disorot dalam kalimat ini?

  1. Setiap kumpulan aksioma membuktikan pernyataan itu.
  2. Pernyataan itu secara fisik dikelilingi oleh aksioma.
  3. Dapat atau tidaknya pernyataan dibuktikan dinilai dengan satu kumpulan aksioma tertentu.
Lihat jawaban

Dapat atau tidaknya pernyataan dibuktikan dinilai dengan satu kumpulan aksioma tertentu.

Furthermore,

3:24

Selanjutnya,

Gödel argues these unprovable true statements exist in every axiomatic system. Pilihan kata

3:25

Gödel berargumen bahwa pernyataan benar yang tidak dapat dibuktikan ini ada dalam setiap sistem aksiomatik.

Pilihan kata

unprovable true statements dalam setiap sistem aksiomatik

Unprovable true statements menggabungkan dua penilaian yang berbeda. True menyatakan bahwa pernyataannya benar; unprovable menyatakan bahwa bukti tidak dapat dihasilkan dari aksioma dan aturan sistem yang sedang dibahas. Jadi, unprovable tidak berarti false. In every axiomatic system memberi klaim ini cakupan universal dalam kalimat tersebut: setiap sistem memiliki pernyataan seperti itu, bukan hanya beberapa sistem.

Latihan

Pilihan mana yang mempertahankan makna unprovable true statements dengan tepat?

  1. Pernyataan itu salah karena tidak ada bukti.
  2. Pernyataan itu benar dan buktinya belum ditemukan, tetapi pasti akan ditemukan.
  3. Pernyataan itu benar, meskipun sistem tidak dapat membuktikannya.
Lihat jawaban

Pernyataan itu benar, meskipun sistem tidak dapat membuktikannya.

This makes it impossible to create a perfectly complete system using mathematics Tata bahasa

3:32

Hal ini membuatnya mustahil untuk menciptakan sistem yang sempurna lengkap menggunakan matematika

Tata bahasa

make it impossible to create: pola make it + kata sifat + to do

Pola make it + kata sifat + to do berarti bahwa sesuatu menyebabkan suatu tindakan menjadi mudah, sulit, mungkin, atau mustahil. Di sini, This merujuk kembali pada batasan matematika yang telah dijelaskan, impossible menyatakan hasilnya, dan to create a perfectly complete system menyebutkan tindakan yang dianggap mustahil. it adalah objek semu atau formal. Kata ini tidak merujuk pada benda tertentu; it mengisi posisi objek sampai isi sebenarnya muncul dalam infinitif dengan to.

Latihan

Lengkapi kalimat dengan pola sasaran untuk menyatakan bahwa jendela tidak dapat dibuka: The broken handle ____ open the window.

Lihat jawaban

makes it impossible to

because there will always be true statements we cannot prove. Tata bahasa

3:38

karena akan selalu ada pernyataan benar yang tidak bisa kita buktikan.

Tata bahasa

there will always be: menyatakan keberadaan yang terus berlanjut

Because memperkenalkan alasan untuk kesimpulan sebelumnya. Pola eksistensial there will be menyatakan bahwa sesuatu akan ada, dan penempatan always setelah will memperkuat pernyataannya: beberapa pernyataan benar akan terus ada, bagaimanapun sistem tersebut dikembangkan. Dalam true statements we cannot prove, we cannot prove menentukan pernyataan mana yang dimaksud. Kata relatif that dihilangkan: true statements that we cannot prove. Di sini, always menyatakan keberlanjutan secara logis, bukan frekuensi kejadian sehari-hari.

Latihan

Lengkapi dengan bentuk masa depan dari there be dan always untuk menunjukkan bahwa keterbatasan akan berlanjut: ____ cases the rule does not cover.

Lihat jawaban

There will always be

Even if you account for these unprovable statements by adding them as new axioms to an enlarged mathematical system, Catatan

3:42

Bahkan jika Anda memperhitungkan pernyataan yang tak dapat dibuktikan ini dengan menambahkannya sebagai aksioma baru ke dalam sistem matematis yang diperluas,

Tata bahasa

Even if ... by adding ... as new axioms: konsesi, cara, dan peran

Even if memperkenalkan konsesi hipotetis. Penutur untuk sementara menerima kemungkinan bahwa langkah ini dapat diambil, tetapi memberi isyarat bahwa kesimpulan sesudahnya tetap berlaku. Ini tidak menyatakan bahwa langkah tersebut benar-benar sudah dilakukan. Di sini, by adding them menyatakan cara yang dipakai untuk menangani pernyataan tersebut, sedangkan as new axioms menyatakan peran yang diberikan kepadanya. Pola yang dapat digunakan kembali ialah Even if + kondisi, by + bentuk -ing untuk cara, dan as + peran atau identitas.

Latihan

Lengkapi pola konsesi-cara-peran. Gunakan Even if, by, dan as masing-masing satu kali: ____ you improve the plan ____ adding a checklist ____ a safety tool, some risks may remain.

Lihat jawaban

Even if · by · as

Phrasal verb

you account for: menangani atau memperhitungkan suatu faktor

Account for berfungsi sebagai verba yang terdiri atas beberapa kata di sini. You account for these unprovable statements berarti kamu menyediakan tempat bagi pernyataan itu di dalam sistem matematika dan menanganinya; by adding them as new axioms menjelaskan caranya. Pahami account for sebagai satu kesatuan yang diikuti objek. Makna tepatnya bergantung pada konteks: di sini maknanya lebih dekat dengan menangani atau memperhitungkan daripada menjelaskan mengapa sesuatu terjadi.

Latihan

Dalam kalimat asli, apa arti account for?

  1. Menjelaskan mengapa pernyataan itu benar
  2. Mengandalkan pernyataan tersebut
  3. Menangani atau memperhitungkan pernyataan di dalam sistem
Lihat jawaban

Menangani atau memperhitungkan pernyataan di dalam sistem

that very process introduces new unprovably true statements. Alur pesan

3:49

proses itu sendiri memperkenalkan pernyataan benar yang tidak dapat dibuktikan secara baru.

Alur pesan

that very process introduces: menekankan tepat proses itu

Dalam that very process, that merujuk kembali pada proses penambahan aksioma yang sudah disebutkan. Very menekankan nomina process secara langsung: artinya “tepat proses itu” atau “proses itu sendiri”, bukan proses dengan tingkat yang sangat tinggi. Menjadikan frasa yang ditekankan sebagai subjek introduces menyoroti akibatnya: proses yang sama itulah yang memunculkan pernyataan baru. Pola this/that/the very + nomina dapat merujuk kembali pada sesuatu dan menegaskan bahwa hal itulah yang menyebabkan hasil tersebut.

Latihan

Dalam kalimat “That very decision caused the delay,” apa yang ditunjukkan oleh very?

  1. The exact decision already mentioned caused the delay.
  2. A different decision prevented the delay.
  3. The decision was extremely difficult.
Lihat jawaban

The exact decision already mentioned caused the delay.

No matter how many axioms you add, Tata bahasa

3:55

Tidak peduli berapa banyak aksioma yang Anda tambahkan,

Tata bahasa

No matter how many axioms you add: konsesi tentang jumlah

No matter how many + nomina jamak yang dapat dihitung + subjek + verba mengawali klausa konsesif. Jumlahnya dapat berubah tanpa batas: di sini, aksioma yang ditambahkan bisa sedikit atau banyak. Klausa ini bukan pertanyaan. Klausa ini menyiapkan klausa utama yang hasilnya tetap benar pada jumlah berapa pun, sehingga koma menunjukkan bahwa kalimat masih berlanjut.

Latihan

Lengkapi kalimat dengan frasa empat kata yang dimulai dengan No dan berarti “tanpa memandang jumlahnya”: ____ books you read, there will always be more to discover.

Lihat jawaban

No matter how many

there will always be unprovably true statements in your system. Tata bahasa

3:57

akan selalu ada pernyataan benar yang tak dapat dibuktikan dalam sistem Anda.

Tata bahasa

there will always be unprovably true statements: akan selalu ada pernyataan benar yang tidak dapat dibuktikan

there will ... be adalah pola eksistensial: pola ini menyatakan bahwa sesuatu akan ada atau terjadi. Penambahan always membuat hasilnya tak terelakkan, bukan sekadar mungkin. Di sini, pola tersebut menutup penalaran dengan menegaskan lagi bahwa penambahan aksioma tidak dapat menghilangkan keadaan ini. unprovably true statements adalah pernyataan yang benar tetapi tidak dapat dibuktikan dari aksioma di dalam sistem itu sendiri. your system merujuk pada sistem matematika yang sedang dibangun atau diperluas; unprovably bukan berarti probably atau “mungkin benar”.

Latihan

Penafsiran mana yang paling sesuai dengan kalimat tersebut?

  1. Sistem itu mungkin memuat pernyataan yang barangkali benar.
  2. Setiap pernyataan benar sudah dibuktikan di dalam sistem itu.
  3. Sistem itu pasti akan memuat beberapa pernyataan yang benar tetapi tidak dapat dibuktikan di dalamnya.
Lihat jawaban

Sistem itu pasti akan memuat beberapa pernyataan yang benar tetapi tidak dapat dibuktikan di dalamnya.

It's Gödels all the way down. Idiom

4:01

Semuanya adalah loop Gödel tanpa akhir.

Idiom

It's Gödels all the way down: batas ala Gödel terus muncul tanpa akhir

It's X all the way down adalah pola humor untuk kemunduran tanpa akhir: jenis penjelasan, masalah, atau pola yang sama muncul lagi di setiap tingkat yang lebih dalam. Ungkapan ini mengacu pada kalimat terkenal turtles all the way down, sehingga down bersifat kiasan dan bukan arah gerakan sebenarnya. Gödels adalah bentuk jamak yang dibuat secara jenaka dari nama Gödel. Kata itu mewakili hasil ala Gödel yang terus berulang, bukan beberapa orang bernama Gödel. Dalam konteks ini, ketika sistem matematika diperluas, masih ada pernyataan benar lain yang tidak dapat dibuktikan dalam sistem baru. Pembicara mengubah keterbatasan yang berulang itu menjadi lelucon singkat.

Latihan

Apa arti It's Gödels all the way down dalam konteks ini?

  1. Batas ala Gödel terus muncul kembali ketika sistem diperluas.
  2. Satu teorema menyelesaikan semua kemungkinan perluasan sistem.
  3. Beberapa orang bernama Gödel sedang bergerak ke bawah.
Lihat jawaban

Batas ala Gödel terus muncul kembali ketika sistem diperluas.

This revelation rocked the foundations of the field, Idiom

4:04

Pengungkapan ini mengguncang fondasi bidang ini,

Idiom

rocked the foundations of the field: metafora untuk dampak mendasar

Dalam kalimat ini, rocked the foundations of the field adalah metafora: temuan tersebut sangat mengguncang keyakinan atau asumsi dasar bidang itu. The field di sini berarti bidang matematika; tidak ada bangunan yang benar-benar bergerak. Pola rock the foundations of + lembaga, bidang ilmu, atau sistem menggambarkan peristiwa yang mengancam atau mengubah sesuatu pada tingkat yang paling mendasar.

Latihan

Dalam kalimat ini, apa arti rocked the foundations of the field?

  1. Temuan itu sangat mengguncang keyakinan dasar bidang tersebut.
  2. Temuan itu membuat perubahan kecil dan rutin dalam bidang tersebut.
  3. Temuan itu merusak dasar bangunan secara fisik.
Lihat jawaban

Temuan itu sangat mengguncang keyakinan dasar bidang tersebut.

crushing those who dreamed that every mathematical claim would one day be proven or disproven. Catatan

4:07

menghancurkan mereka yang bermimpi bahwa setiap klaim matematis suatu hari akan dibuktikan atau disangkal.

Alur pesan

crushing those who dreamed that ...: frasa -ing yang menunjukkan akibat

Crushing those who dreamed that ... adalah frasa partisipial (-ing) yang melekat pada klausa sebelumnya. Frasa ini menambahkan akibat dari dampak temuan tersebut: temuan itu memberikan pukulan emosional yang berat kepada orang-orang tersebut. Frasa ini tidak memiliki subjek terpisah yang dinyatakan. Penyebab tersirat dari crushing adalah revelation dalam klausa sebelumnya, sedangkan those adalah objek; those who ... berarti "orang-orang yang...". Crushing di sini bersifat kiasan, bukan fisik.

Latihan

Kalimat mana yang memakai frasa -ing di bagian akhir untuk menambahkan akibat dari peristiwa sebelumnya?

  1. Because the storm closed the airport, hundreds of travelers were stranded.
  2. The storm closed the airport and hundreds of travelers waited nearby.
  3. The storm closed the airport, leaving hundreds of travelers stranded.
Lihat jawaban

The storm closed the airport, leaving hundreds of travelers stranded.

Tata bahasa

would one day be proven or disproven: bentuk pasif masa depan dari sudut pandang masa lampau

Anak kalimat ini dipandang dari waktu lampau yang ditunjukkan oleh dreamed. Pada saat itu, orang-orang tersebut membayangkan hasil yang akan muncul kemudian, sehingga would berarti “masa depan dilihat dari masa lampau”, bukan kemauan. One day menunjukkan suatu waktu yang tidak ditentukan di masa depan. Be proven or disproven berbentuk pasif: setiap pernyataan matematika menerima salah satu dari dua hasil tersebut. Pola yang dapat digunakan kembali adalah kepercayaan atau harapan pada masa lampau + would + ungkapan waktu + be + past participle.

Latihan

Lengkapi kalimat dengan would one day dan bentuk pasif dari solve: In 1995, researchers believed the puzzle ____.

Lihat jawaban

would one day be solved

While most mathematicians accepted this new reality, Alur pesan

4:13

Meskipun sebagian besar matematikawan menerima realitas baru ini,

some fervently debated it. Pilihan kata

4:16

beberapa memperdebatkannya dengan keras.

Alur pesan

While most ..., some ...: menata pertentangan antara kelompok

Di sini, while memperkenalkan pertentangan, bukan hubungan waktu. Anak kalimat pertama menyampaikan reaksi mayoritas; anak kalimat kedua menyajikan reaksi berbeda dari kelompok yang lebih kecil. Pola While most ..., some ... membantu menata pembagian pendapat atau hasil. Pola ini tidak menyatakan bahwa kedua reaksi terjadi tepat pada waktu yang sama.

Latihan

Apa fungsi while dalam kalimat ini? “While most neighbors supported the plan, some opposed it.”

  1. Kata itu memberikan alasan sebagian orang menentang rencana tersebut.
  2. Kata itu menyatakan bahwa dua tindakan berlangsung sama lama.
  3. Kata itu mempertentangkan reaksi dua kelompok.
Lihat jawaban

Kata itu mempertentangkan reaksi dua kelompok.

Pilihan kata

fervently debated: berdebat dengan keyakinan kuat

Fervently berarti “dengan perasaan, semangat, atau keyakinan yang kuat”. Di sini, kata itu menjelaskan intensitas dan sikap dalam perdebatan, bukan seberapa sering perdebatan tersebut terjadi. Kata ganti it merujuk pada kenyataan baru yang diungkap oleh teorema Gödel. Klausa ini menunjukkan reaksi kuat satu kelompok terhadap gagasan tersebut.

Latihan

Dalam “Some fervently debated it,”, apa yang dijelaskan oleh fervently?

  1. Mereka berdebat dengan pelan agar tidak menarik perhatian.
  2. Mereka berdebat dengan perasaan dan keyakinan yang kuat.
  3. Mereka berdebat berkali-kali.
Lihat jawaban

Mereka berdebat dengan perasaan dan keyakinan yang kuat.

Others still tried to ignore the newly uncovered hole in the heart of their field. Catatan

4:19

Yang lain masih mencoba mengabaikan lubang yang baru terungkap di jantung bidang mereka.

Alur pesan

Others still tried to ignore: menyusun tanggapan berkelanjutan kelompok lain

Others mengalihkan narasi kepada kelompok yang berbeda dari orang-orang yang sudah disebutkan. Dalam urutan seperti most, some, dan others, kata ini membantu membagi tanggapan menjadi kelompok-kelompok yang jelas. Still berarti suatu reaksi terus berlangsung meskipun situasinya sudah berubah. Secara bersama-sama, Others still tried to ignore memperkenalkan tanggapan kelompok lain dan menunjukkan bahwa usaha mereka untuk menghindari masalah tetap berlanjut meskipun ada bukti baru.

Latihan

Kalimat mana yang memakai others still untuk memperkenalkan tanggapan berkelanjutan dari kelompok yang berbeda?

  1. Most families went home, but others still waited for the final announcement.
  2. The families stood still while they waited for the final announcement.
  3. Most families went home, and every family left at the same time.
Lihat jawaban

Most families went home, but others still waited for the final announcement.

Idiom

newly uncovered hole in the heart of their field: celah yang baru terungkap di inti bidang mereka

Frasa ini adalah metafora untuk celah atau keterbatasan serius yang berada tepat di pusat suatu bidang akademis. A hole menyiratkan bahwa ada sesuatu yang penting yang hilang, sedangkan the heart of their field berarti bagian paling inti dari bidang mereka. Newly uncovered berarti kelemahan itu baru saja terungkap, bukan baru saja terbentuk. Kalimat tersebut mengatakan bahwa sebagian orang berusaha mengabaikan masalah mendasar yang baru dikenali ini, bukan lubang fisik yang nyata.

Latihan

Apa arti newly uncovered hole in the heart of their field dalam kalimat ini?

  1. Keterbatasan serius yang baru terungkap di pusat bidang akademis mereka
  2. Masalah medis yang memengaruhi jantung para peneliti
  3. Lubang fisik yang baru digali di tengah sebuah peternakan
Lihat jawaban

Keterbatasan serius yang baru terungkap di pusat bidang akademis mereka

But as more classical problems were proven to be unprovably true, Tata bahasa

4:24

Namun seiring dengan semakin banyak masalah klasik yang terbukti sebagai kebenaran yang tak dapat dibuktikan,

Tata bahasa

as more classical problems were proven...: perubahan yang berkembang seiring waktu

Di sini, as berarti ketika atau seiring perkembangan suatu keadaan, bukan seperti dalam perbandingan. Pola as + keadaan yang berubah menjadikan satu perkembangan sebagai latar bagi perkembangan lain: jumlah masalah klasik dalam kategori ini terus bertambah. More memberikan makna peningkatan bertahap. Bentuk pasif were proven to be menunjukkan apa yang semakin banyak ditetapkan mengenai masalah-masalah tersebut; klausa setelah koma memberikan reaksi atau hasil yang tumbuh bersamaan dengannya.

Latihan

Kalimat mana yang menggunakan as dengan makna perkembangan waktu yang sama seperti klausa yang disorot?

  1. The box is as heavy as the chair.
  2. She works as an engineer.
  3. As more evidence emerged, the team grew more confident.
Lihat jawaban

As more evidence emerged, the team grew more confident.

some began to worry their life's work would be impossible to complete. Frasa

4:28

beberapa mulai khawatir pekerjaan seumur hidup mereka akan mustahil untuk diselesaikan.

Frasa

began to worry: menandai awal rasa khawatir

began to worry menandai saat rasa khawatir mulai muncul. Dalam narasi, ungkapan ini menunjukkan perubahan keadaan pikiran orang-orang, bukan sekadar tindakan lain. Di sini, worry diikuti klausa yang menyatakan isi kekhawatiran, dan that boleh dihilangkan: began to worry (that) their life's work.... Pola ini memberi tahu kita apa yang mereka khawatirkan.

Latihan

Kalimat mana yang menekankan saat rasa khawatir mulai muncul?

  1. After an hour with no reply, Leo had stopped worrying that something was wrong.
  2. After an hour with no reply, Leo began to worry that something was wrong.
  3. After an hour with no reply, Leo never worried that something was wrong.
Lihat jawaban

After an hour with no reply, Leo began to worry that something was wrong.

Frasa

life's work would be impossible to complete: karya seumur hidup yang terancam

Life's work berarti proyek, misi, atau sumbangan utama yang ditekuni seseorang selama bertahun-tahun, terkadang sepanjang hidup. Skala dan kepentingan pribadinya jauh lebih besar daripada tugas biasa. Would be impossible to complete menyatakan hasil pada masa depan jika dilihat dari suatu saat pada masa lalu. Pada saat itu, mereka takut pekerjaan tersebut tidak akan pernah dapat diselesaikan. Kalimat ini melaporkan kekhawatiran mereka; bukan menyatakan bahwa penyelesaiannya benar-benar mustahil.

Latihan

Dalam contoh tersebut, apa yang dimaksud dengan their life's work?

  1. Pekerjaan yang mereka rencanakan untuk dilakukan dalam satu sore
  2. Pekerjaan utama yang telah mereka tekuni selama bertahun-tahun
  3. Tugas rutin yang mereka lakukan setiap hari
Lihat jawaban

Pekerjaan utama yang telah mereka tekuni selama bertahun-tahun

Still, Gödel's theorem opened as many doors as it closed. Idiom

4:33

Namun, teorema Gödel membuka banyak pintu sama seperti yang ditutupnya.

Idiom

Still ... opened as many doors as it closed: menyeimbangkan peluang dan batasan

Open doors dan close doors di sini merupakan metafora. Doors berarti peluang, jalan yang mungkin, atau bidang penelitian, bukan pintu fisik. Pola opened as many doors as it closed menempatkan dampak positif dan negatif secara sejajar: teorema tersebut menciptakan kemungkinan baru sambil membatasi kemungkinan lainnya. Still menandai peralihan dari keterbatasan yang disebut sebelumnya menuju kesimpulan yang lebih positif dan seimbang.

Latihan

Kalimat mana yang paling tepat menggunakan metafora pintu untuk mengatakan bahwa suatu aturan menciptakan dan membatasi peluang dalam jumlah yang kurang lebih seimbang?

  1. The new rule opened as many doors as it closed.
  2. The new rule opened a door after the office closed.
  3. The new rule closed every door and created no new options.
Lihat jawaban

The new rule opened as many doors as it closed.

Knowledge of unprovably true statements inspired key innovations in early computers. Frasa

4:37

Pengetahuan tentang pernyataan benar yang tak dapat dibuktikan menginspirasi inovasi kunci pada komputer awal.

Frasa

inspired key innovations in early computers: menggambarkan pengaruh gagasan

Inspired key innovations berarti membantu melahirkan perkembangan baru yang penting. Di sini, subjeknya adalah Knowledge of unprovably true statements, sehingga suatu jenis pengetahuan abstrak, bukan seseorang, digambarkan sebagai sesuatu yang memengaruhi teknologi. In early computers menunjukkan bidang tempat inovasi tersebut muncul. Inspired menandakan pengaruh intelektual; kata ini tidak menyatakan bahwa pengetahuan itu sendiri menciptakan komputer atau menjadi satu-satunya penyebab langsung.

Latihan

Gunakan pola empat kata inspire + key innovations + in, dengan inspire dalam bentuk lampau: The discovery ____ battery design.

Lihat jawaban

inspired key innovations in

And today,

4:43

Dan hari ini,

some mathematicians dedicate their careers to identifying provably unprovable statements. Catatan

4:43

beberapa matematikawan mendedikasikan karier mereka untuk mengidentifikasi pernyataan yang dapat dibuktikan sebagai tak dapat dibuktikan.

Frasa

dedicate their careers to identifying: dedicate ... to + bentuk -ing

Dalam dedicate their careers to identifying ..., dedicate A to B berarti mengabdikan A untuk suatu tujuan B. Di sini A adalah their careers dan B adalah tindakan identifying sesuatu, sehingga pekerjaan itu digambarkan sebagai misi profesional yang serius dan berjangka panjang. Kata to merupakan kata depan dalam dedicate A to B. Jika B berupa tindakan, gunakan bentuk -ing: to identifying, bukan to identify.

Latihan

Lengkapi kalimat dengan bentuk lampau dedicate her career to: Maria ____ improving rural health care.

Lihat jawaban

dedicated her career to

Pilihan kata

provably unprovable statements: membuktikan ketakterbuktian

Provably adalah kata keterangan yang menerangkan unprovable. Frasa ini berarti pernyataan yang ketidakmungkinannya untuk dibuktikan dapat ditetapkan melalui suatu pembuktian: dapat ditunjukkan bahwa pernyataan tersebut tidak bisa dibuktikan dalam sistem formal yang dimaksud. Artinya bukan sekadar belum ada orang yang menemukan buktinya, dan provably juga tidak berarti probably. Susunan ini membuat pernyataan yang tepat tentang apa yang dapat dibuktikan.

Latihan

Makna mana yang paling sesuai dengan provably unprovable statements?

  1. Dapat dibuktikan bahwa pernyataan tersebut tidak dapat dibuktikan.
  2. Pernyataan tersebut mungkin sulit dibuktikan.
  3. Pernyataan tersebut sudah terbukti salah.
Lihat jawaban

Dapat dibuktikan bahwa pernyataan tersebut tidak dapat dibuktikan.

So while mathematicians may have lost some certainty, Alur pesan

4:50

Jadi meskipun matematikawan mungkin telah kehilangan beberapa kepastian,

Alur pesan

So while ... may have lost ...: mengakui kekurangan sebelum menyampaikan kesimpulan utama

So di awal menandakan bahwa pembicara sedang menarik kesimpulan dari pembahasan sebelumnya. Di sini while bersifat konsesif dan berarti “walaupun”, bukan menunjukkan dua peristiwa yang berlangsung bersamaan. Klausa pertama mengakui kemungkinan adanya kerugian, lalu klausa utama menyampaikan kesimpulan yang lebih positif dan paling ingin ditekankan. May have lost berarti kehilangan itu mungkin sudah terjadi atau cukup masuk akal untuk dianggap sudah terjadi. Artinya bukan para matematikawan diberi izin untuk kehilangan kepastian. Bentuk ini melunakkan pengakuan atas kerugian sebelum menyeimbangkannya dengan suatu manfaat.

Latihan

Kelanjutan mana yang paling tepat melengkapi rangkuman konsesif ini dengan kesimpulan utama yang positif: “So while the trip may have cost more than expected, ...”?

  1. we still made memories we will always value.
  2. it also took two hours longer than planned.
  3. the tickets had blue numbers printed on them.
Lihat jawaban

we still made memories we will always value.

thanks to Gödel, Frasa

4:53

berkat Gödel,

they can embrace the unknown at the heart of any quest for truth. Idiom

4:54

mereka bisa merangkul ketidaktahuan di inti setiap pencarian kebenaran.

Frasa

thanks to Gödel: memberi penghargaan atas hasil positif

Thanks to Gödel adalah frasa preposisional yang berarti “karena kontribusi Gödel” atau “berkat Gödel”. Frasa ini menyajikan hasil positif setelahnya sebagai sesuatu yang dapat terjadi berkat karya Gödel; ini bukan ucapan terima kasih langsung kepadanya. Polanya adalah thanks to + frasa nomina. Di sini frasa nominanya adalah Gödel, dan keseluruhan frasa menjelaskan alasan mereka dapat menerima hal yang belum diketahui.

Latihan

Lengkapi dengan frasa target dua kata yang berarti “karena, dengan penghargaan positif”: ____ Noah's quick repair, the robot worked again.

Lihat jawaban

Thanks to

Idiom

menerima hal yang belum diketahui ... di inti setiap pencarian kebenaran

Dalam embrace the unknown, embrace digunakan secara kiasan: artinya bersedia menerima dan menghadapi sesuatu yang belum diketahui, bukan memeluk sesuatu secara fisik. Di sini, the unknown mencakup ketidakpastian matematika, seperti pernyataan yang mungkin benar meskipun tidak dapat dibuktikan oleh suatu sistem tertentu. At the heart of berarti “berada di bagian pusat atau paling penting dari sesuatu”. Quest for truth menggambarkan pencarian kebenaran sebagai perjalanan yang panjang dan menantang. Sebagai kalimat penutup, kalimat ini menampilkan ketidakpastian sebagai bagian utama dari pencarian kebenaran, bukan sekadar kegagalan, serta mendorong orang untuk menerimanya.

Latihan

Pilihan mana yang paling tepat menjelaskan kalimat tersebut?

  1. Mereka dapat menerima ketidakpastian sebagai bagian utama dari pencarian kebenaran.
  2. Mereka dapat menghindari pertanyaan yang belum terjawab sampai setiap fakta terbukti.
  3. Mereka dapat memegang sesuatu yang tidak diketahui secara fisik selama perjalanan.
Lihat jawaban

Mereka dapat menerima ketidakpastian sebagai bagian utama dari pencarian kebenaran.

The Pythagorean theorem has more than 350 proofs. Budaya

4:59

Teorema Pythagoras memiliki lebih dari 350 pembuktian.

Budaya

Pythagorean theorem: hasil geometri yang telah dibuktikan

Pythagorean theorem adalah nama baku untuk hasil geometri tentang segitiga siku-siku: kuadrat hipotenusa, yaitu sisi di seberang sudut siku-siku, sama dengan jumlah kuadrat kedua sisi lainnya. Hubungan ini sering ditulis a^2 + b^2 = c^2. Dalam nama tersebut, Pythagorean menghubungkan hasil itu dengan Pythagoras, sedangkan theorem berarti pernyataan matematika yang ditetapkan melalui pembuktian, bukan aturan biasa atau dugaan yang belum diuji. Karena itu, kalimat tersebut dapat mengatakan bahwa teorema ini memiliki lebih dari 350 pembuktian.

Latihan

Apa yang ditunjukkan oleh theorem dalam nama Pythagorean theorem?

  1. Ini adalah dugaan yang belum diuji tentang semua segitiga.
  2. Ini adalah pernyataan matematika yang ditetapkan melalui pembuktian.
  3. Ini adalah petunjuk biasa di ruang kelas.
Lihat jawaban

Ini adalah pernyataan matematika yang ditetapkan melalui pembuktian.

So what exactly is this mathematical rule about?

5:03

Jadi tentang apakah sebenarnya aturan matematika ini?

And how was it proven in the first place? Frasa

5:07

Dan bagaimana ia dibuktikan pada awalnya?

Frasa

in the first place: menanyakan titik awal sebenarnya

Di sini, in the first place berarti “pada awalnya” atau “sejak mula”. Ketika diletakkan di akhir pertanyaan, ungkapan ini mengarahkan perhatian dari teorema yang kita kenal sekarang kembali ke cara teorema itu pertama kali dibuktikan. Ungkapan ini adalah idiom, jadi place tidak merujuk pada lokasi. Dalam pertanyaan, ungkapan ini sering memberi penekanan ketika menanyakan penyebab, alasan, atau dasar awal sesuatu.

Latihan

Apa fungsi in the first place dalam kalimat ini?

  1. Pertanyaan itu menanyakan apakah pembuktian tersebut meraih juara pertama.
  2. Pertanyaan itu menanyakan bagaimana pembuktian tersebut awalnya ditetapkan.
  3. Pertanyaan itu menanyakan lokasi fisik pembuktian pertama.
Lihat jawaban

Pertanyaan itu menanyakan bagaimana pembuktian tersebut awalnya ditetapkan.

Explore one of the cornerstones of geometry with this video. Idiom

5:10

Jelajahi salah satu batu penjuru geometri dengan video ini.

Idiom

one of the cornerstones of geometry: metafora untuk sebuah landasan

Cornerstone secara harfiah berarti batu di sudut sebuah bangunan. Di sini, kata tersebut menjadi metafora untuk gagasan dasar yang menopang bidang yang lebih besar. Menyebut teorema itu a cornerstone of geometry berarti teorema tersebut sangat mendasar dan penting bagi geometri. Pola one of the + kata benda jamak + of menunjukkan bahwa sesuatu merupakan satu landasan penting di antara beberapa landasan, bukan satu-satunya landasan.

Latihan

Lengkapi kalimat dengan struktur one of the cornerstones of: Reliable evidence is one ____ good research.

Lihat jawaban

of the cornerstones of