Vladimir Voevodsky: Matematik sebagai kaedah menstabilkan minda

Vladimir Voevodsky: Matematik sebagai kaedah menstabilkan minda

Temubual Olga Baklitskaya-Kameneva dengan Vladimir Voevodsky

Vladimir Voevodsky, I Forum penghargaan penghargaan dalam sains matematik dan komputer, Heidelberg, 26 September 2013

Empat puluh hari telah berlalu sejak ahli matematik cemerlang Vladimir Voevodsky meninggal dunia (4 Jun 1966 – 30 September 2017). Empat tahun yang lalu, kami bertemu di Jerman, di Heidelberg, di mana seorang saintis memberi ceramah mengenai Asas Matematik Univalent di Forum Pertama Pemenang Anugerah dalam Matematik dan Sains Komputer.

Di forum itu, saya dijemput oleh penganjur sebagai seorang wartawan saintifik. Atas nasihat anak lelaki matematik, yang bercakap dengan aspirasi mengenai Vladimir Voevodsky, dia mengambil peluang untuk bercakap dengan seorang saintis. Malangnya, komputer dengan rakaman perbualan hilang, dan baru-baru ini saya dapati satu salinan perbualan dan gambar pada pemacu kilat lama. Saya fikir saya akan bertemu dengan Vladimir dan meneruskan perbualan, tetapi saya tidak perlu.

Kami menawarkan anda satu perbualan kecil, yang berlaku di kafeteria universiti di Heidelberg. Pada masa ini saya telah membaca temuduga dengan seorang saintis yang terdapat di Internet dan mendengar kuliahnya, tetapi saya fikir ia bukan mengapa saya mempunyai perasaan bahawa kita telah mengenali untuk masa yang lama. Kebencian dan keterbukaan, keikhlasan, kehalusan dan keupayaan untuk mendengar pengadil itu tidak memedulikan saya,daripada jenius pembinaan matematik Voevodsky.


– Rakan anda David Kazhdan, Andrei Okounkov dan saintis matematik lain musim panas ini (2013) datang ke Rusia dan membaca ceramah untuk pelajar dan siswazah di sekolah musim panas matematik "Algebra dan Geometri" di Yaroslavl. Para ahli matematik muda sangat gembira. Bagaimana perasaan anda tentang pertemuan seperti itu dengan ahli matematik muda Rusia?

– Saya, malangnya, tidak tahu mengenainya. Saya cuba datang ke Rusia dua kali setahun – kepada ibu saudara saya dan kawan-kawan saya, biasanya pada bulan Jun, pada hari lahir saya, dan pada Tahun Baru, walaupun beban kerja adalah besar. Dan kerana ramai kawan saya dalam matematik, saya juga membaca satu atau dua kuliah.

– Apa yang kamu buat sekarang? Anda dipanggil pakar utama dalam geometri algebra di forum.

– Walaupun saya tidak melakukan ini, mungkin saya akan kembali dalam beberapa waktu. Sekarang saya menarik untuk mewujudkan asas matematik baru, untuk membangunkan sistem komputer yang boleh digunakan oleh ahli matematik dalam kerja harian mereka, dan dalam bidang matematik. Ini, secara ganjil, dapat membantu mereka untuk melakukan matematik abstrak yang tepat, dan bukan dalam pengiraan abstrak, tetapi untuk membuktikan teori.Sehingga dengan bantuan program komputer ini, seperti dengan rakan sekerja, adalah mungkin untuk membina beberapa jenis teori secara interaktif. Dalam satu tangan, ini memerlukan penciptaan asas-asas matematik yang baru, dan kami telah melakukan banyak perkara ke arah ini sejak tiga tahun yang lalu. Sebaliknya, adalah perlu untuk membangunkan bahasa baru, yang merupakan persilangan antara bahasa logik dan bahasa pengaturcaraan untuk perihalan objek abstrak kompleks.

– Bolehkah anda menawarkan beberapa jenis struktur tertutup untuk ini?

– Kami tidak mahu ia ditutup sepenuhnya, kami ingin menjadi semangat sebagai bahasa manusia: untuk mempunyai teras di setiap peringkat tertentu, yang secara semestinya diuji dan boleh dipercayai. Dan di luar teras ini akan ada kawasan pembangunan tertentu. Apabila ia tumbuh cukup, maka dengan bantuannya anda dapat membina teras seterusnya. Saya mempunyai banyak idea yang berbeza dalam bidang ini, tetapi saya belum bersedia menyuarakannya.

