Richard Hamming. "Chapit ki pa egziste": Ki jan nou konnen sa nou konnen (vèsyon konplè)


(Pou moun ki te deja li pati anvan yo nan tradiksyon konferans sa a, retounen nan kòd tan 20:10)

[Hamming pale yon fason ki pa entèlijib anpil, kidonk si w gen nenpòt sijesyon pou amelyore tradiksyon fragman endividyèl yo, tanpri ekri nan yon mesaj pèsonèl.]

Konferans sa a pa t nan orè a, men yo te dwe ajoute pou evite yon fenèt ant klas yo. Konferans la se esansyèlman sou fason nou konnen sa nou konnen, si, nan kou, nou aktyèlman konnen li. Sijè sa a fin vye granmoun tankou tan - li te diskite pou 4000 dènye ane yo, si se pa ankò. Nan filozofi, yo te kreye yon tèm espesyal pou endike li - epistemoloji, oswa syans konesans.

Mwen ta renmen kòmanse ak branch fanmi primitif nan tan lontan an. Li se vo anyen ke nan chak nan yo te gen yon mit sou kreyasyon an nan mond lan. Dapre yon ansyen kwayans Japonè, yon moun te brase labou a, ki soti nan ti gout nan zile yo te parèt. Lòt pèp tou te gen mit menm jan an: pa egzanp, Izrayelit yo te kwè ke Bondye te kreye mond lan pou sis jou, apre sa li te fatige ak fini kreyasyon. Tout mit sa yo sanble - byenke konplo yo se byen divès, yo tout eseye eksplike poukisa mond sa a egziste. Mwen pral rele apwòch sa a teyolojik paske li pa enplike lòt eksplikasyon pase “li te fèt pa volonte bondye yo; yo te fè sa yo te panse li nesesè, e se konsa lemonn te vin fèt.”

Anviwon XNUMXyèm syèk anvan epòk nou an. e. Filozòf yo nan ansyen Lagrès yo te kòmanse poze kesyon ki pi espesifik - ki sa mond sa a konsiste de, ki pati li yo, epi tou yo te eseye apwoche yo rasyonèl olye ke teyolojik. Kòm yo konnen, yo mete aksan sou eleman yo: latè, dife, dlo ak lè; yo te gen anpil lòt konsèp ak kwayans, epi tou dousman men siman tout sa yo te transfòme nan lide modèn nou yo sou sa nou konnen. Sepandan, sijè sa a te twouble moun pandan tout tan, e menm ansyen grèk yo te mande ki jan yo te konnen sa yo te konnen.

Kòm ou pral sonje nan diskisyon nou an sou matematik, ansyen moun Lagrès yo te kwè ke jeyometri, nan ki matematik yo te limite, te yon konesans serye ak absoliman enkontournabl. Sepandan, jan Maurice Kline, otè liv "Matematik," te montre. Pèt sètitid,” ke pifò matematisyen ta dakò, pa genyen okenn verite nan matematik. Matematik bay konsistans sèlman bay yon seri règ rezònman. Si ou chanje règ sa yo oswa sipozisyon yo itilize yo, matematik yo pral trè diferan. Pa gen okenn verite absoli, eksepte petèt Dis Kòmandman yo (si ou se yon kretyen), men, Ay, pa gen anyen konsènan sijè a nan diskisyon nou an. Li dezagreyab.

Men, ou ka aplike kèk apwòch epi jwenn konklizyon diferan. Descartes, li te konsidere sipozisyon anpil filozòf anvan l ', te fè yon etap tounen epi li te poze kesyon an: "Ki ti kras mwen ka asire w?"; Kòm yon repons, li te chwazi deklarasyon an "Mwen panse, se poutèt sa mwen ye." Soti nan deklarasyon sa a li te eseye derive filozofi ak jwenn anpil konesans. Filozofi sa a pa te byen pwouve, kidonk nou pa janm resevwa konesans. Kant te diskite ke tout moun fèt ak yon konesans fèm nan jeyometri Euclidean, ak yon varyete de lòt bagay, ki vle di ke gen yon konesans natirèl ki bay, si ou vle, pa Bondye. Malerezman, menm jan Kant t ap ekri panse li, matematisyen yo t ap kreye jeyometri ki pa eklidyen ki te konsistan menm jan ak pwototip yo. Li sanble ke Kant t ap voye mo nan van an, menm jan ak prèske tout moun ki te eseye rezone sou fason li konnen sa li konnen.

Sa a se yon sijè enpòtan, paske syans toujou tounen vin jwenn pou pwouve: ou ka tande souvan ke syans te montre sa a, pwouve ke li pral konsa; nou konnen sa, nou konnen sa - men èske nou konnen? Èske w sèten? Mwen pral gade kesyon sa yo an plis detay. Ann sonje règ ki soti nan byoloji: ontogeny repete filojeni. Sa vle di ke devlopman yon moun, soti nan yon ze fètilize rive nan yon etidyan, repete tout pwosesis evolisyon anvan an. Kidonk, syantis yo diskite ke pandan devlopman anbriyon, fant branch yo parèt ak disparèt ankò, ak Se poutèt sa yo sipoze ke zansèt byen lwen nou yo te pwason.

Son bon si ou pa panse osijè de sa twò seryezman. Sa a bay yon trè bon lide sou ki jan evolisyon travay, si ou kwè li. Men, mwen pral yon ti kras pi lwen epi mande: ki jan timoun yo aprann? Ki jan yo jwenn konesans? Petèt yo fèt ak konesans predetèmine, men sa son yon ti kras bwete. Yo dwe onèt, li trè konvenkan.

