5 , ▁as ▁a ▁formal ▁version ▁of ▁Lö b ' s ▁par ado x , ▁that ▁statements ▁that ▁assert ▁their ▁own ▁prov ability ▁must ▁be ▁true ▁( similar ▁to ▁Gö del ' s ▁in comple ten ess ▁theorem ). ▁ ▁Lö b ' s ▁wife , ▁Caroline , ▁was ▁Dutch . ▁ ▁They ▁had ▁two ▁daughters ▁together . ▁ ▁Lö b ▁moved ▁to ▁become ▁a ▁professor ▁at ▁the ▁University ▁of ▁Amsterdam ▁in ▁the ▁early ▁ 1 9 7 0 s . ▁ ▁He ▁remained ▁at ▁the ▁University ▁of ▁Amsterdam ▁until ▁he ▁retired . ▁ ▁He ▁then ▁moved ▁to ▁An nen , ▁where ▁he ▁later ▁died . ▁ ▁References ▁ ▁Ob itu ary , ▁The ▁Guardian , ▁ 3 ▁October ▁ 2 0 0 6 ▁Ob itu ary , ▁Institute ▁for ▁Log ic , ▁Language ▁and ▁Comput ation , ▁University ▁of ▁Amsterdam ▁ ▁Category : 1 9 2 1 ▁birth s ▁Category : 2 0 0 6 ▁death s ▁Category : 2 0 th - century ▁German ▁mathemat icians ▁Category : G erman ▁log icians ▁Category : Al umn i ▁of ▁the ▁University ▁of ▁London ▁Category : Al umn i ▁of ▁the ▁University ▁of ▁Le ic ester ▁Category : A cadem ics ▁of ▁the ▁University ▁of ▁Le eds ▁Category : Univers ity ▁of ▁Amsterdam ▁fac ulty ▁Category : S cient ists ▁from ▁Berlin ▁Category : G erman ▁em igr ants ▁to ▁the ▁United ▁Kingdom <0x0A> </s> ▁Major - General ▁Cl iff ord ▁Thom ason ▁Beck ett ▁C B , ▁C BE , ▁MC ▁(