パリティは保存していないということは幾度となく異なる文脈において示唆されてきたが、これらの示唆を真剣に取り上げるだけの決定的な材料に欠けていた。しかし、理論物理学者の李政道および楊振寧によって注意深く調査され、パリティ保存は強い相互作用または電磁相互作用による崩壊においては検証されてきた一方で、弱い相互作用においては検証されていないことが示された。彼らは幾つかの可能な直接的な検証方法を提唱した。彼らの提案はほとんど無視されたが、李はコロンビア大学の彼の同僚である呉健雄を実験を試してみるよう説得することができた。そこで、彼女は特別な低温物理学施設と専門家を必要としたため、実験は国立標準局において行われた。
ハドロンの固有パリティ.
自然がパリティを保存する限り、全ての粒子について固有パリティを割り当てることができる。ハドロンは弱い相互作用はしないが、結合に関わる強い相互作用の反応を吟味することによって、またはロー中間子がパイ中間子に崩壊するような弱い相互作用を含まない崩壊を通して、あらゆるハドロンについてパリティを割り当てることができる。
無限論理
無限論理 (むげんろんり、) は、無限に長い言明および／または無限に長い証明を許す論理である。
概要.
いくつかの無限論理は標準的な一階述語論理とは異なる性質を持つ。特に、無限論理はコンパクト性や完全性を満たさないことが多い。コンパクト性や完全性の概念は、有限論理においては等価であることもあるが、無限論理においてはそうではない。無限論理においては強いコンパクト性や強い完全性の概念が定義される。この記事では、ヒルベルト型無限論理について主に述べる。この型はかなり研究されてきており、有限論理の最も直接的な拡張を構成している。しかしながら、これらは形式化されているまたは研究対象となっている唯一の無限論理ではない。
表記法に関する語および選択公理.
ヒルベルト型無限論理の定義.
完全性、コンパクト性、そして強い完全性.
無限論理における概念表現可能性.
集合論の言語において、以下の言明は正則性公理（基礎の公理）を表現する：