Se konsa, kisa timoun yo fè? Yo gen sèten ensten, obeyi ki, timoun yo kòmanse fè son. Yo fè tout son sa yo ke nou rele souvan babbling, ak babbling sa a pa sanble yo depann de kote timoun nan fèt - nan Lachin, Larisi, Angletè oswa Amerik, timoun yo pral bable fondamantalman menm jan an. Sepandan, babbling ap devlope yon fason diferan selon peyi a. Pou egzanp, lè yon timoun Ris di mo "mama" yon koup de fwa, li pral resevwa yon repons pozitif epi kidonk li pral repete son sa yo. Atravè eksperyans, li dekouvri ki son ki ede reyalize sa li vle ak ki pa fè sa, epi konsa etidye anpil bagay.

Kite m raple w sa m te deja di plizyè fwa - pa gen premye mo nan diksyonè a; chak mo yo defini atravè lòt moun, ki vle di diksyonè a se sikilè. Menm jan an tou, lè yon timoun ap eseye konstwi yon sekans koyeran de bagay sa yo, li gen difikilte pou li rankontre enkonsistans ke li dwe rezoud, paske pa gen okenn premye bagay pou timoun nan aprann, epi "manman" pa toujou travay. Konfizyon rive, pa egzanp, tankou mwen pral montre kounye a. Isit la se yon blag pi popilè Ameriken:

lyrics nan yon chante popilè (kè kontan kwa a mwen ta pote, kè kontan pote kwa ou)
ak fason timoun yo tande li (kè kontan lous kwaze a, kè kontan lous kwaze a)

(An Ris: violon-rena / krake nan yon wou, mwen se yon emwòd wanking / nwayo yo se yon emwòd pi bon kalite, si ou vle prunye towo bèf / si ou vle gen kè kontan, stosh kaka-bourik ou / yon santèn etap tounen.)

Mwen menm tou mwen te fè eksperyans difikilte sa yo, pa nan ka patikilye sa a, men gen plizyè ka nan lavi mwen ke mwen te kapab sonje lè mwen te panse ke sa mwen t ap li ak di yo te pwobableman kòrèk, men moun ki bò kote m ', espesyalman paran mwen, te konprann yon bagay. .. sa konplètman diferan.

Isit la ou ka obsève erè grav epi tou wè ki jan yo rive. Timoun nan fè fas ak nesesite pou fè sipozisyon sou sa mo nan lang lan vle di epi piti piti aprann opsyon ki kòrèk yo. Sepandan, repare erè sa yo ka pran anpil tan. Li enposib asire w ke yo te konplètman korije menm kounye a.

Ou ka ale byen lwen san w pa konprann sa w ap fè. Mwen deja pale de zanmi m, yon doktè nan syans matematik nan Inivèsite Harvard. Lè li te gradye nan Harvard, li te di ke li te kapab kalkile derive a pa definisyon, men li pa reyèlman konprann li, li jis konnen ki jan fè li. Sa a se vre pou anpil bagay nou fè. Pou monte yon bisiklèt, skateboard, naje, ak anpil lòt bagay, nou pa bezwen konnen ki jan fè yo. Li sanble ke konesans se pi plis pase yo ka eksprime nan mo. Mwen ezite di ke ou pa konn monte bisiklèt menm si ou pa ka di mwen ki jan, men ou monte devan mwen sou yon sèl wou. Kidonk, konesans ka trè diferan.

Ann rezime yon ti kras sa mwen te di. Gen moun ki kwè ke nou gen konesans natirèl; Si w gade sitiyasyon an an jeneral, ou ka dakò ak sa a, lè w konsidere, pa egzanp, timoun yo gen yon tandans natirèl pou pwononse son. Si yon timoun te fèt nan peyi Lachin, li pral aprann pwononse anpil son yo nan lòd yo reyalize sa li vle. Si li te fèt nan Larisi, li pral tou fè anpil son. Si li te fèt nan Amerik, li ap toujou fè anpil son. Lang nan tèt li pa tèlman enpòtan isit la.

Nan lòt men an, yon timoun gen kapasite natirèl pou aprann nenpòt lang, menm jan ak nenpòt lòt. Li sonje sekans son yo epi li konnen sa yo vle di. Li dwe mete sans nan son sa yo tèt li, paske pa gen okenn premye pati ke li te kapab sonje. Montre pitit ou a yon chwal epi mande l: "Èske mo "cheval" la se non yon chwal? Oswa èske sa vle di ke li gen kat janm? Petèt sa a se koulè li? Si w eseye di yon timoun kisa yon chwal ye lè w montre l, timoun nan p ap kapab reponn kesyon sa a, men se sa w vle di. Timoun nan pap konnen nan ki kategori pou l klase mo sa a. Oswa, pou egzanp, pran vèb "to kouri." Li ka itilize lè w ap deplase byen vit, men ou ka di tou ke koulè yo sou chemiz ou te fennen apre lave, oswa plenyen sou prese nan revèy la.

Timoun nan fè eksperyans gwo difikilte, men pi bonè oswa pita li korije erè li yo, admèt ke li te konprann yon bagay mal. Pandan ane yo, timoun yo vin pi piti ak mwens kapab fè sa, epi lè yo vin ase laj, yo pa ka chanje ankò. Li evidan, moun ka fè erè. Sonje, pa egzanp, moun ki kwè ke li se Napoleon. Li pa enpòtan konbyen prèv ou prezante bay yon moun konsa ke sa a se pa konsa, li pral kontinye kwè nan li. Ou konnen, gen anpil moun ki gen kwayans fò ke ou pa pataje. Piske ou ka kwè ke kwayans yo se fou, di ke gen yon fason asire w dekouvri nouvo konesans se pa totalman vre. Ou pral di sa a: "Men, syans trè pwòp!" Ann gade nan metòd syantifik la epi wè si sa a se vre.

