Kurt Gödel: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k Menghapus konten yang, saya rasa, tidak mematuhi standar Wikipedia. Tag: VisualEditor Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
Fitur saranan suntingan: 2 pranala ditambahkan. |
||
Baris 113:
[[Albert Einstein]] juga tinggal di Princeton pada waktu itu. Gödel dan Einstein menjadi sahabat karib, dan dikenal sering berjalan jauh bersama dari dan ke Institute for Advanced Study. Isi percakapan mereka merupakan misteri bagi anggota institut yang lain. Ahli ekonomi [[:en:Oskar Morgenstern|Oskar Morgenstern]] mengenang bahwa di akhir hidupnya Einstein mengakui "pekerjaannya sendiri tidak lagi berarti banyak, dan ia datang ke institut hanya ... untuk mendapatkan kesempatan berjalan pulang bersama Gödel".<ref>Goldstein (2005), p. 33.</ref>
Gödel dan istrinya, Adele, melewatkan musim panas tahun 1942 di [[:en:Blue Hill, Maine|Blue Hill, Maine]], yaitu di Blue Hill Inn pada puncak di teluk itu. Gödel tidak hanya berlibur, tetapi juga sangat produktif dalam bekerja. Menggunakan ''Heft'' 15 [volume 15] dari karya Gödel ''Arbeitshefte'' [buku catatan kerja] yang belum diterbitkan, [[:en:John W. Dawson, Jr.|John W. Dawson, Jr.]] menyimpulkan bahwa Gödel menemukan suatu bukti ketidak-tergantungan aksioma pilihan dari teori jenis finit, suatu bentuk [[teori himpunan]] yang diperlemah, ketika tinggal di Blue Hill pada tahun 1942. Teman dekat Gödel, Hao Wang, mendukung konjektur ini, mengamati bahwa buku catatan Gödel ketika di Blue Hill memuat penjabaran yang paling luas mengenai soal ini.
Pada tanggal 5 Desember 5, 1947, Einstein dan Morgenstern menemani Gödel ke tempat ujian kewarganegaraan Amerika Serikat, di mana mereka menjadi saksi-saksi. Gödel telah mengatakan kepada mereka bahwa ia menemukan suatu inkonsistensi dalam [[:en:U.S. Constitution|Konstitusi Amerika Serikat]] yang dapat menjadi Amerika Serikat suatu negara diktator. Einstein dan Morgenstern kuatir tingkah laku teman mereka yang tidak dapat diramalkan itu akan menyebabkan aplikasi warganegara itu gagal. Untungnya, hakim penguji ternyata adalah [[:en:Phillip Forman|Phillip Forman]], yang mengenal Einstein, bahkan memimpin penyumpahan warganegara Einstein sendiri. Semua berjalan lancar sampai Forman kebetulan bertanya kepada Gödel apakah ia berpikir suatu diktatorial seperti [[Nazi]] dapat terjadi di Amerika Serikat. Gödel kemudian mulai menjelaskan penemuannya kepada Forman. Forman mengerti apa yang terjadi, memotong perkataan Gödel, meneruskan dengan pertanyaan lain dan kesimpulan rutin.<ref>Dawson 1997, pp. 179–180. The story of Gödel's citizenship hearing is repeated in many versions. Dawson's account is the most carefully researched, but was written before the rediscovery of Morgenstern's written account. Most other accounts appear to be based on Dawson, hearsay or speculation.</ref><ref>{{cite web |url = http://robert.accettura.com/wp-content/uploads/2010/10/Morgenstern_onGoedelcitizenship.pdf|title = History of the Naturalization of Kurt Gödel|author = Oskar Morgenstern|date = September 13, 1971|format = PDF|accessdate=June 20, 2012}}</ref>
Baris 219:
* [[:en:Raymond Smullyan|Raymond Smullyan]], 1992. ''Godel's Incompleteness Theorems''. Oxford University Press.
* [[:en:Olga Taussky-Todd|Olga Taussky-Todd]], 1983. [http://calteches.library.caltech.edu/605/02/Todd.pdf Remembrances of Kurt Gödel]. Engineering & Science, Winter 1988.
* [[:en:Hao Wang (academic)|Hao Wang]], 1987. ''Reflections on Kurt Gödel.'' [[MIT Press]].
* Hao Wang, 1996. ''A Logical Journey: From Godel to Philosophy''. MIT Press.
* Yourgrau, Palle, 1999. ''Gödel Meets Einstein: Time Travel in the Gödel Universe.'' Chicago: Open Court.
| |||