Lanskap Paradigma
Modelkan bidang ilmiah sebagai lanskap kerugian: fungsi L(p) atas ruang paradigma P, di mana L(p) = bukti yang tidak dijelaskan di bawah paradigma p. Paradigma yang menjelaskan semuanya memiliki L = 0 (sempurna). Paradigma yang meninggalkan banyak yang tidak dijelaskan memiliki L tinggi.
Paradigma saat ini berada di minima lokal: paradigma ini menjelaskan sebagian besar bukti yang diketahui, sehingga penyimpangan kecil darinya meningkatkan L. Inilah mengapa paradigma stabil — penurunan gradien terus kembali ke paradigma ini.
Pengetahuan ahli memperdalam gradien di sekitar minima saat ini: puluhan tahun pekerjaan mengisi detail, memperluas jangkauan paradigma, dan menjelaskan anomali semua menajamkan dinding minima lokal. Gradien di sekitar paradigma saat ini menjadi lebih curam.
Ini menghasilkan paradoks ahli: semakin dalam keahlian, semakin sulit untuk melarikan diri dari minima saat ini. Kualitas yang sama yang membuat seseorang menjadi ahli yang hebat — pengetahuan mendalam tentang paradigma saat ini — membuat mereka kurang mungkin mencapai minima yang berbeda, kemungkinan lebih dalam.
Perubahan paradigma = melarikan diri dari minima lokal: paradigma baru mungkin minima yang lebih dalam (penjelasan yang lebih baik) di tempat lain di ruang ini. Tetapi untuk mencapainya, Anda harus terlebih dahulu bergerak ke atas — meningkatkan bukti yang tidak dijelaskan sementara — sebelum turun ke minima baru. Ini adalah periode 'krisis' dalam terminologi Kuhn.
Penurunan Gradien & Investasi Ahli
Pertimbangkan paradigma p yang berada di minima lokal L(p). Pengamatan anomali baru menghasilkan bukti E yang tidak dapat dijelaskan oleh paradigma saat ini, sedikit meningkatkan L(p).
Basin Atraksi dalam Ruang Paradigma
Setiap minima lokal dalam L(p) memiliki basin atraksi: wilayah ruang paradigma dari mana penurunan gradien mengarah ke minima itu.
Seorang ahli dalam paradigma p telah menghabiskan bertahun-tahun di dalam basin p. Mereka mengetahui topologi lokal dalam detail yang luar biasa. Mereka dapat menavigasi basin secara efisien — ini adalah keahlian mereka.
Seorang outsider tiba di titik yang berbeda dalam ruang paradigma. Mereka mungkin memulai dari titik di luar basin p sepenuhnya — mungkin dalam basin paradigma yang berbeda, atau di titik pelana, atau di wilayah datar dengan gradien kecil. Mereka tidak memiliki gradien kuat yang menarik mereka ke p.
Ini adalah penjelasan geometris dari keuntungan outsider: mereka belum penurun-gradien ke minima saat ini. Posisi awal mereka dalam ruang paradigma kurang terbatas.
Dua mode kegagalan ahli dalam istilah lanskap:
- False negative (menolak ide baru yang valid): ide baru sesuai dengan minima lokal yang berbeda. Ahli, dalam-dalam di basin mereka, mempersepsikan arah menuju minima baru sebagai ke atas (meningkatkan L) dan menolaknya.
- False positive (mempromosikan ide tidak valid): ide baru menambal anomali kecil, bergerak ke bawah dalam basin saat ini. Persepsi gradien ahli mengatakan 'ya, ini mengurangi L' — tetapi itu mungkin bergerak ke minima lokal yang lebih dangkal, bukan yang lebih dalam.
Siklus Kuhn sebagai Dinamika Gradien
Thomas Kuhn menggambarkan siklus: sains normal (penurunan gradien dalam basin saat ini) → akumulasi anomali (L naik pada p*) → krisis → perubahan paradigma (lompat ke basin baru) → sains normal baru.
Ketidakmungkinan sebagai Batas Wilayah Layak
Bukti ketidakmungkinan dalam matematika atau teknik dapat dimodelkan secara geometris sebagai wilayah layak dalam beberapa ruang parameter.
Contoh: hasil pengangkatan air 33 kaki. Parameternya adalah h = tinggi pengangkatan. Mekanisme pompa isap menentukan kendala: h ≤ P_atm/ρg ≈ 10,3 m. Kendala ini menentukan wilayah layak F = {h : h ≤ 10,3 m}. Bukti ketidakmungkinan mengatakan: untuk pompa isap yang beroperasi melalui mekanisme ini, wilayah layak tidak termasuk h > 10,3 m.
Pompa gelombang berdiri beroperasi dalam ruang parameter yang berbeda. Itu tidak menggunakan isapan; itu menggunakan tekanan dinamis. Kendala kelayakan berbeda; wilayah layak lebih besar.
Asumsi tersembunyi dari bukti ketidakmungkinan setara dengan mengasumsikan masalah hidup di ruang parameter pertama (mekanisme isapan). Ketika asumsi ini gagal — ketika solusi diperbolehkan menggunakan mekanisme yang berbeda — Anda bekerja dalam ruang parameter yang berbeda dengan wilayah layak yang berbeda.
Secara geometris: bukti ketidakmungkinan membuktikan bahwa h > 10,3 m berada di luar wilayah layak pompa isapan. Itu tidak mengatakan apa pun tentang h dalam wilayah layak perangkat gelombang berdiri.
Identifikasi Kendala Tersembunyi
Pertimbangkan klaim: 'Anda tidak dapat mengomunikasikan informasi pada laju di atas bandwidth saluran.' Ini dipercaya secara luas sebelum pekerjaan Shannon.