Mèsi a Sergei Klimov pou tradiksyon an.

10-43: Yon moun di: "Yon syantifik konnen syans tankou yon pwason konnen idrodinamik." Pa gen okenn definisyon Syans isit la. Mwen te dekouvri (mwen panse mwen te di nou sa anvan) yon kote nan lekòl segondè diferan pwofesè t ap pale m sou diferan matyè e mwen te kapab wè ke diferan pwofesè t ap pale sou menm matyè yo nan diferan fason. Anplis, an menm tan mwen te gade sa nou t ap fè e li te yon bagay diferan ankò.

Koulye a, ou te pwobableman te di, "nou fè eksperyans yo, ou gade nan done yo ak fòm teyori." Sa a gen plis chans pou istwa san sans. Anvan ou ka kolekte done ou bezwen yo, ou dwe gen yon teyori. Ou pa ka jis kolekte yon seri done o aza: koulè yo nan chanm sa a, ki kalite zwazo ou wè pwochen, elatriye, epi atann yo pote kèk siyifikasyon. Ou dwe gen kèk teyori anvan ou kolekte done. Anplis, ou pa ka entèprete rezilta yo nan eksperyans ke ou ka fè si ou pa gen yon teyori. Eksperyans yo se teyori ki te ale tout wout la depi nan kòmansman rive nan fen. Ou gen lide prejije epi ou dwe entèprete evènman ak sa a nan tèt ou.

Ou jwenn yon gwo kantite nosyon prejije nan kosmogoni. Tribi primitif rakonte plizyè istwa alantou dife a, epi timoun yo tande yo epi aprann moral ak koutim (Ethos). Si ou nan yon gwo òganizasyon, ou aprann règ konpòtman lajman lè w gade lòt moun konpòte yo. Pandan w ap vin pi gran, ou pa ka toujou sispann. Mwen gen tandans panse ke lè mwen gade dam laj mwen, mwen ka wè yon aperçu sou sa ki abiye yo te alamòd nan epòk yo lè dam sa yo te nan kolèj. Mwen ka twonpe tèt mwen, men se sa mwen gen tandans panse. Ou te tout wè vye Ipi ki toujou abiye ak aji jan yo te fè nan moman yo te fòme pèsonalite yo. Li se etonan konbyen lajan ou genyen nan fason sa a epi yo pa menm konnen li, ak ki jan li difisil pou vye dam yo detann epi abandone abitid yo, rekonèt ke yo pa aksepte konpòtman ankò.

Konesans se yon bagay trè danjere. Li vini ak tout prejije ou te tande anvan. Pa egzanp, ou gen yon prejije ke A anvan B epi A se kòz B. Oke. Jounen toujou ap swiv lannwit. Èske lannwit se kòz lajounen? Oswa se lajounen ki lakòz lannwit? Non. Ak yon lòt egzanp ke mwen vrèman renmen. Nivo Poto'mac River korelasyon trè byen ak kantite apèl nan telefòn. Apèl telefòn yo lakòz nivo rivyè a monte, kidonk nou fache. Apèl telefòn yo pa lakòz nivo rivyè yo monte. Lapli ap lapli e se pou rezon sa a moun yo rele sèvis taksi a pi souvan e pou lòt rezon ki gen rapò, pa egzanp, enfòme moun yo renmen yo ke akòz lapli a yo pral oblije retade oswa yon bagay konsa, epi lapli a lakòz nivo larivyè a. leve.

Lide a ke ou ka di kòz ak efè paske youn vini anvan lòt la ka mal. Sa mande kèk prekosyon nan analiz ou ak panse ou epi li ka mennen ou nan move chemen an.

Nan peryòd pre-istorik la, moun te sanble anime pye bwa, rivyè ak wòch, tout paske yo pa t 'kapab eksplike evènman yo ki te pase. Men, Lespri yo, ou wè, gen libète volonte, epi nan fason sa a sa ki te pase yo te eksplike. Men, sou tan nou te eseye limite lespri yo. Si ou te fè pase lè yo mande yo ak men ou, Lè sa a, lespri yo te fè sa ak sa. Si ou jete òneman dwat yo, lespri pyebwa a pral fè sa ak sa ak tout bagay ap repete tèt li. Oswa si ou plante pandan lalin plen, rekòt la pral pi bon oswa yon bagay tankou sa.

Petèt lide sa yo toujou peze lou sou relijyon nou yo. Nou gen anpil nan yo. Nou fè sa ki byen pa bondye yo oswa bondye yo akòde nou benefis nou mande pou yo, depi, nan kou, ke nou fè sa ki byen ak moun nou renmen yo. Kidonk, anpil bondye ansyen te vin yon sèl Bondye, malgre lefèt ke gen yon Bondye kretyen, Allah, yon sèl Bouda, byenke kounye a yo gen yon siksesyon nan Bouda. Plis oswa mwens nan li te fizyone nan yon sèl Bondye, men nou toujou gen byen yon anpil nan maji nwa alantou. Nou gen anpil maji nwa sou fòm mo. Pa egzanp, ou gen yon pitit gason yo rele Charles. Ou konnen, si ou kanpe epi reflechi, Charles pa timoun nan li menm. Charles se non yon ti bebe, men se pa menm bagay la. Sepandan, trè souvan maji nwa ki asosye ak itilizasyon yon non. Mwen ekri non yon moun epi boule li oswa mwen fè yon lòt bagay, epi li dwe gen yon efè sou moun nan yon fason.

