Kurt Gödel: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
k replaced: {{Normdaten}} → {{Authority control}} |
Fitur saranan suntingan: 2 pranala ditambahkan. |
||
| (4 revisi perantara oleh 3 pengguna tidak ditampilkan) | |||
Baris 26:
|footnotes =
}}
'''Kurt Friedrich Gödel''' ({{IPAc-en|ˈ|k|ɜr|t|_|g|ɜr|d|əl}}; {{IPA-de|ˈkʊʁt ˈɡøːdəl|lang|Kurt gödel.ogg}}; {{lahirmati|[[Austria]] |28|4|1906|[[Princeton, New Jersey]], [[Amerika Serikat]]|14|1|1978}}) adalah seorang ahli [[matematika]], [[logika]] dan [[filsuf]] asal [[Austria]], yang kemudian beralih menjadi warganegara [[Amerika Serikat]].
Gödel mempublikasikan [[teorema ketaklengkapan Gödel|kedua teorema ketidaklengkapan hasil pemikirannya]] pada tahun 1931 ketika ia berusia 25 tahun, setahun setelah meraih gelar doktor pada [[:en:University of Vienna|University of Vienna]].<!-- The first incompleteness theorem states that for any self-consistent [[recursive set|recursive]] [[axiomatic system]] powerful enough to describe the arithmetic of the [[natural number]]s (for example [[Peano arithmetic]]), there are true propositions about the naturals that cannot be proved from the [[axioms]]. To prove this theorem, Gödel developed a technique now known as [[Gödel numbering]], which codes formal expressions as natural numbers.
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 166:
Dalam terjemahan [[bahasa Inggris]]:
* Kurt Godel, 1992. ''On Formally Undecidable Propositions Of Principia Mathematica And Related Systems'', tr. B. Meltzer, with a comprehensive introduction by [[:en:R. B. Braithwaite|Richard Braithwaite]]. Dover reprint of the 1962 [[Basic Books]] edition.
* Kurt Godel, 2000.<ref>{{cite journal|doi=10.1007/BF01700692|author=Kurt Godel
* [[:En:Jean van Heijenoort|Jean van Heijenoort]], 1967. ''A Source Book in Mathematical Logic, 1879–1931''. Harvard Univ. Press.
** 1930. "The completeness of the axioms of the functional calculus of logic," 582–91.
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.
* Yourgrau, Palle, 2004. ''A World Without Time: The Forgotten Legacy of Gödel and Einstein.'' Basic Books. Book review by John Stachel in the Notices of the [[American Mathematical Society]] ('''54''' (7), pp. 861–868):
== Pranala luar ==
Baris 246:
{{Authority control}}
{{DEFAULTSORT:Godel, Kurt}}
[[Kategori:Tokoh Austria]]
| |||