Kurt Gödel: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
JohnThorne (bicara | kontrib) Tidak ada ringkasan suntingan |
JohnThorne (bicara | kontrib) Tidak ada ringkasan suntingan |
||
Baris 28:
'''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]]. Bersama dengan [[Aristoteles]] dan [[Gottlob Frege]], ia dianggap sebagai tokoh logika paling penting dalam sejarah, di mana Gödel memberikan dampak luar biasa pada pemikiran ilmiah dan filsafat pada abad ke-20, ketika tokoh lain seperti [[Bertrand Russell]],<ref name="Stanford&Son">For instance, in their ''[http://plato.stanford.edu/entries/principia-mathematica/ Principia Mathematica'']'' (''Stanford Encyclopedia of Philosophy'' edition).</ref> [[A. N. Whitehead]],<ref name="Stanford&Son"/> dan [[David Hilbert]] mempelopori penggunaan logika dan [[teori himpunan]] untuk memahami [[:en:foundations of mathematics|dasar-dasar matematika]].
Gödel mempublikasikan [[teorema
He also showed that neither the [[axiom of choice]] nor the [[continuum hypothesis]] can be disproved from the accepted [[axiomatic set theory|axioms of set theory]], assuming these axioms are consistent. The former result opened the door for mathematicians to assume the axiom of choice in their proofs. He also made important contributions to [[proof theory]] by clarifying the connections between [[classical logic]], [[intuitionistic logic]], and [[modal logic]].
Baris 43:
Gödel attended the ''Evangelische Volksschule'', a Lutheran school in Brünn from 1912 to 1916, and was enrolled in the ''Deutsches Staats-Realgymnasium'' from 1916 to 1924, excelling with honors in all his subjects, particularly in mathematics, languages and religion. Although Kurt had first excelled in languages, he later became more interested in history and mathematics. His interest in mathematics increased when in 1920 his older brother Rudolf (born 1902) left for [[Vienna]] to go to medical school at the [[University of Vienna]]. During his teens, Kurt studied [[Gabelsberger shorthand]], [[Johann Wolfgang von Goethe|Goethe]]'s ''[[Theory of Colours (book)|Theory of Colours]]'' and criticisms of [[Isaac Newton]], and the writings of [[Immanuel Kant]].
===
Attending a lecture by [[David Hilbert]] in [[Bologna]] on completeness and consistency of mathematical systems may have set Gödel's life course. In 1928, Hilbert and [[Wilhelm Ackermann]] published ''Grundzüge der theoretischen Logik'' (''[[Principles of Mathematical Logic]]''), an introduction to [[first-order logic]] in which the problem of completeness was posed: ''Are the axioms of a formal system sufficient to derive every statement that is true in all models of the system?''
Baris 95:
Gödel would visit the IAS again in the autumn of 1935. The traveling and the hard work had exhausted him, and the next year he took a break to recover from a depressive episode. He returned to teaching in 1937. During this time, he worked on the proof of consistency of the [[axiom of choice]] and of the [[continuum hypothesis]]; he would go on to show that these hypotheses cannot be disproved from the common system of axioms of set theory.
-->
Hubungan mereka ditentang oleh orangtuanya karena Adele adalah seorang penari yang pernah bercerai dan 6 tahun lebih tua usianya dari Gödel.
<!--
===
After the [[Anschluss]] in 1938, Austria had become a part of [[Nazi Germany]].
Germany abolished the title of ''[[Privatdozent]]'', so Gödel had to apply for a different position under the new order. His former association with Jewish members of the Vienna Circle, especially with Hahn, weighed against him. The University of Vienna turned his application down.
| |||