空気も物質であるため、質量があり、地球の重力を受ける。これに対して圧縮応力があり、さらに、重力とこれがつりあうことで大気が力学的に平衡に近い状態にある。地球をおおっている大気の層によって、海面では、面積1cm²あたり約1kgf（水銀柱で約76cm、水の場合約10mに相当）の圧力がかかる。これを大気圧または単に気圧という。高所ほど、その上方にある空気柱の高さが低くなるので、気圧は低くなる。海面での大気圧を 1 とする圧力の単位としても用いられる。海上の水蒸気蒸発によって、上昇気流が発生する箇所の空気の密度がやや下がり、気圧がやや低くなることがあるなど、同じ海抜高度でも、少しずつ気圧は異なり、気圧の高低は常に変化する。この気圧の山や谷を高気圧、低気圧と呼ぶ。気圧の差が生じると、高気圧の空気が低気圧の領域に流れ込む。これが風のおもな成因になっている。気圧の測定には気圧計やラジオゾンデを用いる（気象業務法第1条の2、気象業務法第1条の3も参照）。気象情報では、気圧の単位は、かつてはCGS単位系のミリバール (mb)、トル (Torr) または水銀柱ミリメートル (mmHg) が使われていたが、現在は国際単位系 (SI) のヘクトパスカル (hPa) が使用されている。
気体の圧力は、温度や体積の影響を受ける。例えば、気体を一定の体積のまま（容器に閉じ込めた状態に相当する）加熱すると、気圧は温度とほぼ比例して上昇する。このような、気圧と体積、温度についての関係は、ボイルの法則、シャルルの法則、ボイル＝シャルルの法則などにより示されている。気体の圧力は、混合気体の場合、構成している気体のそれぞれの圧力（分圧）の合計となる。
1931年、ドイツのブレスラウ（現：ポーランド領ヴロツワフ）でラビの息子として生まれた。1935年、家族と共にイギリス委任統治領パレスチナに移住。少年のころ数学に強い関心を抱き、ハイファの最高の高校に進学。そこで当時高校教師として勤めていた優秀な数学者 Elisha Netanyahu に学ぶ。高校卒業後、第一次中東戦争 (1948) の際に陸軍に徴兵された。エルサレムで教授を務めていた数学者アドルフ・フレンケルが軍の命令に介入し、ラビンは1949年に兵役から解放されてヘブライ大学で学べるようになった。1953年、ヘブライ大学で修士号を取得し、1956年にはプリンストン大学で博士号を取得している。1950年代末、IBMが夏の間ニューヨーク州ウエストチェスター郡にある Lamb Estate に見込みのある若い数学者や科学者を招き、研究環境を与えた。その中にラビンも選ばれている。そこでデイナ・スコットと共に論文 "Finite Automata and Their Decision Problems"（有限状態機械とその決定性問題）を書いた。間もなく非決定性有限オートマトンを活用して、クリーネの「有限状態機械は正確に正規言語を受理する」という結論を再証明することができた。後に計算複雑性理論と呼ばれることになる理論の原形を完成させるため、ラビンは翌年の夏も Lamb Estate に赴いた。ジョン・マッカーシーは彼にスパイと警備員とパスワードに関するパズルを提示。ラビンはそれを研究して論文 "Degree of Difficulty of Computing a Function and Hierarchy of Recursive Sets"（関数を計算する難しさの度合いと帰納的集合の階層）を書き上げた。非決定性有限オートマトンは計算複雑性理論の重要な概念となった。特にP≠NP予想の説明の際に重要となる。エルサレムに戻ったラビンは論理学を研究し、計算機科学と呼ばれることになる学問領域の基礎構築を行った。ヘブライ大学では準教授を務め、29歳で数学研究所の所長となり、33歳で正教授となった。当時についてラビンは「コンピューティング問題についての業績は全く評価されなかった。数学者らはこの新たな領域を全く認知していなかった」と述べている。1960年、エドワード・F・ムーアに招かれてベル研究所で働くことになり、状態遷移をコイントスで決める確率的オートマトンを考案。非常に多数の状態が必要な正規言語でも、確率的オートマトンなら劇的に状態数を減らせることを示した。1969年、n 後者の二階述語論理が決定性であることを証明。その証明の重要な要素により、ボレル階層の第3レベルにあるパリティゲームの決定性が暗に示される。1975年、ヘブライ大学での在職期間を終了したラビンはアメリカのマサチューセッツ工科大学に行き、客員教授として勤めた。そこでゲーリー・ミラーと出会う。ミラーは拡張リーマン予想に基づいた多項式時間の素数判定法を考案した。これをベースとしてラビンは拡張リーマン予想に依存しないミラー-ラビン素数判定法を発明した。これは、数が素数であるかどうかを非常に迅速に判定できる確率的アルゴリズムである（ただし間違う可能性が若干存在する）。公開鍵暗号にはRSA暗号のように大きな素数を秘密鍵とするものも多く、高速な素数判定法は鍵生成の実装に重要である。2003年、ミラーとラビンは他の関係者と共に素数判定法における業績を称えられ、Paris Kanellakis Award を受賞した。1979年、ラビンはラビン暗号を発明した。それは、暗号文を解読する手間が公開鍵である合成数の素因数分解と同程度と証明された最初の公開鍵暗号である。1981年、ラビンは紛失通信 (Oblivious Transfer) と呼ばれる手法を発明した。これは、送信側が2つのメッセージを送り、受信側がそのうち片方のみを受け取るが、送信側にはどちらを受け取ったか分からないというもので、マルチパーティプロトコルの部品としても使用される暗号プロトコルの要素技術の一つである。1987年、ラビンはリチャード・カープとともに有名で効率的な文字列探索法、ラビン-カープ文字列探索アルゴリズムを開発した。ラビンはその後コンピュータセキュリティの研究に集中している。彼はハーバード大学とヘブライ大学の計算機科学の教授である。2007年には、客員教授としてコロンビア大学で「暗号理論入門」を教えた。米国科学アカデミーの外国会員であり、フランス科学アカデミーの会員であり、王立協会の外国会員である。指導した学生としてサハロン・シェラハがおり、数理論理学の研究者として活躍している。