Kurt Gödel: "Perkembangan matematika menuju ketepatan yang lebih besar...
"Perkembangan matematika menuju ketepatan yang lebih besar telah, seperti diketahui, pada formalisasi traktat-traktat besar itu, sehingga seseorang dapat membuktikan teorema apa pun hanya dengan menggunakan beberapa aturan mekanis ... Karena itu, orang mungkin menduga bahwa aksioma dan aturan ini inferensi sudah cukup untuk memutuskan pertanyaan matematika yang sama sekali dapat dinyatakan secara formal dalam sistem ini. Akan ditunjukkan di bawah ini bahwa ini bukan masalahnya, bahwa sebaliknya ada dalam dua sistem yang disebutkan masalah yang relatif sederhana dalam teori bilangan bulat yang tidak dapat diputuskan berdasarkan aksioma."
![](/images/authors/k/kurt-godel-31547.jpg)
Versi Bahasa Inggris
The development of mathematics toward greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules... One might therefore conjecture that these axioms and rules of inference are sufficient to decide any mathematical question that can at all be formally expressed in these systems. It will be shown below that this is not the case, that on the contrary there are in the two systems mentioned relatively simple problems in the theory of integers that cannot be decided on the basis of the axioms.
Anda mungkin juga menyukai:
![](/images/authors/a/arne-tiselius-3777.jpg)
Arne Tiselius
1 Kutipan dan Pepatah
![](/images/authors/c/chidananda-saraswati-8926.jpg)
Chidananda Saraswati
3 Kutipan dan Pepatah
![](/images/authors/c/clair-bee-9672.jpg)
Clair Bee
2 Kutipan dan Pepatah
![](/images/authors/i/irving-pichel-22479.jpg)
Irving Pichel
3 Kutipan dan Pepatah
![](/images/authors/j/jamling-tenzing-norgay-24121.jpg)
Jamling Tenzing Norgay
2 Kutipan dan Pepatah
![](/images/authors/r/richard-armitage-44114.jpg)
Richard Armitage
3 Kutipan dan Pepatah
![](/images/authors/r/richard-pombo-44498.jpg)
Richard Pombo
1 Kutipan dan Pepatah
![](/images/authors/r/ronald-lauder-46213.jpg)
Ronald Lauder
4 Kutipan dan Pepatah
![](/images/authors/h/helene-deutsch-21000.jpg)
Helene Deutsch
11 Kutipan dan Pepatah
![](/images/authors/w/william-ruckelshaus-54848.jpg)
William Ruckelshaus
12 Kutipan dan Pepatah
![](/images/authors/j/james-m-barrie-23772.jpg)
James M. Barrie
243 Kutipan dan Pepatah
![](/images/authors/m/martin-wolf-35953.jpg)
Martin Wolf
9 Kutipan dan Pepatah