Oswa nou gen maji senpatik, kote yon bagay sanble ak yon lòt, epi si mwen pran li epi manje li, sèten bagay pral rive. Anpil nan medikaman an nan premye jou yo te omeopati. Si yon bagay sanble ak yon lòt, li pral konpòte yon lòt jan. Oke, ou konnen sa pa travay trè byen.

Mwen te mansyone Kant, ki te ekri yon liv antye, The Critique of Pure Reason, ke li te antreprann nan yon gwo volim epè nan lang difisil pou konprann, sou fason nou konnen sa nou konnen ak ki jan nou inyore sijè a. Mwen pa panse ke li se yon teyori trè popilè sou ki jan ou ka asire w nan anyen. Mwen pral bay yon egzanp yon dyalòg mwen te itilize plizyè fwa lè yon moun di ke li sèten de yon bagay:

- Mwen wè ke ou se absoliman asire w?
- San okenn dout.
- Pa gen dout, oke. Nou ka ekri sou papye ke si ou fè erè, premye, ou pral bay tout lajan ou epi, dezyèmman, ou pral komèt swisid.

Menm lè a, yo pa vle fè li. Mwen di: men ou te sèten! Yo kòmanse pale istwa san sans e mwen panse ou ka wè poukisa. Si mwen mande yon bagay ke ou te absoliman asire w, Lè sa a, ou di, "Oke, oke, petèt mwen pa 100% sèten."
Ou abitye ak yon kantite sèk relijye ki panse lafen an pre. Yo vann tout byen yo epi yo ale nan mòn yo, ak mond lan kontinye egziste, yo tounen tounen epi yo kòmanse tout ankò. Sa a te rive anpil fwa ak plizyè fwa nan lavi mwen. Divès gwoup ki te fè sa yo te konvenki ke mond lan ap rive nan yon fen e sa pa rive. Mwen eseye konvenk ou ke konesans absoli pa egziste.

Ann pran yon gade pi pre nan sa syans fè. Mwen te di ou ke, an reyalite, anvan ou kòmanse mezire ou bezwen fòmile yon teyori. Ann wè ki jan li fonksyone. Gen kèk eksperyans yo te pote ak kèk rezilta yo jwenn. Syans eseye fòmile yon teyori, anjeneral nan fòm yon fòmil, ki kouvri ka sa yo. Men, okenn nan dènye rezilta yo ka garanti pwochen an.

Nan matematik gen yon bagay ki rele endiksyon matematik, ki, si ou fè anpil sipozisyon, pèmèt ou pwouve ke yon evènman sèten ap toujou rive. Men, anvan ou bezwen aksepte anpil diferan lojik ak lòt sipozisyon. Wi, matematisyen yo ka, nan sitiyasyon sa a trè atifisyèl, pwouve kòrèkteman pou tout nimewo natirèl, men ou pa ka atann yon fizisyen kapab tou pwouve ke sa a ap toujou rive. Pa gen pwoblèm konbyen fwa ou lage yon boul, pa gen okenn garanti ke ou pral konnen pwochen objè fizik ou lage pi byen pase youn nan dènye. Si mwen kenbe yon balon epi lage li, li pral vole. Men, ou pral imedyatman gen yon alibi: "O, men tout bagay tonbe eksepte sa a. Epi ou ta dwe fè yon eksepsyon pou atik sa a.

Syans chaje ak egzanp ki sanble. Epi sa a se yon pwoblèm ki gen limit yo pa fasil pou defini.

Kounye a ke nou te eseye ak teste sa ou konnen, nou fè fas ak nesesite pou sèvi ak mo pou dekri. Ak mo sa yo ka gen siyifikasyon diferan de sa ou ba yo. Diferan moun ka sèvi ak menm mo ak siyifikasyon diferan. Youn nan fason yo debarase m de malantandi sa yo se lè ou gen de moun nan laboratwa a diskite sou kèk sijè. Enkonpreyansyon sispann yo epi fòse yo plis oswa mwens klarifye sa yo vle di lè yo pale sou plizyè bagay. Souvan ou ka jwenn ke yo pa vle di menm bagay la.

Yo diskite sou diferan entèpretasyon. Lè sa a, agiman an chanje nan sa sa vle di. Apre ou fin klarifye siyifikasyon mo yo, ou konprann youn lòt pi byen, epi ou ka diskite sou siyifikasyon an - wi, eksperyans la di yon bagay si ou konprann li konsa, oswa eksperyans la di yon lòt si ou konprann li yon lòt fason.

Men, ou sèlman konprann de mo lè sa a. Pawòl yo sèvi nou trè mal.

Mèsi a Artem Nikitin pou tradiksyon an


20:10… Lang nou yo, jan mwen konnen, tout gen tandans mete aksan sou “wi” ak “non”, “nwa” ak “blan”, “verite” ak “fo”. Men, gen tou yon mwayen an lò. Gen kèk moun ki wo, gen kèk ki kout, ak kèk ki ant wotè ak kout, i.e. pou kèk ka wo, ak vis vèrsa. Yo se mwayèn. Lang nou yo tèlman gòch ke nou gen tandans diskite sou siyifikasyon mo yo. Sa a mennen nan yon pwoblèm panse.
Te gen filozòf ki te diskite ke ou sèlman panse an tèm de mo. Se poutèt sa, gen diksyonè eksplikasyon, abitye pou nou depi nan anfans, ak divès siyifikasyon nan menm mo yo. Apre sa, mwen sispèk ke tout moun te fè eksperyans ke lè aprann nouvo konesans, ou pa t 'kapab eksprime yon bagay nan mo (pa t' kapab jwenn mo ki dwat yo eksprime li). Nou pa reyèlman panse nan mo, nou jis eseye fè, ak sa ki aktyèlman rive se sa k ap pase.

