See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Kurts Gēdels - Vikipēdija

Kurts Gēdels

Vikipēdijas raksts

Kurts Gēdels
Kurts Gēdels

Kurts Gēdels (Kurt Gödel) (dzimis 1906. gada 28. aprīlī Brno, Austroungārijā, tagad Čehijā; miris 1978. gada 14. janvārī Prinstonā) - austriešu matemātiķis, loģiķis un zinātnes filozofs. Tiek uzskatīts par vienu no XX gadsimta izcilākajiem prātiem matemātiskajā loģikā.

Dzimis Brno lielrūpnieka ģimenē. Darbojies Vīnes universitātē. 1940. gadā emigrējis uz ASV, Prinstonas universitāti. Draudzējies ar Albertu Einšteinu un Džonu von Neimanu.

Lielākais Gēdela sasniegums ir Gēdela nepilnības teorēmas (Gödel's incompleteness theorems), no kurām izriet fundamentāls secinājums:

Nemainīga universālu uzskatu sistēma principiāli nevar būt nepretrunīga. Sistēma var būt nepretrunīga tikai tad, ja:

  • tā ir ļoti šauri specializēta
  • bezgalīgi attīstāma t.i. attīstot sistēmu, mēs nonāksim iekšējās pretrunās, kas liks pārveidot sistēmu

[izmainīt šo sadaļu] Ārējās saites


aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -