Matematika murni: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Relly Komaruzaman (bicara | kontrib)
Tidak ada ringkasan suntingan
Baris 11:
 
=== Abad ke-20 ===
Pada awal abad keduapuluh para matematikawan yang mengambil metode [[aksiomatikaksioma]] lebih dipengaruhi oleh pemeikiran dari [[David Hilbert]]<ref>{{cite web | url = http://www.britannica.com/eb/article-9040439/David-Hilbert | title = David Hilbert | publisher = Encyclopædia Britannica | year = 2007 | accessdate = 2009-12-15 }}</ref>. Perumusan logis matematika murni yang diusulkan oleh [[Bertrand Russell]] dalam bentuk struktur pembilang proposisi akan tampak lebih dan masuk akal karena sebagian besar matematika telah menjadi axiomatik dan dengan demikian semua harus tunduk pada kriteria sederhana dari pembuktian yang setepat-tepatnya.
 
Bahkan dalam pengaturan aksiomatik setepat-tepatnya menambahkan tidak ada ide pembuktian. Matematika murni, menurut pandangan yang dapat dinisbahkan kepada kelompok [[Bourbaki]] adalah apa yang telah dibuktikan. Matematikawan murni akan menjadi kemungkinan bila dicapai dengan melalui pelatihan.