Ann di ou te an vakans. Ou vin lakay ou epi di yon moun sou sa. Piti piti, vakans ou te pran an vin tounen yon bagay ou pale ak yon moun. Mo yo, kòm yon règ, ranplase evènman an ak friz.
Yon jou, pandan m te nan vakans, mwen te pale ak de moun mwen te di non mwen ak adrès mwen, ak madanm mwen ak mwen te al fè makèt, answit nou te ale lakay, epi answit, san diskite ak pèsonn, mwen te ekri jan mwen te kapab sou sa ki te pase evènman pou jodi a. Mwen te ekri tout sa mwen te panse epi mwen te gade mo ki te vin tounen yon evènman. Mwen te eseye pi byen mwen pou kite evènman an pran mo yo. Paske mwen konnen byen moman sa a lè ou vle di yon bagay, men ou pa jwenn bon mo yo. Li sanble ke tout bagay ap pase jan mwen te di, ke vakans ou a ap vin egzakteman jan sa dekri nan mo. Pi plis pase ou ta ka sèten. Pafwa ou ta dwe divagasyon sou konvèsasyon an tèt li.

Yon lòt bagay ki soti nan liv la sou mekanik pwopòsyon se ke menm si mwen gen yon pakèt moun sou done syantifik, yo ka gen eksplikasyon konplètman diferan. Gen twa oswa kat teyori diferan nan mekanik pwopòsyon ki plis oswa mwens eksplike fenomèn nan menm. Jis tankou jeyometri ki pa Euclidean ak jeyometri Euclidean etidye menm bagay la men yo itilize nan diferan fason. Pa gen okenn fason pou dériver yon teyori inik nan yon seri done. Epi paske done yo fini, ou kole ak li. Ou p ap gen teyori inik sa a. Pa janm. Si pou tout 1 + 1 = 2, Lè sa a, menm ekspresyon an nan kòd Hamming (ki pi popilè nan premye siveyans pwòp tèt ou ak pwòp tèt ou korije kòd) yo pral 1 + 1 = 0. Pa gen okenn konesans sèten ke ou ta renmen genyen.

Ann pale sou Galileo (fizisyen Italyen, mekanisyen, astwonòm nan XNUMXyèm syèk la), ak ki moun mekanik pwopòsyon te kòmanse. Li te sipoze ke kò tonbe yo tonbe menm jan an, kèlkeswa konstan akselerasyon an, konstan friksyon an, ak enfliyans lè a. Sa depreferans, nan yon vakyòm, tout bagay tonbe nan menm vitès la. E si yon kò manyen yon lòt lè li tonbe. Èske yo pral tonbe nan menm vitès la paske yo te vin youn? Si manyen pa konte, e si kò yo te mare ak yon fil? Èske de kò ki konekte pa yon fisèl tonbe kòm yon sèl mas oswa ap kontinye tonbe kòm de mas diferan? E si kò yo pa mare ak yon fil, men ak yon kòd? E si yo kole youn ak lòt? Ki lè de kò yo ka konsidere kòm yon sèl kò? Ak ki vitès kò sa a tonbe? Plis nou panse osijè de sa, plis evidamman "sòt" kesyon nou jenere. Galileo te di: "Tout kò yo pral tonbe nan menm vitès, sinon, mwen pral poze kesyon "espid" la, ki jan kò sa yo fè konnen ki jan yo lou? Anvan l ', yo te kwè ke kò lou tonbe pi vit, men li te diskite ke vitès la nan tonbe pa depann sou mas ak materyèl. Pita nou pral verifye eksperimantal ke li te gen rezon, men nou pa konnen poukisa. Lwa Galileo sa a, an reyalite, pa ka rele yon lwa fizik, men pito yon sèl vèbal-lojik. Ki baze sou lefèt ke ou pa vle poze kesyon an, "Ki lè de kò yo fè yon sèl?" Li pa enpòtan konbyen kò yo peze osi lontan ke yo ka konsidere kòm yon sèl kò. Se poutèt sa, yo pral tonbe nan menm vitès la.

Si ou li zèv klasik yo sou relativite, ou pral jwenn ke gen anpil teyoloji ak ti kras nan sa yo rele syans aktyèl. Malerezman se konsa. Syans se yon bagay trè etranj, pa bezwen di!

Kòm mwen te di nan konferans sou filtè dijital, nou toujou wè bagay sa yo nan yon "fenèt". Yon fenèt se pa sèlman yon konsèp materyèl, men tou, yon sèl entelektyèl, nan ki nou "wè" sèten siyifikasyon. Nou limite pou nou wè sèlman sèten lide, e se poutèt sa nou kole. Sepandan, nou byen konprann ki jan sa a kapab. Oke, mwen devine pwosesis la nan kwè sa syans ka fè se anpil tankou yon timoun ap aprann yon lang. Timoun nan fè devine sou sa li tande, men pita fè koreksyon epi jwenn lòt konklizyon (enskripsyon sou tablo a: "Kan kontan, kwa mwen ta pote/Kwa kontan, lous ki gen je kwaze." Pun: tankou "Kan kontan pote kwa mwen an/Avèk plezi". , ti lous"). Nou eseye kèk eksperyans, epi lè yo pa mache, nou fè yon entèpretasyon diferan de sa nou wè. Menm jan yon timoun konprann lavi entèlijan ak lang li ap aprann. Epitou, eksperimantal, eminan nan teyori ak fizik, te kenbe kèk pwen de vi ki eksplike yon bagay, men se pa garanti yo dwe vre. Mwen mete devan ou yon reyalite trè evidan, tout teyori anvan yo ke nou te gen nan syans yo te tounen mal. Nou te ranplase yo ak teyori aktyèl yo. Li rezonab pou nou panse ke kounye a nou ap vin rekonsidere tout syans. Li difisil pou imajine ke prèske tout teyori nou genyen kounye a pral fo nan kèk sans. Nan sans ke mekanik klasik yo te tounen fo konpare ak mekanik pwopòsyon, men nan nivo mwayèn ke nou teste, li te toujou pwobableman zouti ki pi bon nou genyen. Men, pwennvi filozofik nou sou bagay yo konplètman diferan. Se konsa, nou ap fè pwogrè etranj. Men gen yon lòt bagay ki pa reflechi e se lojik, paske yo pa ba w anpil lojik.

Mwen panse ke mwen te di ou ke mwayèn matematik ki vin PhD li byen bonè jwenn ke li bezwen rafine prèv yo nan tèz li a. Pou egzanp, sa a te ka a ak Gauss ak prèv li pou rasin nan yon polinòm. E Gauss te yon gwo matematisyen. Nou ap ogmante estanda rigueur nan prèv. Atitid nou anvè rigueur ap chanje. Nou kòmanse reyalize ke lojik se pa bagay ki an sekirite nou te panse li te. Genyen anpil pièges ladan l tankou nan tout lòt bagay. Lwa lojik yo se fason ou gen tandans panse fason ou renmen: "wi" oswa "non", "swa-ak-sa" ak "swa sa". Nou pa sou ròch plat Moyiz te fè desann sou mòn Sinayi a. Nou ap fè sipozisyon ki travay trè byen anpil fwa, men se pa toujou. Ak nan mekanik pwopòsyon, ou pa ka di ak sètitid ke patikil yo se patikil, oswa patikil yo se vag. An menm tan an, èske li tou de, oswa ni?

Nou ta dwe fè yon etap byen file tounen soti nan sa nou ap eseye reyalize, men yo toujou kontinye sa nou dwe. Nan moman sa a, syans ta dwe kwè sa a olye ke teyori pwouve. Men, kalite solisyon sa yo se byen long ak fatigan. Ak moun ki konprann pwoblèm nan konprann byen ke nou pa fè sa epi yo pa janm pral, men nou ka, tankou yon timoun, vin pi byen ak pi bon. Apre yon tan, elimine pi plis ak plis kontradiksyon. Men, èske timoun sa a ap konprann tout sa l tande yo nèt epi li pap konfonn? Non. Bay konbyen sipozisyon yo ka entèprete nan fason trè diferan, sa a pa etone.

Kounye a nou ap viv nan yon epòk kote syans nominalman dominan, men an reyalite li pa. Pifò jounal ak magazin, sètadi Vogue (yon magazin alamòd fanm), pibliye prévisions astrolojik pou siy zodiac chak mwa. Mwen panse ke prèske tout syantis rejte Astwoloji, byenke an menm tan an, nou tout konnen ki jan Lalin nan enfliyanse Latè a, sa ki lakòz reflu ak koule nan mare yo.

30:20
Sepandan, nou gen dout si tibebe ki fèk fèt la pral dwat oswa gòch, sa depann de kote yon etwal ki nan syèl la 25 ane limyè lwen. Malgre ke nou te obsève anpil fwa ke moun ki fèt anba menm zetwal la grandi diferan epi yo gen diferan destine. Kidonk, nou pa konnen si zetwal yo enfliyanse moun.

Nou gen yon sosyete ki depann anpil sou syans ak jeni. Oswa petèt twòp depann lè Kennedy (35yèm Prezidan Etazini an) te anonse ke nan dis ane nou ta sou Lalin nan. Te gen anpil gwo estrateji pou adopte omwen youn. Ou ta ka bay legliz la lajan epi lapriyè. Oswa, depanse lajan sou psychics. Moun te ka envante wout yo nan Lalin nan atravè divès lòt metòd, tankou piramidoloji (pseudoscience). Tankou, se pou yo bati piramid yo ekipe enèji yo ak reyalize yon objektif. Men non. Nou depann de bon jeni ansyen alamòd. Nou pa t 'konnen ke konesans nou te panse nou te konnen, nou te sèlman panse ke nou te konnen. Men, modi, nou te fè li nan lalin nan ak tounen lakay ou. Nou depann de siksè nan yon pi gwo limit pase sou syans tèt li. Men, okenn nan bagay sa yo. Nou gen bagay ki pi enpòtan pou nou fè pase jeni. Sa a se byennèt limanite.

Ak jodi a nou gen anpil sijè yo diskite, tankou ovni ak tankou. Mwen pa sijere ke CIA te òganize asasina Kennedy a oswa ke gouvènman an bonbade Oklahoma pou lakòz panik. Men, moun toujou kenbe kwayans yo menm lè yo gen prèv. Nou wè sa tout tan. Koulye a, chwazi ki moun ki konsidere kòm yon fraudster ak ki moun ki pa se pa tèlman fasil.

Mwen gen plizyè liv sou sijè a separe syans otantik ak pseudoscience. Nou te viv nan plizyè teyori pseudosyantifik modèn. Nou te fè eksperyans fenomèn "polywater" (yon fòm ipotetik polymerize dlo ki ka fòme akòz fenomèn sifas epi ki gen pwopriyete fizik inik). Nou te fè eksperyans fizyon nikleyè frèt (sipoze posiblite pou pote soti nan yon reyaksyon fizyon nikleyè nan sistèm chimik san yo pa siyifikatif chofaj sibstans k ap travay la). Gwo reklamasyon yo fè nan syans, men se sèlman yon ti pati nan li se vre. Yon egzanp ka bay ak entèlijans atifisyèl. Ou toujou ap tande sou sa machin ak entèlijans atifisyèl pral fè, men ou pa wè rezilta yo. Men pèsonn pa ka garanti ke sa p ap rive demen. Depi mwen te diskite ke pèsonn pa ka pwouve anyen nan syans, mwen dwe konfese ke mwen pa ka pwouve anyen tèt mwen. Mwen pa menm ka pwouve ke mwen pa ka pwouve anyen. Yon sèk visye, pa vre?

Gen gwo restriksyon ke nou jwenn enkonvenyan pou kwè anyen, men nou dwe vini ak li. An patikilye, ak sa mwen te deja repete ou plizyè fwa, epi mwen te ilistre lè l sèvi avèk egzanp transfòmasyon Fourier rapid la (yon algorithm pou kalkil òdinatè transfòmasyon Fourier disrè, ki lajman itilize pou pwosesis siyal ak analiz done) . Padone m 'pou endiskresyon mwen, men se mwen menm ki premye mete lide sou baz byenfonde yo. Mwen te rive nan konklizyon ke "Papiyon" (yon etap elemantè nan algorithm transfòmasyon Fourier rapid la) ta pa pratik pou aplike ak ekipman ke mwen te genyen (kalkilatris pwogramasyon). Apre sa, mwen sonje ke teknoloji te chanje, e gen òdinatè espesyal ak ki mwen ka ranpli aplikasyon an nan algorithm la. Kapasite nou yo ak konesans nou yo toujou ap chanje. Sa nou pa ka fè jodi a, nou ka fè demen, men an menm tan, si ou gade ak anpil atansyon, "demen" pa egziste. Sitiyasyon an se de fwa.

Ann tounen nan syans. Pandan apeprè twasan ane, soti nan 1700 jiska jounen jodi a, syans te kòmanse domine ak devlope nan plizyè domèn. Jodi a, baz la nan syans se sa yo rele rediksyonism (prensip metodolojik la dapre ki fenomèn konplèks yo ka konplètman eksplike lè l sèvi avèk lwa yo nannan nan fenomèn ki pi senp). Mwen ka divize kò a an pati, analize pati yo epi tire konklizyon sou tout la. Mwen te mansyone byen bonè ke pifò moun relijye yo te di, "Ou pa ka divize Bondye an pati, etidye pati li yo ak konprann Bondye." Epi moun ki fè pati sikoloji Gestalt yo te di: “Ou dwe gade tout antye kòm yon antye. Ou pa ka divize yon antye an pati san yo pa detwi li. Tout la plis pase sòm pati li yo."

Si yon sèl lwa aplikab nan yon sèl branch syans, lè sa a menm lwa a ka pa travay nan yon sibdivizyon nan menm branch la. Machin twa wou yo pa aplikab nan anpil zòn.

Se poutèt sa, nou dwe konsidere kesyon an: "Èske tout syans yo ka konsidere kòm yon bagay ki konplè lè nou konte sou rezilta yo jwenn nan domèn prensipal yo?"

Ansyen Lagrès yo te panse sou lide tankou verite, bote ak jistis. Èske syans te ajoute anyen nan lide sa yo pandan tout tan sa a? Non. Kounye a nou pa gen plis konesans sou konsèp sa yo pase ansyen moun Lagrès yo te genyen.

Wa Babilòn Hammurabi a (ki te gouvènen apeprè 1793-1750 BC) te kite dèyè yon Kòd Lwa ki te genyen yon lwa konsa, pa egzanp, "Yon je pou yon je, yon dan pou yon dan." Sa a se te yon tantativ pou mete Jistis nan mo. Si nou konpare li ak sa k ap pase kounye a nan Los Angeles (sa vle di revòlt rasyal nan 1992), Lè sa a, sa a se pa jistis, men legalite. Nou pa kapab mete Jistis nan mo, e tantativ pou fè sa sèlman bay legalite. Nou pa kapab mete Verite a nan mo tou. Mwen fè tout sa m kapab pou m fè sa nan konferans sa yo, men an reyalite, mwen pa ka fè sa. Se menm bagay la ak Bote. John Keats (yon powèt nan jèn jenerasyon amoure angle yo) te di: “Bote se laverite, e laverite se bote, e se tout sa ou ka konnen ak tout sa ou dwe konnen.” Powèt la te idantifye Verite ak Bote kòm youn ak menm bagay la. Soti nan yon pwen de vi syantifik, yon definisyon konsa pa satisfezan. Men, syans pa bay yon repons klè tou.

Mwen vle rezime konferans la anvan nou ale nan fason nou separe. Syans pa senpleman pwodui sèten konesans ke nou ta renmen. Pwoblèm debaz nou an se ke nou ta renmen gen sèten verite, kidonk nou sipoze ke nou genyen yo. Panse dezi se gwo madichon moun. Mwen te wè sa rive lè mwen te travay nan Bell Labs. Teyori a sanble posib, rechèch bay kèk sipò, men plis rechèch pa bay okenn prèv nouvo pou li. Syantis yo kòmanse panse ke yo ka fè san nouvo prèv nan teyori a. Epi yo kòmanse kwè yo. Ak esansyèlman, yo jis pale pi plis ak plis, ak dezirab fè yo kwè ak tout fòs yo ke se vre sa yo di. Sa a se yon karakteristik karaktè nan tout moun. Ou lage nan dezi a kwè. Paske ou vle kwè ke ou pral jwenn verite a, ou fini toujou ap jwenn li.

Syans pa vrèman gen anpil bagay pou di sou bagay ou pran swen yo. Sa a aplike pa sèlman nan verite, bote ak jistis, men tou nan tout lòt bagay. Syans ka sèlman fè anpil. Jis yè mwen li ke kèk jenetikis te resevwa kèk rezilta nan rechèch yo, pandan y ap an menm tan an, lòt jenetikis te resevwa rezilta ki demanti rezilta yo nan premye a.

Koulye a, kèk mo sou kou sa a. Dènye konferans la rele "Ou menm ak rechèch ou an", men li ta pi bon tou senpleman rele li "Ou ak lavi ou." Mwen vle bay konferans "Ou ak rechèch ou a" paske mwen te pase anpil ane etidye sijè sa a. Ak nan yon sans, konferans sa a pral rezime tout kou a. Sa a se yon tantativ dekri nan pi bon fason posib sa ou ta dwe fè apre. Mwen te rive nan konklizyon sa yo poukont mwen; pèsonn pa t di m sou yo. Epi finalman, apre m fin di w tout sa w dwe fè ak kijan pou w fè l, w ap kapab fè plis ak pi byen pase m. orevwa!

Mèsi Tilek Samiev pou tradiksyon an.

Ki moun ki vle ede ak tradiksyon, layout ak piblikasyon liv la - ekri nan PM oswa imel [imèl pwoteje]

By wout la, nou te lanse tou tradiksyon an nan yon lòt liv fre - "Machin nan rèv: Istwa a nan revolisyon òdinatè a")

