Paradoks di jantung matematika: Teorema Ketidaklengkapan Gödel - Marcus du Sautoy: catatan belajar bahasa Inggris
TED-Ed
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:06Perhatikan kalimat berikut: "Pernyataan ini salah."
“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
“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?
- Kalimat tersebut tidak memiliki subjek.
- Kata “false” hanya dapat digunakan dalam matematika.
- “This statement” merujuk pada kalimat itu sendiri.
Lihat jawaban
“This statement” merujuk pada kalimat itu sendiri.
If so, that would make this statement false. Catatan
0:12Jika ya, itu berarti pernyataan ini salah.
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
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:14Namun jika salah, maka pernyataan itu benar.
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:17Dengan merujuk pada dirinya sendiri secara langsung, pernyataan ini menciptakan paradoks yang tak terpecahkan.
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
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?
- Sebuah pertanyaan belum dijawab karena belum ada yang memeriksanya.
- Sebuah aturan membuat pernyataan yang sama menjadi benar sekaligus salah dan tidak menyediakan jalan keluar.
- 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.
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?
- Pertanyaan itu menyatakan bahwa pernyataan tersebut pasti salah.
- Pertanyaan itu menanyakan lokasi fisik pernyataan tersebut.
- 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:26Pertanyaan ini mungkin tampak seperti eksperimen pemikiran yang konyol.
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
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?
- Plant two seeds and record which one grows faster.
- Imagine that nobody needed sleep and reason through how schools and jobs would change.
- 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:29Namun pada awal abad ke-20, hal ini menuntun ahli logika Austria Kurt Gödel pada sebuah penemuan yang akan mengubah matematika selamanya.
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
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?
- Permintaan sopan agar gagasan itu mengubah hidupnya.
- Prediksi dari masa kini tentang perubahan yang belum terjadi.
- 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:37Penemuan Gödel berkaitan dengan keterbatasan pembuktian matematis.
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
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?
- limitations of mathematical proofs
- mistakes in mathematical proofs
- 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:42Bukti adalah argumen logis yang mendemonstrasikan mengapa sebuah pernyataan tentang angka adalah benar.
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?
- An algorithm can solve a specific problem very quickly.
- Can an algorithm solve this specific problem?
- 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.
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?
- The teacher explained why was the answer correct.
- Why was the answer correct?
- The teacher explained why the answer was correct.
Lihat jawaban
The teacher explained why the answer was correct.
undeniable statements about the numbers involved. Pilihan kata
0:52pernyataan yang tak terbantahkan tentang angka-angka yang terlibat.
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
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
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?
- angka-angka yang relevan dengan persoalan tersebut
- angka-angka yang sudah dibuktikan
- angka-angka yang sulit dihitung
Lihat jawaban
angka-angka yang relevan dengan persoalan tersebut
from the most complex proof to basic arithmetic, Alur pesan
0:57dari bukti yang paling kompleks hingga aritmatika dasar,
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
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:03Dan jika sebuah pernyataan tentang angka adalah benar,
mathematicians should be able to confirm it with an axiomatic proof.
1:05matematikawan seharusnya bisa mengonfirmasinya dengan bukti aksiomatik.
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?
- If the code is correct, the user can sign in.
- If the code is correct, the user should be able to sign in.
- 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.
mathematicians used this system to prove or disprove mathematical claims with total certainty. Frasa
1:11matematikawan menggunakan sistem ini untuk membuktikan atau menyangkal klaim matematis dengan kepastian total.
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
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
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:20beberapa paradoks logis yang baru terungkap mengancam kepastian tersebut.
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?
- The speaker threatened the audience with punishment.
- Several errors threatened confidence in the report.
- 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:26Matematikawan terkemuka sangat ingin membuktikan bahwa matematika tidak memiliki kontradiksi.
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
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?
- Sistem tidak dapat membuktikan kesimpulan yang saling bertentangan.
- Para matematikawan sepakat dalam setiap persoalan.
- Soal matematika tidak pernah sulit.
Lihat jawaban
Sistem tidak dapat membuktikan kesimpulan yang saling bertentangan.
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?
- Gödel sendiri memiliki beberapa keraguan, tidak seperti kelompok yang lebih yakin.
- Gödel dengan tegas menolak semua pendekatan matematika.
- 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:33dan dia bahkan kurang yakin bahwa matematika adalah alat yang tepat untuk menyelidiki masalah ini.
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
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:40Walaupun relatif mudah untuk menciptakan paradoks yang merujuk pada diri sendiri dengan kata-kata,
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?
- Please wait here while I check the schedule.
- While I was washing the dishes, the doorbell rang.
- While the instructions look simple, the machine is difficult to operate.
Lihat jawaban
While the instructions look simple, the machine is difficult to operate.
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?
- Sebuah pernyataan menciptakan pertentangan dengan merujuk pada dirinya sendiri.
- Sebuah kalimat merujuk pada fakta di buku lain.
- 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:45angka biasanya tidak membicarakan dirinya sendiri.
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?
- Angka pada umumnya tidak merujuk atau mendeskripsikan dirinya sendiri.
- Angka biasanya diam ketika orang membacanya dengan suara keras.
- 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:48Sebuah pernyataan matematis hanya bisa benar atau salah,
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?
- Menetapkan kerangka benar atau salah yang sudah dikenal sebelum kalimat beralih arah.
- Menyatakan bahwa semua bagian matematika itu mudah.
- Menjelaskan rincian gagasan Gödel.
Lihat jawaban
Menetapkan kerangka benar atau salah yang sudah dikenal sebelum kalimat beralih arah.
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?
- Membuktikan bahwa gagasan Gödel sudah benar.
- Mengulang aturan benar atau salah tanpa beralih arah.
- 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:54Pertama, ia menerjemahkan pernyataan matematis dan persamaan ke dalam nomor kode,
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:59sehingga sebuah ide matematis yang kompleks dapat diungkapkan dalam satu angka.
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:03Ini berarti bahwa pernyataan matematis yang ditulis dengan angka-angka tersebut
were also expressing something about the encoded statements of mathematics. Pilihan kata
2:07juga mengekspresikan sesuatu tentang pernyataan matematis yang dikodekan.
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?
- Ungkapan ini menghubungkan langkah pengodean sebelumnya dengan akibat yang dihasilkannya.
- Ungkapan ini memperkenalkan fakta yang tidak berhubungan dengan langkah sebelumnya.
- Ungkapan ini memberikan definisi kamus untuk kata mathematics.
Lihat jawaban
Ungkapan ini menghubungkan langkah pengodean sebelumnya dengan akibat yang dihasilkannya.
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?
- Pernyataan tersebut telah diubah menjadi bentuk berkode.
- Pernyataan tersebut telah dikeluarkan dari kode dan dikembalikan ke bentuk aslinya.
- Pernyataan tersebut pasti disembunyikan agar tetap rahasia.
Lihat jawaban
Pernyataan tersebut telah diubah menjadi bentuk berkode.
the coding allowed mathematics to talk about itself. Idiom
2:13pengkodean memungkinkan matematika untuk berbicara tentang dirinya sendiri.
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?
- Pengodean membuat matematika benar-benar berbicara dengan suara keras.
- Pengodean memberi para matematikawan izin untuk membahas pengodean.
- Pengodean membuat matematika dapat menyatakan hal-hal tentang dirinya sendiri.
Lihat jawaban
Pengodean membuat matematika dapat menyatakan hal-hal tentang dirinya sendiri.
he was able to write: "This statement cannot be proved" as an equation, Catatan
2:17ia mampu menulis: "Pernyataan ini tidak dapat dibuktikan" sebagai sebuah persamaan,
“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?
- Pernyataan itu mengatakan bahwa dirinya tidak dapat membuktikan persamaan lain.
- Pernyataan itu mengatakan bahwa dirinya sendiri tidak dapat dibuktikan di dalam sistem tersebut.
- 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:22menciptakan pernyataan matematis pertama yang merujuk pada dirinya sendiri.
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:27Namun, tidak seperti kalimat ambigu yang menginspirasinya,
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:31pernyataan matematis haruslah benar atau salah.
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?
- Pernyataan-pernyataan itu berjanji untuk berkata jujur.
- Kerangka logika mengharuskan setiap pernyataan memiliki salah satu dari dua nilai.
- 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?: 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?
- Pertanyaan itu memperkenalkan topik baru yang tidak berkaitan dengan penalaran sebelumnya.
- Pertanyaan itu mengembalikan pembahasan pada pilihan di antara kemungkinan tersebut.
- Pertanyaan itu mengatakan bahwa kedua kemungkinan pasti benar.
Lihat jawaban
Pertanyaan itu mengembalikan pembahasan pada pilihan di antara kemungkinan tersebut.
that means the statement does have a proof. Tata bahasa
2:37itu berarti pernyataan tersebut memiliki bukti.
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”?
- Memperkenalkan kesimpulan yang ditarik dari kondisi tersebut.
- Memulai topik baru yang tidak berkaitan.
- Menerjemahkan kata “blank”.
Lihat jawaban
Memperkenalkan kesimpulan yang ditarik dari kondisi tersebut.
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:40Tapi jika sebuah pernyataan matematis memiliki bukti,
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:44Kontradiksi ini berarti bahwa pernyataan Gödel tidak mungkin salah,
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 ...?
- Frasa ini mengalihkan topik ke contoh yang tidak berkaitan.
- Frasa ini merangkum ketidakkonsistenan dan memperkenalkan kesimpulan yang ditarik darinya.
- Frasa ini memberikan definisi kamus untuk kata contradiction.
Lihat jawaban
Frasa ini merangkum ketidakkonsistenan dan memperkenalkan kesimpulan yang ditarik darinya.
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”?
- Secara logis, jawaban itu tidak mungkin salah.
- Pembicara tidak mampu membuat jawaban itu salah.
- Jawaban itu tidak diizinkan untuk salah.
Lihat jawaban
Secara logis, jawaban itu tidak mungkin salah.
it must be true that this statement cannot be proved.
2:49pasti benar bahwa pernyataan ini tidak dapat dibuktikan.
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
that asserts it cannot be proved. Pilihan kata
3:01yang menegaskan bahwa ia tidak dapat dibuktikan.
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?
- Bagian itu mengontraskan poin sebelumnya, memperkuat penilaian, dan memperkenalkan alasan.
- Bagian itu mengatakan bahwa hasil tersebut belum terjadi.
- Bagian itu memperkenalkan alasan, tetapi tidak membuat kontras dengan poin sebelumnya.
Lihat jawaban
Bagian itu mengontraskan poin sebelumnya, memperkuat penilaian, dan memperkenalkan alasan.
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?
- Persamaan yang hanya menggunakan bilangan real.
- Persamaan yang benar-benar ada, terlepas dari benar atau tidaknya pernyataan matematisnya.
- Persamaan yang pernyataan matematisnya benar.
Lihat jawaban
Persamaan yang pernyataan matematisnya benar.
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?
- Persamaan itu membuktikan klaim tersebut dengan alasan pendukung.
- Persamaan itu berbicara dengan suara yang sangat keras.
- 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:04Pengungkapan ini adalah inti dari teorema ketidaklengkapan Gödel,
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
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?
- Batas pada beberapa sistem formal: pernyataan benar tertentu tidak dapat dibuktikan di dalam sistem tersebut.
- Klaim bahwa matematika tidak memiliki pembuktian yang sah.
- 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:08yang memperkenalkan kelas pernyataan matematis yang sama sekali baru.
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
but true statements can either be provable or unprovable within a given set of axioms. Pilihan kata
3:17tetapi pernyataan yang benar dapat dibuktikan atau tidak dapat dibuktikan dalam sekumpulan aksioma tertentu.
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?
- satu contoh ilustratif
- kerangka luas untuk memahami dan menata gagasan
- satu rumus matematika
Lihat jawaban
kerangka luas untuk memahami dan menata gagasan
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
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?
- Setiap kumpulan aksioma membuktikan pernyataan itu.
- Pernyataan itu secara fisik dikelilingi oleh aksioma.
- Dapat atau tidaknya pernyataan dibuktikan dinilai dengan satu kumpulan aksioma tertentu.
Lihat jawaban
Dapat atau tidaknya pernyataan dibuktikan dinilai dengan satu kumpulan aksioma tertentu.
Gödel argues these unprovable true statements exist in every axiomatic system. Pilihan kata
3:25Gödel berargumen bahwa pernyataan benar yang tidak dapat dibuktikan ini ada dalam setiap sistem aksiomatik.
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?
- Pernyataan itu salah karena tidak ada bukti.
- Pernyataan itu benar dan buktinya belum ditemukan, tetapi pasti akan ditemukan.
- 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:32Hal ini membuatnya mustahil untuk menciptakan sistem yang sempurna lengkap menggunakan matematika
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:38karena akan selalu ada pernyataan benar yang tidak bisa kita buktikan.
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:42Bahkan jika Anda memperhitungkan pernyataan yang tak dapat dibuktikan ini dengan menambahkannya sebagai aksioma baru ke dalam sistem matematis yang diperluas,
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
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?
- Menjelaskan mengapa pernyataan itu benar
- Mengandalkan pernyataan tersebut
- 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:49proses itu sendiri memperkenalkan pernyataan benar yang tidak dapat dibuktikan secara baru.
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?
- The exact decision already mentioned caused the delay.
- A different decision prevented the delay.
- 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:55Tidak peduli berapa banyak aksioma yang Anda tambahkan,
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:57akan selalu ada pernyataan benar yang tak dapat dibuktikan dalam sistem Anda.
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?
- Sistem itu mungkin memuat pernyataan yang barangkali benar.
- Setiap pernyataan benar sudah dibuktikan di dalam sistem itu.
- 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: 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?
- Batas ala Gödel terus muncul kembali ketika sistem diperluas.
- Satu teorema menyelesaikan semua kemungkinan perluasan sistem.
- 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:04Pengungkapan ini mengguncang fondasi bidang ini,
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?
- Temuan itu sangat mengguncang keyakinan dasar bidang tersebut.
- Temuan itu membuat perubahan kecil dan rutin dalam bidang tersebut.
- 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:07menghancurkan mereka yang bermimpi bahwa setiap klaim matematis suatu hari akan dibuktikan atau disangkal.
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?
- Because the storm closed the airport, hundreds of travelers were stranded.
- The storm closed the airport and hundreds of travelers waited nearby.
- The storm closed the airport, leaving hundreds of travelers stranded.
Lihat jawaban
The storm closed the airport, leaving hundreds of travelers stranded.
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:13Meskipun sebagian besar matematikawan menerima realitas baru ini,
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.”
- Kata itu memberikan alasan sebagian orang menentang rencana tersebut.
- Kata itu menyatakan bahwa dua tindakan berlangsung sama lama.
- Kata itu mempertentangkan reaksi dua kelompok.
Lihat jawaban
Kata itu mempertentangkan reaksi dua kelompok.
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?
- Mereka berdebat dengan pelan agar tidak menarik perhatian.
- Mereka berdebat dengan perasaan dan keyakinan yang kuat.
- 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:19Yang lain masih mencoba mengabaikan lubang yang baru terungkap di jantung bidang mereka.
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?
- Most families went home, but others still waited for the final announcement.
- The families stood still while they waited for the final announcement.
- 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.
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?
- Keterbatasan serius yang baru terungkap di pusat bidang akademis mereka
- Masalah medis yang memengaruhi jantung para peneliti
- 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:24Namun seiring dengan semakin banyak masalah klasik yang terbukti sebagai kebenaran yang tak dapat dibuktikan,
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?
- The box is as heavy as the chair.
- She works as an engineer.
- 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:28beberapa mulai khawatir pekerjaan seumur hidup mereka akan mustahil untuk diselesaikan.
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?
- After an hour with no reply, Leo had stopped worrying that something was wrong.
- After an hour with no reply, Leo began to worry that something was wrong.
- 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.
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?
- Pekerjaan yang mereka rencanakan untuk dilakukan dalam satu sore
- Pekerjaan utama yang telah mereka tekuni selama bertahun-tahun
- 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:33Namun, teorema Gödel membuka banyak pintu sama seperti yang ditutupnya.
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?
- The new rule opened as many doors as it closed.
- The new rule opened a door after the office closed.
- 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:37Pengetahuan tentang pernyataan benar yang tak dapat dibuktikan menginspirasi inovasi kunci pada komputer awal.
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
some mathematicians dedicate their careers to identifying provably unprovable statements. Catatan
4:43beberapa matematikawan mendedikasikan karier mereka untuk mengidentifikasi pernyataan yang dapat dibuktikan sebagai tak dapat dibuktikan.
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
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?
- Dapat dibuktikan bahwa pernyataan tersebut tidak dapat dibuktikan.
- Pernyataan tersebut mungkin sulit dibuktikan.
- 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:50Jadi meskipun matematikawan mungkin telah kehilangan beberapa kepastian,
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, ...”?
- we still made memories we will always value.
- it also took two hours longer than planned.
- the tickets had blue numbers printed on them.
Lihat jawaban
we still made memories we will always value.
they can embrace the unknown at the heart of any quest for truth. Idiom
4:54mereka bisa merangkul ketidaktahuan di inti setiap pencarian kebenaran.
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
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?
- Mereka dapat menerima ketidakpastian sebagai bagian utama dari pencarian kebenaran.
- Mereka dapat menghindari pertanyaan yang belum terjawab sampai setiap fakta terbukti.
- 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:59Teorema Pythagoras memiliki lebih dari 350 pembuktian.
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?
- Ini adalah dugaan yang belum diuji tentang semua segitiga.
- Ini adalah pernyataan matematika yang ditetapkan melalui pembuktian.
- 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:03Jadi tentang apakah sebenarnya aturan matematika ini?
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?
- Pertanyaan itu menanyakan apakah pembuktian tersebut meraih juara pertama.
- Pertanyaan itu menanyakan bagaimana pembuktian tersebut awalnya ditetapkan.
- 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:10Jelajahi salah satu batu penjuru geometri dengan video ini.
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