Курт Гедел: Разлика помеѓу преработките

Од Википедија — слободната енциклопедија
[непроверена преработка][непроверена преработка]
Избришана содржина Додадена содржина
Нема опис на уредувањето
с Бот додава Шаблон: Без извори
Ред 1: Ред 1:
{{Без извори|датум=ноември 2009}}
'''Курт Гедел''', еден од најголемите [[Математика|математички]] умови во историјата, е роден на [[28 април]] [[1906]] год. во [[Брно]], денешна [[Чешка]]. Најпознат е по неговите [[Теорема за непотполност|теореми за непотполност]], со кои докажува дека во секој [[Формален систем|формален]] [[Аксиома|аксиоматски]] систем постојат искази кои не можат да се докажат само во рамките на тој систем, што практично значи дека секој формален систем е некомплетен. Со тој доказ ги окончува долгогдишните напори за формализација на математиката, посебно од страна на Хилберт. Едно од неговите најпознати дела „Доследноста на аксиомата за избор и генерализираната [[хипотеза]] на [[континуум]], со аксиоматската [[теорија на множества]]„ е објавена [[1940]] во [[САД]], каде што работи на универзитетот во [[Принстон]] се до неговата смрт во [[1978]] година.
'''Курт Гедел''', еден од најголемите [[Математика|математички]] умови во историјата, е роден на [[28 април]] [[1906]] год. во [[Брно]], денешна [[Чешка]]. Најпознат е по неговите [[Теорема за непотполност|теореми за непотполност]], со кои докажува дека во секој [[Формален систем|формален]] [[Аксиома|аксиоматски]] систем постојат искази кои не можат да се докажат само во рамките на тој систем, што практично значи дека секој формален систем е некомплетен. Со тој доказ ги окончува долгогдишните напори за формализација на математиката, посебно од страна на Хилберт. Едно од неговите најпознати дела „Доследноста на аксиомата за избор и генерализираната [[хипотеза]] на [[континуум]], со аксиоматската [[теорија на множества]]„ е објавена [[1940]] во [[САД]], каде што работи на универзитетот во [[Принстон]] се до неговата смрт во [[1978]] година.



Преработка од 17:52, 15 ноември 2009

Курт Гедел, еден од најголемите математички умови во историјата, е роден на 28 април 1906 год. во Брно, денешна Чешка. Најпознат е по неговите теореми за непотполност, со кои докажува дека во секој формален аксиоматски систем постојат искази кои не можат да се докажат само во рамките на тој систем, што практично значи дека секој формален систем е некомплетен. Со тој доказ ги окончува долгогдишните напори за формализација на математиката, посебно од страна на Хилберт. Едно од неговите најпознати дела „Доследноста на аксиомата за избор и генерализираната хипотеза на континуум, со аксиоматската теорија на множества„ е објавена 1940 во САД, каде што работи на универзитетот во Принстон се до неговата смрт во 1978 година.