Showing posts with label Teknologi. Show all posts
Komputer Kuantum mendekati kenyataan, berkat "Higly Enriched and Higly Purified Silicon"
Penelitian yang melibatkan fisikawan Mike Thewalt dari Simon Fraser University menawarkan langkah baru menuju pembuatan komputer kuantum menjadi kenyataan, melalui sifat unik dari silikon yang sangat diperkaya dan sangat murni. Sekarang, komputer kuantum sudah terpikirkan dengan sangat matang dalam benak fisikawan dan secara penelitian teoretik. Ada beberapa komputer kuantum dasar yang telah ada, tapi belum ada yang dapat membangun komputer yang benar-benar dapat digunakan untuk keperluan praktis.
Komputer tersebut akan memanfaatkan kekuatan atom dan partikel sub-atom (ion, foton, elektron) untuk melakukan tugas memori dan pengolahan. Ya, itu semua dapat terwujud berkat sifat partikel sub-atomik yang aneh. Apa yang Thewalt dan rekannya di Universitas Oxford telah temukan adalah bahwa silikon khusus mereka memungkinkan prosesnya terjadi dan diamati dalam keadaan padat yang memerlukan keadaan vakum hampir sempurna. Dan menggunakan "28Silicon" mereka telah memperpanjang sampai tiga menit (dari sebelumnya hanya dalam hitungan detik), waktu di mana para ilmuwan dapat memanipulasi, mengamati dan mengukur prosesnya."Ini diperoleh dari pencatatan panjang dalam solid-state system," kata Thewalt. "Jika Anda menanyakan orang beberapa tahun yang lalu, apakah hal itu mungkin, mereka akan mengatakan tidak. Ini membuka cara baru untuk menggunakan solid-state semi-conductors seperti silikon sebagai basis untuk komputasi kuantum.
 |
Mike Thewalt dan mahasiswa pascasarjana Kamyar Saeedi dengan sampel silikon
"Anda mulai dapat melakukan hal yang orang pikir hanya bisa dilakukan dalam ruang hampa. Apa yang kami temukan, dan apa yang tidak diantisipasi, adalah garis spektral tajam pada 28Silicon yang telah kami uji. Ini sangat murni , dan begitu sempurna. Tidak ada bahan lain seperti itu."
Tetapi dunia kita masih jauh dari komputer kuantum praktis, ia tambahkan. Quantum computing adalah konsep yang menantang semua yang kita tahu atau mengerti tentang komputer saat ini. Desktop atau komputer laptop Anda memproses informasi dalam bentuk bit. Bit adalah unit dasar informasi, terlihat oleh komputer Anda sebagai nilai yang memuat hanya angka 1 dan 0.
Paragraf ini, ketika ditulis dalam program pengoloah kata, berisi 181 karakter termasuk spasi. Di komputer rumah Anda, paragraf sederhana itu diproses sebagai string dengan 1.448 nilai "1" dan "0".
Dalam komputer kuantum, "bit kuantum" (juga dikenal sebagai "qubit") dapat menjadi "1" dan "0" dan semua nilai antara 0 dan 1 pada saat yang sama. Thewalt menambahkan : "Sedikit 1/0 klasik dapat dianggap sebagai orang yang berada di Kutub Utara atau Kutub Selatan, sedangkan qubit dapat di mana saja di permukaan bumi yang sebenarnya digambarkan oleh dua parameter yang mirip dengan garis lintang dan bujur. "
Dengan membuat sebuah komputer kuantum praktis dengan beberapa qubit, dapat menyelesaikan dalam hitungan menit semua pekerjaan yang diselesaikan superkomputer terbesar saat ini dalam hitungan jutaan tahun. Penelitian Thewalt dan rekan-rekannya membuka lagi jalan penelitian dan aplikasi yang mungkin, dalam waktu, menyebabkan terobosan praktis dalam komputasi kuantum. Paper mereka akan dipublikasikan Jumat di Science.
Proof
The word Proof comes from the Latin probare meaning "to test". Related modern words are the English "probe", "proboscis”, "probation", and "probability", the Spanish "probar" (to smell or taste, or (lesser use) touch or test),[3] Italian "provare" (to try), and the German "probieren" (to try). The early use of "probity" was in the presentation of legal evidence. A person of authority, such as a nobleman, was said to have probity, whereby the evidence was by his relative authority, which outweighed empirical testimony.[4]
Plausibility arguments using heuristic devices such as pictures and analogies preceded strict mathematical proof.[5] It is probable that the idea of demonstrating a conclusion first arose in connection with geometry, which originally meant the same as "land measurement".[6] The development of mathematical proof is primarily the product of ancient Greek mathematics, and one of its greatest achievements. Thales (624–546 BCE) proved some theorems in geometry. Eudoxus (408–355 BCE) and Theaetetus (417–369 BCE) formulated theorems but did not prove them. Aristotle (384–322 BCE) said definitions should describe the concept being defined in terms of other concepts already known. Mathematical proofs were revolutionized by Euclid (300 BCE), who introduced the axiomatic method still in use today, starting with undefined terms and axioms (propositions regarding the undefined terms assumed to be self-evidently true from the Greek “axios” meaning “something worthy”), and used these to prove theorems using deductive logic. His book, the Elements, was read by anyone who was considered educated in the West until the middle of the 20th century.[7] In addition to the familiar theorems of geometry, such as the Pythagorean theorem, the Elements includes a proof that the square root of two is irrational and that there are infinitely many prime numbers.
Further advances took place in medieval Islamic mathematics. While earlier Greek proofs were largely geometric demonstrations, the development of arithmetic and algebra by Islamic mathematicians allowed more general proofs that no longer depended on geometry. In the 10th century CE, the Iraqi mathematician Al-Hashimi provided general proofs for numbers (rather than geometric demonstrations) as he considered multiplication, division, etc. for ”lines.” He used this method to provide a proof of the existence of irrational numbers.[8] An inductive proof for arithmetic sequences was introduced in the Al-Fakhri (1000) by Al-Karaji, who used it to prove the binomial theorem and properties of Pascal's triangle. Alhazen also developed the method of proof by contradiction, as the first attempt at proving the Euclidean parallel postulate.[9]
Modern proof theory treats proofs as inductively defined data structures. There is no longer an assumption that axioms are "true" in any sense; this allows for parallel mathematical theories built on alternate sets of axioms (see Axiomatic set theory and Non-Euclidean geometry for examples).
