人类发现二氧化碳经历了多个世纪，下列是其历程中的部分资料。

资料一：1630年，海尔蒙特发现在一些洞穴处，有一种能使燃着的蜡烛熄灭的气体，后来被证实是CO₂。

资料二：1766年，卡文迪许通过实验测得。室温下1体积水大约能溶解1体积二氧化碳气体。

资料三：1823年，迈克尔·法拉第（M．Faraday）发现，加压可以使二氧化碳气体液化。1835年，M.Thilorier制得固态二氧化碳（干冰）。