shù lǐ huà : yǔ yán xué shù yǔ > gē dé 'ěr



mùlù ·No. 1 ·xué shù ·xìng gé ·shè jiāo ·guó jí ·xiàngguāncí ·bāo hán cí ·gèngduōjiéguǒ... No. 1 　　kù 'ěr tè · gē dé 'ěr （ kurtgödel）（ 1906 nián 4 yuè 28 rì héng 1978 nián 1 yuè 14 rì） shì wèi shù xué jiā、 luó ji xué jiā hé zhé xué jiā。 qí zuì jié chū de gòng xiàn shì gē dé 'ěr bù wán quán xìng dìng lǐ hé lián xù tǒng jiǎ shè de xiāng duì xié diào xìng zhèng míng。 xué shù 　　shēng yú jié kè de bù 'ěr nuò， zú yú měi guó pǔ lín sī dùn。 zǎo nián zài wéi yě nà dà xué gōng dú xiū dú lǐ lùn wù lǐ、 jī chǔ shù xué， hòu lái yòu zhuǎn yán shù lǐ luó ji、 jí hé lùn。 dàn 1940 nián dài zhōng jiù jiāng zhù yì lì tóu fàng zài zhé xué shàng， bìng cān jiā zhé xué xiǎo zǔ huó dòng。 1930 nián huò bó shì xué wèi。 qí bó shì lùn wén zhèng míng liǎo 「 xiá wèi cí yǎn suàn de yòu xiào gōng shì jiē kě zhèng 」。 zhī hòu zài wéi yě nà dà xué gōng zuò。 1938 nián dào měi guó pǔ lín sī dùn gāo děng yán jiū yuàn rèn zhí， 1948 nián jiā rù měi guó jí。 1953 nián chéng wéi gāi suǒ jiào shòu。 gē dé 'ěr fā zhǎn liǎo féng · nuò yī màn hé bó nài sī děng rén de gōng zuò， qí zhù yào gòng xiàn zài luó ji xué hé shù xué jī chǔ fāng miàn。 zài 20 shì jì chū， tā zhèng míng liǎo xíng shì shù lùn（ jí suàn shù luó ji） xì tǒng de「 bù wán quán xìng dìng lǐ」： jí shǐ bǎ chū děng shù lùn xíng shì huà zhī hòu， zài zhè gè xíng shì de yǎn yì xì tǒng zhōng yě zǒng kě yǐ zhǎo chū yī gè hé lǐ de mìng tí lái， zài gāi xì tǒng zhōng jì wú fǎ zhèng míng tā wéi zhēn， yě wú fǎ zhèng míng tā wéi jiǎ。 zhè yī zhù míng jiēguǒ fā biǎo zài 1931 nián de lùn wén zhōng。 tā hái zhì lì yú lián xù tǒng jiǎ shè de yán jiū， zài 1930 nián cǎi yòng yī zhǒng bù tóng de fāng fǎ dé dào liǎo xuǎn zé gōng lǐ de xiāng róng xìng zhèng míng。 3 nián yǐ hòu yòu zhèng míng liǎo（ guǎng yì） lián xù tǒng jiǎ shè de xiāng róng xìng dìng lǐ， bìng yú 1940 nián fā biǎo。 tā de gōng zuò duì gōng lǐ jí hé lùn yòu zhòng yào yǐng xiǎng， ér qiě zhí jiē dǎo zhì liǎo jí hé hé xù shù shàng de dì guī lùn de chǎn shēng。 cǐ wài， gē dé 'ěr hái cóng shì zhé xué wèn tí de yán jiū。 tā rè zhōng yú yòng shù lǐ luó ji de fāng fǎ lái fēn xī zhé xué wèn tí， rèn wéi jiàn quán de zhé xué sī xiǎng hé chéng gōng de kē xué yán jiū mìqiè xiāng guān。 tā zài 1967 nián zhì zhōng guó shù xué jiā wáng hào de xìn zhōng， zì chēng wéi「 kè guān zhù yì」， bìng shuō tā de kè guān zhù yì guān diǎn duì yú tā de luó ji yán jiū lái shuō shì gēn běn de。 1951 nián huò 'ài yīn sī tǎn xūn zhāng。 gē dé 'ěr yī shēng fā biǎo lùn zhù bù duō。 tā fā biǎo yú 1931 nián de lùn wén《 〈 shù xué yuán lǐ 〉（ zhǐ huái dé hǎi hé luó sù suǒ zhù de shū） jí yòu guān xì tǒng zhōng de xíng shì bù kě pàn dìng mìng tí》 shì 20 shì jì zài luó ji xué hé shù xué jī chǔ fāng miàn zuì zhòng yào de wén xiàn zhī yī。 xìng gé 　　 gē dé 'ěr shì gè yào qiú yán gé de rén。 yīn cǐ， tā hěn duō de xiǎng fǎ zài shēng qián dōuméi yòu zhèng shì fā biǎo shèn zhì jì lù， yào shì shì hòu cóng qí shǒu gǎo zhǎo chū。 　　 tā bù xǐ huān tán lùn zì jǐ huò shòu dào zhù mù。 gē dé 'ěr céng yào qiú wáng hào zài sǐ hòu cái kě yǐ fā biǎo yī piān yòu guān tā de zhuànjì。 tā zài xué shù yán jiū zhī wài de dōng xī， dōubù gōng kāi fā biǎo yì jiàn。 　　 tā yì tǎo yàn lǚ xíng。 　　 tā zì yòu duō bìng， ér qiě cóng xiǎo biàn huàn liǎo yí bìng zhèng。 tā hái huàn guò yì yù zhèng。 hòu lái tā zài pǔ lín sī dùn de yī yuàn jué shí 'ér sǐ， yīn wéi tā rèn wéi nà xiē shí wù yòu dú。 shè jiāo 　　 gē dé 'ěr de qī zǐ yuán běn zài yè zǒng huì gōng zuò， hái yǐ hūn。 tā men de hūn yīn zāo dào gē dé 'ěr jiā rén fǎn duì， dàn yòu qíng rén zhōng chéng juàn shǔ， zài 1938 nián 9 yuè 20 rì jié hūn。 tā men méi yòu xiǎo hái。 　　 tā hé jiā rén gǎn qíng bù huài， gē dé 'ěr qù liǎo měi guó hòu hái cháng cháng gēn tā men shū xìn， zhī hòu jiē tā men dào měi guó。 dàn qí jiā rén sì hū duì tā liǎo jiě bù shēn： dú dà xué shí， gē dé 'ěr de xiōng cháng yán xí yī xué， cóng qí tā rén kǒu zhōng cái zhī dào tā zài shù xué fāng miàn pō yòu míng qì。 　　 zài pǔ lín sī dùn shí， gē dé 'ěr hé 'ài yīn sī tǎn chéng liǎo hěn hǎo de péng yǒu。 hòu rén cháng jiāng tā men bǐ jiào。 gē dé 'ěr hé 'ài yīn sī tǎn dōuzài zì jǐ de fàn chóu yòu jí wéi zhòng dà de gòng xiàn， hěn cōng míng， yòu hǎo qí xīn， zhí shuài。 dàn 'ài yīn sī tǎn xìng gé kāi lǎng wài xiàng， zhè diǎn hé gē dé 'ěr dà xiāng jìng tíng。 ài yīn sī tǎn de sǐ duì gē dé 'ěr de qíng xù yòu hěn dà dǎ jī。 guó jí 　　suī rán tā de zhuànjì liè chū hěn duō guó jiā， tā tōng cháng bèi shì wéi 'ào dì lì rén。 tā chū shēng zài 'ào xiōng dì guó de bù 'ěr nuò， zài shí 'èr suì shí chéng wéi jié kè sī luò fá kè gōng mín， zài 'èr shí sān suì shí chéng wéi 'ào dì lì gōng mín。 dāng xī tè lè tūn bìng 'ào dì lì shí， gē dé 'ěr zì dòng chéng wéi dé guó rén。 dì 'èr cì shì jiè dà zhàn hòu， tā zài cì chéng wéi 'ào dì lì gōng mín， ér qiě qǔ dé měi guó gōng mín quán lì。 xiàngguāncí ào dì lì bāo hán cí gē dé 'ěr shù gē dé 'ěr pèi shù gē dé 'ěr zhèng míng gē dé 'ěr dìng lǐ gē dé 'ěr mìng tí kè 'ěr tè · gē dé 'ěr gē dé 'ěr pèi shù fǎ kù 'ěr tè gē dé 'ěr gē dé 'ěr bù wán bèi dìng lǐ gē dé 'ěr wán bèi xìng dìng lǐ cóng fú léi gé dào gē dé 'ěr luó ji zhī lǚ : cóng gē dé 'ěr dào zhé xué gē dé 'ěr bù wán bèi xìng dìng lǐ kù 'ěr tè · gē dé 'ěr gē dé 'ěr bù wán quán xìng dìng lǐ féng · nuò yī màn - bó nèi sī - gē dé 'ěr jí hé lùn kù 'ěr tè · gē dé 'ěr （ KurtGödel)