明代天启（1621-1627年）《滇志》所言“相传本陆地，有姓程居此，一夕忽沉为海”，也仅仅是“传言”，不足为信。现代科学证明，程海形成于距今160万年前的第四纪，是因喜马拉雅山造山运动而成的地堑湖，成湖已久。还有一说，程海之名是“有姓程居此”。