Untuk kebutuhan minimum untuk membuktikan kesetaraan mereka, lihat Bridges, Schuster, dan Richman; 1998; Prinsip pilihan yang dapat dihitung yang lemah; available from [1]Diarsipkan 2020-02-19 di Wayback Machine..
See Fred Richman; 1998; Teorema fundamental aljabar: perkembangan konstruktif tanpa pilihan; tersedia dari [2]Diarsipkan 2020-02-19 di Wayback Machine..
Smale writes, "...Saya ingin menunjukkan betapa besarnya celah yang terkandung dalam bukti Gauss. Bahkan sekarang ini adalah titik halus bahwa kurva bidang aljabar nyata tidak dapat memasuki cakram tanpa keluar. Faktanya, meskipun Gauss memperbaiki bukti ini 50 tahun kemudian, kesenjangan tetap ada. Baru pada tahun 1920 pembuktian Gauss selesai. Dalam referensi Gauss. Ostrowski memiliki makalah yang melakukan ini dan memberikan diskusi yang sangat baik tentang masalahnya juga..."
Untuk kebutuhan minimum untuk membuktikan kesetaraan mereka, lihat Bridges, Schuster, dan Richman; 1998; Prinsip pilihan yang dapat dihitung yang lemah; available from [1]Diarsipkan 2020-02-19 di Wayback Machine..
See Fred Richman; 1998; Teorema fundamental aljabar: perkembangan konstruktif tanpa pilihan; tersedia dari [2]Diarsipkan 2020-02-19 di Wayback Machine..
