而转向数学。在换了一所大学后，他进入芝加哥大学学习，在此期间，思木里安为了赚学费，在俱乐部中以魔术师的身份打工，后终于在1955年拿到数学专业本科学位。1959年，他在普林斯顿大学完成了他的数学博士研究，以题为正式系统理论的论文获得了阿隆佐·邱奇教授的博士学位。自1961年以来，思木里安陆续在普林斯顿大学、犹太大学和纽约城市大学教授数学和逻辑学。1982年退休后，他被任命为印第安纳大学哲学系名誉教授。