1066 年，我国宋朝的河中府地方（现在的山西省永济县）发生了一次大洪水。汹涌的洪水冲断了河中府的一座浮桥，8只用来固定浮桥的几万斤重的大铁牛也被冲到下游，陷入淤泥中了。洪水退走以后，铁牛还沉在河底里，而要修复这座桥，就得把铁牛捞出来。这么重的铁牛，怎么把它打捞上来呢？官府贴出了“招贤榜”，招纳能把铁牛捞出来的“贤人”。榜前围了许多人，大家议论纷纷，谁有那么大的神力？忽然，从人群中走出一个人，伸手把“招贤榜”揭了。大家一看，原来揭榜人是个和尚。有人好奇地问他，是不是要施“法术”请“神仙”来助他一臂之力？那和尚不慌不忙地微笑着说：“铁牛是让水冲走的，我就叫水把铁牛送回来。”那和尚叫人找来两条大木船，把大船拴在一起，装满沙子，并在两条船上搭了结实的木架。
     然后，他带人把船撑到铁牛沉没的地方，派人潜入水底，用绳索把铁牛牢牢地拴住。再把绳索的另一头拉紧以后，牢牢地拴在船的木架上。一切准备就绪，和尚招呼大家把船上的沙子一锹一锹地扔到河里，船缓慢地往上浮升。绳索拉着铁牛慢慢地从淤泥中升起来。那和尚就是我国古代的工程家怀丙。他“请”的“大力神”就是水的浮力，他施的“法术”便是阿基米德定律。怀丙的方法一直沿用至今。为了打捞沉到海底的船或重物，人们先把打捞工程船开到沉船的地方，利用容积很大的密封钢筒——浮筒来打捞。打捞时，先往浮筒里灌满水，让浮筒下沉，潜水员潜入海底，用钢缆把浮筒和沉船牢牢地拴在一起。准备好后，开动空气压缩机把筒里的水排出，就像怀丙让人把船上的沙子扔出去一样，利用巨大的浮力，把沉船打捞上来。