фото: analyticsindiamag.com

ГЁДЕЛЬ (Gödel) Курт [28.4.1906, Брюнн (ны­не Брно) – 14.1.1978, Прин­стон, США], австр. ло­гик и ма­те­ма­тик, чл. Лон­дон­ско­го ко­ро­лев­ско­го об-ва (1968). По окон­ча­нии Вен­ско­го ун-та (1930) ра­бо­тал там же (при­ват-до­цент в 1933–38). В 1940 эмиг­ри­ро­вал в США, ра­бо­тал в Ин-те пер­спек­тив­ных ис­сле­до­ва­ний в Прин­сто­не (с 1940, проф. с 1953). Осн. тру­ды в об­лас­ти ма­те­ма­ти­че­ской ло­ги­ки и тео­рии мно­жеств. Тео­ре­ма Г. о пол­но­те (1930) ут­вер­жда­ет, что ис­чис­ле­ние пре­ди­ка­тов дей­ст­ви­тель­но яв­ля­ет­ся аде­к­ват­ным сред­ст­вом для фор­ма­ли­за­ции лю­бых ма­те­ма­тич. тео­рий. Тео­ре­ма Г. о не­пол­но­те (1931) ут­вер­жда­ет, что в лю­бой тео­рии, со­дер­жа­щей эле­мен­тар­ную ариф­ме­ти­ку (с опе­ра­ция­ми сло­же­ния и ум­но­же­ния), мож­но сфор­му­ли­ро­вать та­кое ут­вер­жде­ние, что ни оно са­мо, ни его от­ри­ца­ние не­до­ка­зуе­мо. В ча­ст­но­сти, та­ко­вым яв­ля­ет­ся ут­вер­жде­ние о не­про­ти­во­ре­чи­во­сти са­мой рас­смат­ри­вае­мой тео­рии. Тео­ре­ма о не­пол­но­те по­ка­зы­ва­ет, что реа­ли­за­ция про­грам­мы Д. Гиль­бер­та пол­ной фор­ма­ли­за­ции ма­те­ма­ти­ки встре­ча­ет серь­ёз­ные труд­но­сти. По­сле ис­сле­до­ва­ний Г. ма­те­ма­тич. ло­ги­ка ста­ла са­мо­сто­ят. раз­де­лом ма­те­ма­ти­ки с боль­шим чис­лом при­ло­же­ний.