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

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