Kurt Friedrich Gödel (1906-1978) - Austrian logician, lej thiab kws paub txog kev ua lej. Nws tau ua nto moo heev tom qab ua pov thawj theorems tsis tiav, uas muaj kev cuam tshuam loj heev rau lub tswv yim ntawm cov hauv paus ntawm kev ua lej. Nws raug suav tias yog ib tus neeg xav zoo tshaj plaws ntawm 20 caug xyoo.
Muaj ntau cov ntsiab lus nthuav dav nyob hauv phau ntawv keeb kwm ntawm Gödel, uas peb yuav tham txog hauv tsab xov xwm no.
Yog li, ntawm no yog luv luv piav qhia txog Kurt Gödel.
Biography ntawm Gödel
Kurt Gödel yug rau lub Plaub Hlis 28, 1906 hauv Austro-Hungarian nroog ntawm Brunn (tam sim no Brno, Czech koom pheej). Nws loj hlob hauv tsev neeg ntawm lub taub hau ntawm lub tsev lag luam ntawm textile, Rudolf Gödel. Nws muaj ib tug kwv tij npe hu ua nws txiv.
Thaum yau thiab cov hluas
Los ntawm lub hnub nyoog ntxov, Gödel tau cais los ntawm kev txaj muag, kev rho tawm, hypochondria thiab kev tsis txaus ntseeg ntau dhau. Nws feem ntau qhia nyob rau hauv nws tus kheej ntau yam dab tsi, los ntawm kev uas nws ces raug kev txom nyem kom txog thaum kawg ntawm nws hnub.
Piv txwv li, txawm tias nyob hauv huab cua sov, Kurt tseem hnav cov ris tsho sov thiab ris tsho hnav ris tsho, vim nws ntseeg tias nws muaj lub siab tsis muaj zog.
Hauv tsev kawm ntawv, Gödel qhia tias muaj peev xwm zoo los kawm lus. Ntxiv rau nws haiv neeg German, nws tau tswj hwm tus tswv ntawm Askiv thiab Fab Kis.
Tom qab tau txais daim ntawv pov thawj, Kurt tau dhau los ua tub ntxhais kawm nyob hauv University of Vienna. Ntawm no nws kawm physics hauv 2 xyoos, tom qab ntawd nws hloov mus ua lej.
Txij li thaum xyoo 1926, tus txiv neej yog tus tswv cuab ntawm Vienna Philosophical Vajvoog ntawm Neopositivists, qhov chaw uas nws pom tias muaj kev txaus siab tshaj plaws hauv kev ua lej kev xav thiab pov thawj kev tshawb xav. 4 xyoos tom qab, nws tiv thaiv nws cov lus tawm rau ntawm lub ncauj lus "Ntawm qhov ua tiav ntawm kev suav qhov tseeb", pib qhia ntawm nws lub tsev kawm hauv tsev.
Kev tshawb fawb los ntawm haujlwm
Thaum pib ntawm lub xyoo pua xeem, tus kws tshawb fawb David Hilbert npaj tawm mus rau axiomatize txhua qhov kev ua lej. Txhawm rau ua qhov no, nws yuav tsum tau ua pov thawj qhov xwm yeem thiab lub ntsiab ntawm kev ua tiav ntawm kev laij lej ntawm cov naj npawb.
Thaum lub caij nplooj zeeg xyoo 1930, tau tsim tsa ib lub rooj sib txoos hauv Konigsberg, uas tau kawm los ntawm cov kws paub lej tshaj lij. Nyob ntawd, Kurt Gödel nthuav tawm 2 lub hauv paus ntsiab lus tsis tiav hais tias pom tau tias Hilbert lub tswv yim yuav ploj mus tsis ua haujlwm.
Hauv nws txoj kev hais lus, Kurt tau hais tias rau txhua txoj kev xaiv axioms ntawm xam, muaj theorems uas tsis tuaj yeem ua pov thawj lossis rov ua dua los ntawm txoj kev yooj yim los ntawm Hilbert, thiab cov ntawv pov thawj yooj yim ntawm kev xwm txheej ntawm kev suav yog tsis yooj yim sua.
Gödel cov lus sib cav tig los ua kev lom zem, yog qhov ua rau nws tau txais koob meej thoob ntiaj teb thaum hmo ntuj. Tom qab ntawd, cov tswv yim ntawm David Hilbert, uas tseem lees paub Kurt txoj cai yog, raug hloov kho.
Gödel yog lub cav logician thiab philosopher ntawm kev tshawb fawb. Xyoo 1931 nws tsim thiab ua pov thawj nws qhov tsis tiav lub ntsiab lus theorems.
Ob peb xyoos tom qab, Kurt ua tiav cov txiaj ntsig tau cuam tshuam nrog Cantor txuas ntxiv kev xav. Nws ua tiav hauv kev ua pov thawj tias kev tsis pom kev ntawm kev kwv yees kev txuas ntxiv mus tsis tau zoo hauv cov qauv axiomatics ntawm kev teeb tsa txoj kev xav. Tsis tas li ntawd, nws ua rau muaj txiaj ntsig tseem ceeb rau kev tsim kho axiomatics ntawm kev teeb tsa lub tswv yim.
Xyoo 1940, tus kws tshawb fawb tau tsiv tawm mus rau Tebchaws Meskas, qhov chaw nws tau yooj yim ntawm txoj haujlwm ntawm Princeton Lub Chaw Haujlwm rau Kev Tshawb Fawb. Tom qab 13 xyoos, nws dhau los ua tus xibfwb.
Lub sijhawm ntawm phau ntawv keeb kwm, Kurt Gödel twb muaj Asmeskas phau ntawv hla tebchaws. Qhov tseeb nthuav ntawd yog nyob rau hauv chav kawm ntawm kev xam phaj nws tau sim tawm qhov pov thawj tias Asmeskas cov cai tsis tau lees tias txoj kev tswj hwm yuav tsis pub, tab sis tau nres tam sim ntawd.
Gödel yog tus sau ntau txoj haujlwm ntawm kev ua ntau yam duab geometry thiab theoretical physics. Nws tau luam tawm daim ntawv hais txog kev cuam tshuam dav dav, qhov uas nws nthuav tawm txoj hauv kev los daws Einstein cov kev sib npaug.
Kurt qhia tias qhov khiav ntawm lub sijhawm nyob hauv lub ntiaj teb tuaj yeem ua voj (Gödel's metric), uas hais txog lub ntsiab lus tsis suav tias lub sijhawm taug kev mus los tau.
Kurt tau sib txuas lus nrog Einstein mus tas nws lub neej. Cov kws tshawb fawb tau tham ntev loo txog physics, kev nom kev tswv thiab lub tswv yim. Ob peb ntawm Gödel ua haujlwm ntawm txoj kev xav ntawm kev kwv yees yog los ntawm kev sib tham.
12 xyoos tom qab Gödel tuag, ib phau ntawm nws cov ntawv luam tsis raug luam tawm. Nws tsa cov lus nug tswv yim, keeb kwm, scientific thiab theological lus nug.
Tus kheej lub neej
Hmo ua ntej Tsov Rog Thoob Ntiaj Teb thib Ob (1939-1945), Kurt Gödel raug sab laug yam tsis muaj haujlwm ua, vim tias vim muaj kev sib koom tes ntawm Austria mus rau lub tebchaws Yelemes, lub tsev kawm ntawv tau hloov pauv loj.
Tsis ntev tus kws tshawb fawb 32-xyoo tau raug hu kom tau txais kev pabcuam, vim qhov kev txiav txim siab nws tau txiav txim siab mus txawv tebchaws sai.
Lub sijhawm ntawd, Kurt tau ntsib ib tus neeg seev cev lub npe hu ua Adele Porkert, uas nws tau sib yuav xyoo 1938. Tsis muaj menyuam yaus nyob hauv lub neej no.
Txawm tias ua ntej tshoob, Gödel tau ntsib kev puas siab puas ntsws. Nws feem ntau txhob txwm tsis txhawj txog ib yam dab tsi, pom qhov tsis txaus ntseeg, thiab tseem raug kev txom nyem los ntawm kev puas ntsoog.
Kurt Gödel txhawj xeeb txog kev raug kuab lom. Adele pab nws daws cov teeb meem mob hlwb. Nws tsis txhob ua lej thiab tsis qab rau nws thaum nws tso pa hauv nws lub txaj.
Tom qab tsiv mus rau Amelikas, Gödel tau ploj mus los ntawm qhov kev xav tias nws tuaj yeem raug lom los ntawm carbon monoxide. Vim li ntawd, nws tau muab tshem ntawm lub tub yees thiab lub tshuab cua sov. Nws xav xav txog huab cua ntshiab thiab txhawj xeeb txog lub thawv txias ua kom txog thaum nws tuag.
Xyoo dhau los thiab tuag
Ob peb xyoos ua ntej nws tas sim neej, Gödel tus mob hnyav zuj zus ntxiv. Nws raug kev txom nyem los ntawm kev pom tseeb thiab tsis ntseeg siab ntawm cov kws kho mob thiab cov npoj yaig.
Xyoo 1976, Gödel lub paranoia nce siab ntau yam uas nws pib ua kev phem rau nws tus pojniam ib yam nkaus. Nws tsis tu ncua kev kho mob hauv tsev kho mob, tab sis qhov no tsis muab cov txiaj ntsig pom.
Los ntawm lub sijhawm ntawd, Adele txoj kev noj qab haus huv kuj tau me me, vim li cas nws thiaj pw hauv tsev kho mob. Kurt tau sab sab ob qho tib si ntawm kev puas hlwb thiab lub cev. Ib xyoo ua ntej nws tuag, nws hnyav tsawg dua 30 kg.
Kurt Gödel tuag rau lub Ib Hlis 14, 1978 hauv Princeton thaum nws muaj 71 xyoo. Nws txoj kev tuag tshwm sim los ntawm "kev noj zaub mov tsis txaus thiab noj zaub mov tsis txaus" los ntawm "tus cwj pwm tsis zoo."
Gödel Duab