Kontni liv la ak chapit tradui yoAvètisman

  1. Entwodiksyon atizay pou fè syans ak jeni: aprann aprann aprann (28 mas 1995) Tradiksyon: Chapit 1
  2. "Fondasyon revolisyon dijital (disrè)" (30 mas 1995) Chapit 2. Fondamantal nan revolisyon dijital (diskrè).
  3. "Istwa òdinatè - Materyèl" (31 mas 1995) Chapit 3. Istwa Odinatè - Materyèl
  4. "Istwa Odinatè - Lojisyèl" (4 avril 1995) Chapit 4. Istwa Odinatè - Lojisyèl
  5. "Istwa Odinatè - Aplikasyon" (6 avril 1995) Chapit 5: Istwa Odinatè - Aplikasyon Pratik
  6. "Entèlijans atifisyèl - Pati I" (7 avril 1995) Chapit 6. Entèlijans atifisyèl - 1
  7. "Entèlijans atifisyèl - Pati II" (11 avril 1995) Chapit 7. Entèlijans atifisyèl - II
  8. "Atifisyèl entèlijans III" (13 avril 1995) Chapit 8. Entèlijans atifisyèl-III
  9. "N-Dimensional Space" (14 avril 1995) Chapit 9. Espas N-dimansyon
  10. "Kodaj Teyori - Reprezantasyon Enfòmasyon, Pati I" (18 avril 1995) Chapit 10. Teyori kodaj - I
  11. "Kodaj Teyori - Reprezantasyon Enfòmasyon, Pati II" (20 avril 1995) Chapit 11. Teyori kodaj - II
  12. "Kod pou korije erè" (21 avril 1995) Chapit 12. Kòd Koreksyon Erè
  13. "Teyori enfòmasyon" (25 avril 1995) Fè, tout sa ou dwe fè se pibliye li
  14. "Filtè dijital, Pati I" (27 avril 1995) Chapit 14. Filtè dijital - 1
  15. "Filtè dijital, Pati II" (28 avril 1995) Chapit 15. Filtè dijital - 2
  16. "Filtè dijital, Pati III" (2 me 1995) Chapit 16. Filtè dijital - 3
  17. "Filtè dijital, Pati IV" (4 me 1995) Chapit 17. Filtè Digital - IV
  18. "Simulasyon, Pati I" (5 me 1995) Chapit 18. Modèl - I
  19. "Simulasyon, Pati II" (9 me 1995) Chapit 19. Modèl - II
  20. "Simulasyon, Pati III" (11 me 1995) Chapit 20. Modèl - III
  21. "Fibre Optique" (12 me 1995) Chapit 21. Fib optik
  22. "Enstriksyon ki ede òdinatè" (16 me 1995) Chapit 22: Enstriksyon Asistans Odinatè (CAI)
  23. "Matematik" (18 me 1995) Chapit 23. Matematik
  24. "Mekanik Quantum" (19 me 1995) Chapit 24. Mekanik kwantik
  25. "Kreyativite" (23 me 1995). Tradiksyon: Chapit 25. Kreyativite
  26. "Ekspè" (25 me 1995) Chapit 26. Ekspè
  27. "Done ki pa fyab" (26 me 1995) Chapit 27. Done ki pa fyab
  28. "Systems Engineering" (30 me 1995) Chapit 28. Jeni Sistèm
  29. "Ou jwenn sa ou mezire" (1 jen 1995) Chapit 29: Ou jwenn sa ou mezire
  30. "Kijan nou fè konnen sa nou konnen" (Jen 2, 1995) tradwi an fragman 10 minit
  31. Hamming, "Ou ak rechèch ou a" (6 jen 1995). Tradiksyon: Ou menm ak travay ou

Ki moun ki vle ede ak tradiksyon, layout ak piblikasyon liv la - ekri nan PM oswa imel [imèl pwoteje]

Sous: www.habr.com

Add nouvo kòmantè