By : Marsigit
Reviewed by : Oky Fatma Dewi
Thompson mengindikasi bahwa penelitian matematika, seperti Gödel and Herbrand sehubungan dengan klaim mereka secara bersama demarkasi batas intuitif komputabilitas adalah fitur dari masalah tertentu bahwa hal itu rentan terhadap keragaman dari kesamaan membatasi intuitif pembaharuan karakter. Pertemuan tak terduga yang memberikan masing-masing dari mereka rekomendasi intuitif yang kuat dan pertemuan ini ternyata menjadi aset berharga secara mengejukan dalam menilai ekstensi kami agak lebih sulit dimengerti dari konsep intuitif kami.