Sekarang kita bergerak secara aktif ke arah ini. Tahun lepas, kami mengadakan program tahunan di Institut Pengajian Tinggi di Princeton. Saya tidak mempunyai kumpulan seperti itu, tetapi kira-kira enam puluh orang dari pelbagai negara di dunia melepasi institut tahun lepas.Mereka mengambil idea-idea ini dengan mereka dan, pada gilirannya, secara beransur-ansur menganjurkan kumpulan mereka.

Arah baru kami mempunyai dua nama, yang pertama – asas-asas matematik yang univalen, yang kedua – teori homotopi jenis. Kedua-dua bidang ini berkembang pesat dan terletak di persimpangan hanya matematik abstrak dan sains komputer.

– Jadi anda bekerja sendirian?

– Di satu pihak, ya, kerana saya begitu biasa dengannya. Sebaliknya, bergantung pada apa yang saya terlibat pada masa ini, saya boleh bekerja bersendirian atau dalam satu kumpulan, saya hanya boleh berkomunikasi dengan ramai orang, yang saya lakukan. Jika saya perlu berunding dengan seseorang, saya menghubungi rakan sekerja saya. Saya tidak sedang bekerja sebagai penasihat, ia telah berkembang secara sejarah, tetapi ia bukan pilihan yang sedar.

– Adakah anda terus menikmati matematik? Apa yang mendorong anda untuk kelas ini? Adakah anda tertarik dengan keindahannya atau adakah anda cuba menjawab persoalan bagaimana memperbaiki kehidupan seharian? Atau, mungkin, di tempat pertama, anda disita dengan peluang untuk menyelesaikan masalah yang ditimbulkan oleh ahli matematik generasi terdahulu?

"Sekarang saya menggunakan matematik dengan cara yang sama bahawa yogis kelas tinggi menggunakan kedudukan badan, sebagai sesuatu yang membantu menstabilkan fikiran saya dan badan saya." Bukan sahaja dalam erti kata mental, tetapi juga semata-mata dalam arti organisasi.Matematik tidak banyak menganjurkan diri kerana ia memberi saya asas asas yang saya harapkan untuk melakukan perkara-perkara lain.

– Apa yang anda panggil perkara lain?

– Saya akan menyebutnya perkembangan rohani. Di samping membaca buku, ia adalah perendaman dalam perkara-perkara yang dekat dengan esoterik dan ghaib.

– Adakah anda tidak takut bahawa kawasan-kawasan ini akan menjadi begitu menarik bahawa menyelam itu boleh terlalu dalam dan tidak boleh dibatalkan?

– Matematik berfungsi sebagai jangkar yang boleh anda tahan sehingga anda tidak akan diseret ke sana. Saya dapat membayangkan bagaimana keadaan ini berlaku.

– Adakah anda berkongsi pandangan yang diterima umum bahawa ahli sains yang hebat, dan bukan hanya ahli matematik, sering kali penemuan yang paling penting dibuat sebelum berumur empat puluh tahun? Atau jawapan kepada soalan ini bergantung kepada umur?

– Ambil, contohnya, asas-asas matematik yang tidak bersesuaian, yang sekarang saya lakukan. Saya mengembangkan sebahagian besar idea-idea yang berasaskan teori itu selepas empat puluh tahun. Hakikatnya banyak bergantung pada bagaimana anda melihat matematik. Anda boleh kelihatan seperti sistem di mana seseorang meletakkan hipotesis ke hadapan, dan kemudian seseorang membuktikannya, melahirkan proses membuktikan hipotesis baru dan sekali lagi membuktikannya.Ternyata, sebagai peraturan, bukti hipotesis yang lain, yang lebih dekat dengan generasi muda: untuk melakukan sesuatu, kepentingan yang ditentukan oleh pihak berkuasa yang telah menemui ini menarik. Tetapi dengan umur, ia menjadi lebih sukar untuk memotivasi diri anda dengan idea orang lain …

– Anda tidak menetapkan sempadan? Sebagai contoh, saya menjana usia tertentu, dan kemudian saya akan mula mengkaji sejarah matematik, pencerahan.

"Saya tidak pasti, kerana, seperti yang saya katakan, semasa saya menggunakan matematik sebagai teknik untuk menstabilkan fikiran saya."

– Tidak semua orang boleh menggunakan matematik untuk tujuan tersebut. Bagaimana perasaan anda tentang nasib orang hebat-ahli matematik yang menjalani kehidupan yang aneh dan luar biasa: Alexander Grothendieck, Alan Turing, John Nash?

