Richard Hamming. "Chapit ki pa egziste": Ki jan nou konnen sa nou konnen (1-10 minit sou 40)


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.

A kontinye…

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")

Nou ap chèche espesyalman moun ki pral ede tradui chapit bonis, ki se sèlman sou videyo. (transfere pou 10 minit, 20 premye yo te deja pran)

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è