ated ▁France ▁in ▁August ▁ 1 9 4 4 ▁he ▁returned ▁to ▁the ▁United ▁Kingdom . ▁ ▁Dec or ations ▁Military ▁Cross ▁and ▁Bar ▁Cro ix ▁de ▁Guerre ▁( F rench ) ▁Che val ier ▁of ▁the ▁Leg ion ▁of ▁Hon our ▁ ▁References ▁ ▁Books ▁ ▁No ▁Clo ak , ▁No ▁D agger : ▁Al lied ▁Sp yc raft ▁in ▁Occ up ied ▁France ▁( 1 9 5 8 ) ▁ ▁External ▁links ▁ ▁Category : 1 9 0 9 ▁birth s ▁Category : 1 9 9 4 ▁death s ▁Category : F rench ▁Res istance ▁members ▁Category : B rit ish ▁Special ▁Oper ations ▁Executive ▁personnel <0x0A> </s> ▁In ▁comput ability ▁theory , ▁a ▁Spe cker ▁sequence ▁is ▁a ▁comput able , ▁monot on ically ▁increasing , ▁bounded ▁sequence ▁of ▁rational ▁numbers ▁whose ▁supre m um ▁is ▁not ▁a ▁comput able ▁real ▁number . ▁The ▁first ▁example ▁of ▁such ▁a ▁sequence ▁was ▁constructed ▁by ▁Ernst ▁Spe cker ▁( 1 9 4 9 ). ▁▁▁ ▁The ▁existence ▁of ▁Spe cker ▁sequences ▁has ▁consequences ▁for ▁comput able ▁analysis . ▁The ▁fact ▁that ▁such ▁sequences ▁exist ▁means ▁that ▁the ▁collection ▁of ▁all ▁comput able ▁real ▁numbers ▁does ▁not ▁satisfy ▁the ▁least ▁upper ▁bound ▁principle ▁of ▁real ▁analysis , ▁even ▁when ▁considering ▁only ▁comput able ▁sequences . ▁▁ ▁A ▁common ▁way ▁to ▁resolve ▁this ▁difficulty ▁is ▁to ▁consider ▁only ▁sequences ▁that ▁are ▁accompanied ▁by ▁a ▁mod ulus ▁of ▁convergence ; ▁no ▁Spe cker ▁sequence ▁has ▁a ▁comput able ▁mod ulus ▁of ▁convergence . ▁ ▁More