– Banyak takdir yang berbeza. Dari 45 hingga 55 tahun, ramai yang akan melalui masa beberapa pemikiran semula aktiviti mereka dan bertanya kepada diri mereka soalan, tetapi mengapa saya melakukan semua ini? Saya tidak mengecualikan apa-apa untuk diri saya, tetapi saya tidak mahu pergi ke Pyrenees (seperti Grotendyk – Nota ed.).

– Apakah peranan keluarga dalam kerja anda?

– Saya telah tinggal bersendirian selama 8 tahun. Kanak-kanak tinggal di Boston, dan saya di Princeton, saya bertemu dengan mereka bergantung kepada keadaan.

– Adakah matematik memainkan peranan mereka di sini atau keadaan manusia biasa ini?

– Sukar untuk dibahagikan. Lapan tahun yang lalu saya masih tidak memisahkan diri saya dari matematik, kini saya memisahkan diri saya dari matematik.

– Adakah anda fikir perlu untuk memberitahu orang ramai, contohnya, mengenai asas-asas matematik yang tidak bersesuaian?

– Pada pendapat saya, masuk akal. Saya yakin bahawa asas-asas matematik yang univalen akan secara perlahan menjadi alat standard. Saya tidak tahu berapa cepat, tetapi saya tidak mempunyai keraguan khusus mengenai perkara ini. Perkara lain adalah bagaimana untuk membincangkannya.

– Anda mungkin jauh dari masalah Rusia. Tetapi pendapat anda tentang pembaharuan RAS menarik.

– Dunia tidak boleh wujud tanpa matematik, ia terlalu bergantung kepadanya, matematik masih diperlukan. Berapa ramai orang yang terlibat dalamnya dalam beberapa masa sejarah masa depan tidak diketahui. Walaupun secara luas percaya bahawa hanya matematik yang diterapkan akan bertahan, ia tidak dapat bertahan tanpa matematik tulen. Bank memanggil ahli matematik, penganalisis, untuk pembinaan jambatan, untuk penerbangan pesawat – untuk semua yang anda perlukan dalam matematik. Di samping itu, sains komputer semakin menggunakan matematik tulen.

– Apa tempat dalam hidup anda hobi anda? Sukan, perjalanan? Atau adakah keadaan di Princeton begitu baik untuk melakukan matematik sehingga tiada apa yang diperlukan?

– Bagi saya, ia tidak memainkan peranan yang penting; Rupa-rupanya, saya tidak cukup memberi perhatian kepada perkara ini. Saya mempunyai dua tempoh yang panjang dalam tahun 2006-2007, ketika saya menghabiskan masa untuk rave dengan orang muda, ini adalah pendidikan adrenalin dan jasmani pada masa yang sama, tetapi hobi ini telah berlalu.

Apa yang perlu saya lakukan untuk menstabilkan jika saya dibebankan dengan matematik? Saya berjalan banyak, di sebelah rumah saya di Princeton Forest, saya menghabiskan banyak masa di sana. Setelah saya menghabiskan 23 jam, saya pulang ke rumah selama 4 jam dan sekali lagi pergi ke hutan. Kebanyakan jalan-jalan jatuh pada waktu malam, iaitu, saya berjalan pada waktu malam, bertemu rusa …

Terima kasih kepada jalan-jalan semacam itu, saya mempunyai beberapa jenis aktiviti fizikal. Bagi perjalanan, mereka tidak sebanyak yang kami mahukan. Satu menunggang keras. Di sini anak perempuan akan membesar sedikit, anda boleh bepergian dengan mereka. Kami baru-baru ini mengembara bersama mereka ke Sicily, ia hebat.

– Apa maksudnya kepada Rusia? Bagaimana perasaan awak?

– Sebaliknya, seorang Amerika, kerana saya hidup selama 23 tahun di Amerika.

Dibincangkan oleh Olga Baklitskaya-Kameneva
Gambar oleh Olga Baklitskaya-Kameneva

Lihatjuga:
"Dia sudah bersedia untuk bekerja selama beberapa hari tanpa tidur dan makanan." Memori Vladimir Voevodsky.


Like this post? Please share to your friends:
Tinggalkan Balasan

;-) :| :x :twisted: :smile: :shock: :sad: :roll: :razz: :oops: :o :mrgreen: :lol: :idea: :grin: :evil: :cry: :cool: :arrow: :???: :?: :!: