Paradigmlandskapet
Modellera ett vetenskapligt fält som ett förlustlandskap: en funktion L(p) över paradigmrum P, där L(p) = oförklarad evidens under paradigm p. Ett paradigm som förklarar allt har L = 0 (perfekt). Ett paradigm som lämnar mycket oförklarat har högt L.
Det nuvarande paradigmet sitter vid ett lokalt minimum: det förklarar mestadels känd evidens, så små avvikelser från det ökar L. Det är därför paradigm är stabila — gradientnedstigning återvänder alltid till dem.
Expertkunskap fördjupar gradienten runt det nuvarande minimumet: årtionden av arbete med att fylla i detaljer, utöka paradigmets räckvidd och förklara anomalier skärper alla väggarna av det lokala minimumet. Gradienten runt det nuvarande paradigmet blir brantare.
Detta producerar expertparadoxen: ju djupare expertisen, desto svårare är det att komma ur det nuvarande minimumet. De mycket kvaliteter som gör någon till en stor expert — djup kunskap om det nuvarande paradigmet — gör dem mindre benägna att nå ett annat, möjligtvis djupare minimum.
Paradigmskifte = att komma ur ett lokalt minimum: det nya paradigmet kan vara ett djupare minimum (bättre förklaring) någon annanstans i rummet. Men för att nå det måste du först röra dig uppåt — temporärt öka oförklarad evidens — innan du stiger ner till det nya minimumet. Det här är perioden av 'kris' i Kuhns terminologi.
Gradientnedstigning & expert-investeringar
Betrakta ett paradigm p som sitter vid ett lokalt minimum av L(p). En ny anomal observation producerar evidens E som det nuvarande paradigmet inte kan förklara, vilket ökar L(p) något.
Attraktionsbassänger i paradigmrum
Varje lokalt minimum i L(p) har ett attraktionsbassäng: området för paradigmrum från vilket gradientnedstigning leder till det minimumet.
En expert i paradigm p har spenderat år inuti bassängen av p. De känner den lokala topologin i extraordinär detalj. De kan navigera bassängen effektivt — det här är deras expertis.
En utomstående anländer vid en annan punkt i paradigmrum. De kan börja från en punkt helt utanför bassängen av p — kanske i bassängen av ett annat paradigm, eller på en sadelpunkt, eller i en platt region med små gradienter. De har ingen stark gradient som drar dem mot p.
Det här är den geometriska förklaringen av outsider-fördelen: de har inte gradientstigit ner till det nuvarande minimumet. Deras startposition i paradigmrum är mindre begränsad.
De två expertkraschmoderna i landskapstermer:
- Falskt negativt (motstånd mot giltiga nya idéer): den nya idén motsvarar ett annat lokalt minimum. Experten, djupt i sitt bassäng, uppfattar riktningen mot det nya minimumet som uppåt (öka L) och förkastar det.
- Falskt positivt (främja ogiltig idé): den nya idén patchar en liten anomali, rör sig nedåt inom det nuvarande bassängen. Expertens gradientuppfattning säger 'ja, det här minskar L' — men det kan flytta till ett gruntare lokalt minimum, inte ett djupare.
Kuhn-cykler som gradientdynamik
Thomas Kuhn beskrev cykeln: normal vetenskap (gradientnedstigning i nuvarande bassäng) → ackumulering av anomalier (L stiger vid p*) → kris → paradigmskifte (hopp till nytt bassäng) → ny normal vetenskap.
Omöjlighet som gräns för den genomförbara regionen
Ett omöjlighetsbevis i matematik eller teknik kan modelleras geometriskt som en genomförbar region i något parameterrum.
Exempel: resultatet för 33-fot vattenhöjning. Parametern är h = höjning. Sugpumpmekanismen definierar en begränsning: h ≤ P_atm/ρg ≈ 10,3 m. Den här begränsningen definierar en genomförbar region F = {h : h ≤ 10,3 m}. Omöjlighetsbeviset säger: för sugpumpar som fungerar via den här mekanismen, inkluderar inte den genomförbara regionen h > 10,3 m.
Stående-våg-pumpen fungerar i ett annat parameterrum. Den använder inte sugning; den använder dynamiskt tryck. Genomförbarhetsbegränsningen är annorlunda; den genomförbara regionen är större.
Det dolda antagandet för omöjlighetsbeviset motsvarar antagandet att problemet bor i det första parameterrummet (sugmekanismer). När det här antagandet misslyckas — när lösningen får använda en annan mekanism — arbetar du i ett annat parameterrum med en annan genomförbar region.
Geometriskt: omöjlighetsbeviset bevisar att h > 10,3 m ligger utanför den genomförbara regionen för sugpumpar. Det säger ingenting om h i den genomförbara regionen för stående-våg-enheter.
Identifiera det dolda villkoret
Betrakta påståendet: 'Du kan inte kommunicera information med en hastighet över kanalens bandbredd.' Det här var allmänt trott innan Shannons arbete.