第PAGE1页/共NUMPAGES1页
2025北京高三（上）期末英语汇编
阅读理解D篇
一、阅读理解
（2025北京朝阳高三上期末）Puremathematicsfascinatesme,preciselybecauseitissoinaccessible.Ienvisionitasaremote,chilly,dangerousplace,likeAntarctica’sSentinelRange.Thehardysoulswhosurmountitspeaksseemsuperhuman.
PerhapsbecauseIromanticizemathematicians,I’mtroubledbythethoughtthatmachinesmightreplacethem.IstatedthispossibilityinTheDeathofProof,publishedintheOctober1993ScientificAmerican.Inresponsetothegrowingcomplexityofmathematics,Ireported,mathematicianswerebecomingincreasinglyreliantoncomputers.Iasked,“Willthegreatmathematiciansofthenextcenturybemadeofsilicon(硅)?”
Mathematiciansarestillannoyedaboutthatarticle,evenasthetrendsIdescribedhavecontinued.AnthonyBordgatCambridgeUniversityworriesthathisfieldcouldfacea“replicationcrisis”(复制危机)likethattroublingscientificresearch.Mathematicians,Bordgnotes,sometimesacceptaproofnotbecausetheyhavecheckedit,stepbystep,butbecausetheytrusttheproof’smethodsandauthor.Giventhe“increasingdifficultyincheckingthecorrectnessofmathematicalarguments”,old-fashionedpeerreviewmaynolongerbesufficient.Outstandingmathematicianshavepublished“proofs”sonovelandelaboratethatevenspecialistsintherelevantmathematicscan’tvalidatethem.Bordgsuggestscomputerized“proofassistants”willhelpconfirmproofs.Researchershavealreadyinventedan“interactivetheoremprover(交互式定理证明程序)”thatcancheckproofsandevenproposeimprovements.
Somemathematicianswelcomethedigitizationofmathematicsforaccuracy.Othersareconflicted.MichaelHarrisseesmathematicsas“afree,creativeactivity”pursuedforitsownsake,forthepurejoyofdiscoveryandinsight.Heworriessuchtoolswillencouragea“limitedvision”ofmathematicsasaneconomicproductratherthan“awayofbeinghuman”.Afterall,manyfundersofmathematica